专业术语 | 日常描述 | 符号化 | 符号表达 | 表达含义 | 常见标志词 |
---|---|---|---|---|---|
充分条件假言判断 | 如果P,那么Q | → | P→Q | 如果P为真,则Q一定为真;如果Q为假,那么P一定为假。也就是P→Q和┐Q→┐P一定为真。 | 如果P,那么Q;只要P,就Q;若P,则Q;一旦P,就Q;P一定Q。 |
必要条件假言判断 | 只有Q,才P | ← | Q←P | 只有Q,才P;没有Q,没有P;不Q,不P;除非Q,才P;必须Q,才P。 | |
联言判断 | P并且Q | ∧ | P∧Q | P和Q同时为真。 | 和;而;但;又;不但...而且...;虽然...但是... |
相容选言判断 | 或者P,或者Q | ∨ | P∨Q | ①P和Q至少有一个为真,但P和Q真假情况不知。②如果P假,那么Q一定为真;如果P真,那么Q真假不确定。Q亦然。 | 或;或者;或者...或者...;不是...就是...;二者至少其一 |
不相容选言判断 | 要么P,要么Q | ∀ | P∀Q | ①P和Q必有一真,必有一假。但具体谁为真,谁为假不知。②如果P假,那么Q一定为真;如果P真,那么Q一定为假。Q | 要么...要么...;择一;二者必居其一 |
负判断 | 并非P | ┐ | ┐P | P是假的 | 并非P;不是P;非P |