命题之间的真假关系是逻辑学中的基础概念,核心规律包括矛盾关系(必一真一假)、反对关系(可同假不可同真)、下反对关系(可同真不可同假)以及差等关系(全称真则特称真)。掌握这些关系能快速判断命题的真假传递逻辑。
-
矛盾关系
典型例子:"所有S是P"与"有的S不是P"。两者必然一真一假,无法同时成立。例如"所有人会死"为真,则"有的人不会死"必假。 -
反对关系
如"所有S是P"与"所有S不是P"。可同时为假(当S部分符合P时),但不可同真。比如"所有鸟会飞"(假)与"所有鸟不会飞"(假)共存。 -
下反对关系
"有的S是P"和"有的S不是P"可同真(当S集合中部分符合P时),但不会同假。例如"有人爱吃辣"和"有人不爱吃辣"可能都成立。 -
差等关系
全称命题为真时,对应的特称命题必然为真。如"所有金属导电"为真,则"有的金属导电"自动成立;但特称为真时,全称真假不定。
实际应用中需注意:复合命题(如"且""或"连接)的真假需结合真值表分析,而模态命题(涉及"可能""必然")需额外考虑可能性维度。建议通过欧拉图辅助理解类别命题的关系。