所有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之间。具有差等关系的两个判断，一个是全称判断，一个是特称判断。
具有差等关系的两个判断之间具有如下的真假关系：如果全称判断是真的，则特称判断也是真的：如果全称判断是假的，则特称判断真假不定。如果特称判断是真的，则全称判断真假不定，如果特称判断是假的，则全称判断也是假的。
扩展资料：
一、形式逻辑也叫普通逻辑。研究思维形式及其规律的科学。它是一门工具性质的科学，是人们认识事物、表达思想时经常运用的一种必要的逻辑工具。
人的认识在理性阶段要实现对客观世界的反映，就要实现思维内容和思维形式的统一，否则，就不能实现这个反映。
思维内容就是思维所反映的对象及其属性，形式就是对某个对象反映的方式，也就是用词语表达的概念、用语句所表达的判断和用复句所表达的推理等。
二、形式逻辑简介
任何具体思维都有它的内容，也有它的形式。任何具体思维，都涉及一些特定的对象。
例如，数学中的具体思维，就涉及数量与图形这些特定对象；物理学中的具体思维，就涉及声、光、电、力……这些特定的对象；政治经济学中的具体思维，就涉及生产关系、商品、价值……这些特定的对象。各个不同领域中的具体思维所涉及的对象是不相同的。
但是，在各个不同领域的具体思维中，又存在着一些共同的因素。例如，在各个不同领域的具体思维中，都要应用“所有……都是……”、“如果……那么……”这些思维因素。
各个不同领域的具体思维都需要应用的共同思维因素，就是具体思维的形式，或者说，就是思维形式。各个不同领域的具体思维所涉及的特殊对象，就是具体思维的内容，或者说，就是思维内容。
这是因为S和P的定义不同。S代表特征（characteristic），而P则更具体地描述了一种情况或状况。例如，“有自信”可以作为一项特征来定义S；而“能够承受压力”即是一种具体的情况或状态，可以用P来表示。