逻辑命题推理公式（命题推理必背公式）

Qm=K(i-u)A

①全称否定命题SEP,以下简称E:所有S都不是P。

②全称肯定命题SAP,以下简称A:所有S都是P。

③特称否定命题SOP,以下简称O:有些S不是P。

④特称肯定命题SIP,以下简称l:有些S是P。

⑤单称否定命题记作e:小王不是P。

⑥单称肯定命题记作a:小王是P。