逻辑推理公式

逻辑推理公式是Qm=K(i-u)A。

逻辑推理公式详细情况：

1、全称否定命题SEP，以下简称E：所有S都不是P。

2、全称肯定命题SAP，以下简称A：所有S都是P。

3、特称否定命题SOP，以下简称O：有些S不是P。

4、特称肯定命题SIP，以下简称l：有些S是P。

5、单称否定命题记作e：小王不是P。

6、单称肯定命题记作a：小王是P。

7、充分条件假言命题：P→q。

8、必要条件假言命题：p-q。

9、充要条件假言命题：p—→q。

10、联言命题：p个q。

11、相容选言命题：pvq。

12、不相容选言命题：pvq。

13、联言命题：p个q。

14、相容选言命题：pvq。

15、不相容选言命题：pvq。

直言命题间的真假对当关系：

矛盾关系，上反对关系、下反对关系，从属关系。

矛盾关系：具有矛盾关系的两个命题之间不能同真同假。主要有三组。

SAP与SOP之间。所有同学考试都及格了与有些同学考试不及格SEP与SI之间。所有同学考试不及格与有些同学考试及格SaP与seP之间。张三考试及格与张三考试不及格。

上反对关系：具有上反对关系的两个命题不能同真必有一假，但是可以同假。即要么一个是假的，要么都是假的。存在于SAP与SEP、SAP与SeP、SEP与SaP之间。

下反对关系：具有下反对关系的两个命题不能同假必有一真，但是可以同真。即要么一个是真的，要么两个都是真的。存在于S与soP、SeP与SIP、SaP与soP之间。

从属关系可推出关系：存在于SAP与SIP、SEP与SOP、SAP与SaP、SEP与SeP、SaP与SIP、SeP与SOP六种直言命题之间存在的对当关系可以用一个六角图形来表示，逻辑方阵图。