一、模態(tài)命題

模態(tài)命題一般分為四種 ： 必然 P 、 必然非 P 、 可能 P 、 可能非 P 。 這四種模態(tài)命 題也具有類似于直言判斷之間所具有的對當關(guān)系。具體如下：

1. 矛盾關(guān)系 具有矛盾關(guān)系的命題有兩對：必然 P 與可能非 P ，必然非 P 與可能 P 。矛盾關(guān) 系的命題之間不可同真，不可同假 ; 矛盾關(guān)系的兩個命題之間必為一真一假。

2. 反對關(guān)系 具有反對關(guān)系的命題：必然 P 和必然非 P 。反對關(guān)系的兩個命題之間不可同真 ， 但可能同假。即：如果 “ 必然 P ” 這個命題已知為真，則 “ 必然非 P ” 這個命題一定 為假 ; 如果 “ 必然 P ” 已知為假，則 “ 必然非 P ” 真假不定。

3. 下反對關(guān)系 具有下反對關(guān)系的命題：可能 P 和可能非 P 。下反對關(guān)系的命題之間不可同假 ， 但可能同真。如果已知兩個命題中一個為真，則另一個命題真假不能確定 ; 但如 果已知兩個命題中一個為假，則另一個命題必定為真。

4. 推出關(guān)系具有推出關(guān)系的命題有兩對 ： 必然 P → 可能 P ， 必然非 P → 可能非 P 。 5. 否定等值 (1) 比較常用的等值式 ( 并非 = 不 )