所有S是P,称之为全称肯定命题,逻辑学领域将之简称为A命题。
所有S不是P,称之为全称否定命题,简称E命题。
有的S是P,称之为特称肯定命题,简称I命题。
有的S不是P,称之为特称否定命题,简称O命题。
同一素材的A、E、 I、O之间存在如下真假关系:猛穗喊
1)矛盾关系。分司存在于A和0、E和I之间,具有矛盾关系的两个判断 ,即不能同真,也不能同假。
2.反对关系。枝野存在于A和E之间。 具有反对关系的两个判断,不能同真,可以同假。
3.下反对关系。存在于I和0之间。具有下反对关系的两个判断,不能同假,可以同真。
4.差等关系(从属关系)。分别存在于A和I、E和0之间。具有差等关系的两个判断,一个是全称判断,一个是特称判断。
具有差等关系的两个判断之间具有如下的真假关系:如果全称判断是真的,则特称判断也是真的:如果全称判断是假的,则特称判断真假不定。如果特称判断是真的,则全称判断真假不定,如果特称判断是假的,则全称判断也是假的。
扩展资料:
一、形式逻辑也叫普通逻辑。研究思维形式及其规律的科学。它是一门工具性质的科学,是人们认识事物、表达思想时经常运用的一种必要的逻辑工具。
人的认识在理性阶段要实现对客观世界的反映,就要实现思维内容和思维形式的统一,否则,就不能实现这个反映。
思维内容就是思维所反映的对象及其属性,形式就是对某个对象反映的方式,也就是用词语表达的概念、用语句所表达的判断和用复句所表达的推理等。
二、形式逻辑简介
任何具体思维都有它的内容,也有它的形式。任何具体思维,都涉及一些特定的对象。族哪
例如,数学中的具体思维,就涉及数量与图形这些特定对象;物理学中的具体思维,就涉及声、光、电、力……这些特定的对象;政治经济学中的具体思维,就涉及生产关系、商品、价值……这些特定的对象。各个不同领域中的具体思维所涉及的对象是不相同的。
但是,在各个不同领域的具体思维中,又存在着一些共同的因素。例如,在各个不同领域的具体思维中,都要应用“所有……都是……”、“如果……那么……”这些思维因素。
各个不同领域的具体思维都需要应用的共同思维因素,就是具体思维的形式,或者说,就是思维形式。各个不同领域的具体思维所涉及的特殊对象,就是具体思维的内容,或者说,就是思维内容。