凯程考研集训营，为学生引路，为学员服务！
2016备考资料：模态命题及推理
一、模态命题
在逻辑中，“必然”、“可能”、“不可能”等叫“模态词”，包含模态词的命题叫做“模态命题”。模态命题主要是反映事物情况存在或发展的必然性或可能性的命题。用“◇”表示“可能”，用“口”表示“必然”。
必然P 为“口P ”
必然非P 为“口P ”
可能P 为“◇P ”
可能非P 为“◇P ”
二、模态命题的对当关系
1、矛盾关系
矛盾关系不能同真，不能同假，即必有一真必有一假。
(1)“必然P ”与“可能非P ”矛盾
(2)“必然非P ”与“可能P ”矛盾
2、反对关系(上反对关系)
上反对关系至少有一假，可以同假，不能同真。
“必然P ”与“必然非P ”
如果已知其中一个命题为真，则另一个命题一定假;
如果已知其中一个命题为假，则另一个命题真假不能确定。
3、下反对关系
下反对关系至少有一真，可以同真，不能同假。
“可能P ” 与“可能非P ”
如果已知其中一个命题为假，则另一个命题一定真;
如果已知其中一个命题为真，则另一个命题真假不能确定。
4、差等关系(从属关系)
(1)“必然P ”与“可能P ”
(2)“必然非P ”与“可能非P ”
若全称命题为真，则同质的特称命题为真;
若特称命题为假，则同质的全称命题为假;
若全称命题为假，则同质的特称命题真假不定;
若特称命题为真，则同质的全称命题真假不定。
三、负模态命题一般推理
非必然P=可能非P
非必然非P=可能P
非可能P=必然非P
非可能非P=必然P
“必然”变为“可能”，“P ”变为“非P ”
四、负模态命题直言推理
负模态命题直言推理，是模态词嵌套在直言命题中的一种推理。 非必然所有S 都是P=可能有的S 不是P
第 1 页 共 1 页
凯程考研集训营，为学生引路，为学员服务！
2016备考资料：模态命题及推理
一、模态命题
在逻辑中，“必然”、“可能”、“不可能”等叫“模态词”，包含模态词的命题叫做“模态命题”。模态命题主要是反映事物情况存在或发展的必然性或可能性的命题。用“◇”表示“可能”，用“口”表示“必然”。
必然P 为“口P ”
必然非P 为“口P ”
可能P 为“◇P ”
可能非P 为“◇P ”
二、模态命题的对当关系
1、矛盾关系
矛盾关系不能同真，不能同假，即必有一真必有一假。
(1)“必然P ”与“可能非P ”矛盾
(2)“必然非P ”与“可能P ”矛盾
2、反对关系(上反对关系)
上反对关系至少有一假，可以同假，不能同真。
“必然P ”与“必然非P ”
如果已知其中一个命题为真，则另一个命题一定假;
如果已知其中一个命题为假，则另一个命题真假不能确定。
3、下反对关系
下反对关系至少有一真，可以同真，不能同假。
“可能P ” 与“可能非P ”
如果已知其中一个命题为假，则另一个命题一定真;
如果已知其中一个命题为真，则另一个命题真假不能确定。
4、差等关系(从属关系)
(1)“必然P ”与“可能P ”
(2)“必然非P ”与“可能非P ”
若全称命题为真，则同质的特称命题为真;
若特称命题为假，则同质的全称命题为假;
若全称命题为假，则同质的特称命题真假不定;
若特称命题为真，则同质的全称命题真假不定。
三、负模态命题一般推理
非必然P=可能非P
非必然非P=可能P
非可能P=必然非P
非可能非P=必然P
“必然”变为“可能”，“P ”变为“非P ”
四、负模态命题直言推理
负模态命题直言推理，是模态词嵌套在直言命题中的一种推理。 非必然所有S 都是P=可能有的S 不是P
第 1 页 共 1 页