定义

1. 直接断定某事物具有或不具有某种属性的命题

类型

1. 全称肯定命题
2. 全称否定命题
3. 特称肯定命题
4. 特称否定命题
5. 单称肯定命题
6. 单称否定命题

矛盾关系

1. 所有A都是B与有的A不是B 矛盾
2. 所有A都不是B与有的A是B 矛盾 -所有=有的不 -有的=所有不

推出关系

1. 所有A是B->某个A是B->有的A是B
2. 所有A不是B->某个A不是B->有的A不是B

有的分析

1. 存在 / 至少一个[1,所有]
2. 几个推不出
   1. 有的A是B->所有A是B
   2. 有的A是B->某个A是B
   3. ~~有的A是B->有的A不是B