谓词公式的值有真或者假或者非真非假
举一反三
- 在一对相互矛盾的命题中间，必定是肯定一个否定另一个；或者说，任一命题必定或者为真或者为假，非真即假，非假即真。这就是所谓的“二值原则”，一般使用的逻辑都是建立在这个原则之上的，因此叫“二值逻辑”。
- C语言中用值表示逻辑“真”,用值表示逻辑“假”。（选填：0或者非0）
- 根据模态命题间的对当关系，若“必然P”真，则（）。 A: “必然非P”假，“可能非P”假，“可能P”假 B: “必然非P”真，“可能非P”真，“可能P”真 C: “必然非P”假，“可能非P”假，“可能P”真 D: “必然非P”真，“可能非P”假，“可能P”假
- 非真即假，非假即真，这是逻辑运算的（ ）运算规则。
- “张三是秃子，或张三不是秃子”（） A: 真 B: 假 C: 非真非假 D: 亦真亦假