3、下反对关系
下反对关系至少有一真,可以同真,不能同假。 “可能P” 与“可能非P”
如果已知其中一个命题为假,则另一个命题一定真; 如果已知其中一个命题为真,则另一个命题真假不能确定。
4、差等关系(从属关系)
(1)“必然P”与“可能P”
(2)“必然非P”与“可能非P”
若全称命题为真,则同质的特称命题为真; 若特称命题为假,则同质的全称命题为假; 若全称命题为假,则同质的特称命题真假不定; 若特称命题为真,则同质的全称命题真假不定。
三、负模态命题一般推理
非必然P=可能非P
非必然非P=可能P
非可能P=必然非P
非可能非P=必然P
“必然”变为“可能”,“P”变为“非P”
四、负模态命题直言推理
负模态命题直言推理,是模态词嵌套在直言命题中的一种推理。 非必然所有S都是P=可能有的S不是P
非必然所有S都不是P=可能有的S是P
非必然有的S是P=可能所有S都不是P