一、模态命题

模态命题一般分为四种 ： 必然 P 、 必然非 P 、 可能 P 、 可能非 P 。 这四种模态命 题也具有类似于直言判断之间所具有的对当关系。具体如下：

1. 矛盾关系 具有矛盾关系的命题有两对：必然 P 与可能非 P ，必然非 P 与可能 P 。矛盾关 系的命题之间不可同真，不可同假 ; 矛盾关系的两个命题之间必为一真一假。

2. 反对关系 具有反对关系的命题：必然 P 和必然非 P 。反对关系的两个命题之间不可同真 ， 但可能同假。即：如果 “ 必然 P ” 这个命题已知为真，则 “ 必然非 P ” 这个命题一定 为假 ; 如果 “ 必然 P ” 已知为假，则 “ 必然非 P ” 真假不定。

3. 下反对关系 具有下反对关系的命题：可能 P 和可能非 P 。下反对关系的命题之间不可同假 ， 但可能同真。如果已知两个命题中一个为真，则另一个命题真假不能确定 ; 但如 果已知两个命题中一个为假，则另一个命题必定为真。

4. 推出关系具有推出关系的命题有两对 ： 必然 P → 可能 P ， 必然非 P → 可能非 P 。 5. 否定等值 (1) 比较常用的等值式 ( 并非 = 不 )