精选优质文档-倾情为你奉上逻辑命题与推理必然性推理（演绎推理）：对当关系推理、三段论、复合命题推理、关系推理和模态推理可能性推理：归纳推理（枚举归纳、科学归纳）、类比推理命题直言命题的种类：（AEIOae）全称肯定命题：所有S是P（SAP）全称否定命题：所有S不是P（SEP）特称肯定命题：有的S是P（SIP）特称否定命题：有的S不是P（SOP）单称肯定命题：某个S是P（SaP）单称否定命题：某个S不是P（SeP） 直言命题间的真假对当关系：矛盾关系、（上）反对关系、（下）反对关系、从属关系矛盾关系：具有矛盾关系的两个命题之间不能同真同假。主要有三组：SAP与SOP之间。“所有同学考试都几个了”与“有些同学考试不及格”SEP与SIP之间。“所有同学考试不及格”与“有些同学考试及格”SaP与SeP之间。“张三考试及格”与“张三考试不及格”上反对关系：具有上反对关系的两个命题不能同真（必有一假），但是可以同假。即要么一个是假的，要么都是假的。存在于SAP与SEP、SAP与SeP、SEP与SaP之间。
