逻辑公式汇总

为了更全面的帮助2016年的考生们复习联考综合逻辑备考工作，查字典公务员考研为考生们整理了逻辑公式汇总，希望考生们能够认真复习。详细公式汇总如下：

全称否定命题(SEP，以下简称E)：所有S都不是P;

全称肯定命题(SAP，以下简称A)：所有S都是P;

特称否定命题(SOP，以下简称O)：有些S不是P;

特称肯定命题(SIP，以下简称I)：有些S是P;

单称否定命题(记作e)：小王不是P;

单称肯定命题(记作a)：小王是P。

充分条件假言命题：pq

必要条件假言命题：pq

充要条件假言命题：pq

联言命题：pq

相容选言命题：pq

不相容选言命题：pq

矛盾关系(A和O、E和I、a和e)：既不能同真，也不能同假，必有一真，必有一假;

反对关系(A和E)：不能同真，可以同假;

下反对关系(I和O)：可以同真，不能同假;

从属关系(A-a-I、E-e-O)：全称真，则单称真，则特称真;特称假，则单称假，则全称假。

两否定不能得出结论;

两特称不能得出结论;

前提有特称，结论必为特称，反之未必;

前提有否定，结论必为否定，反之亦然。

模态命题的等价命题:

不可能必然非，不一定可能非

相容选言命题的等价命题：q、p

不相容选言命题的等价命题：q、p、pq、qp

充分条件假言命题的等价命题：q、p

必要条件假言命题的等价命题： pq、q

二难推理：

若pq、q同真，则q必真。

归谬法：

若pq、pq同真，则p必假

反证法：

若q、q同真，则p必假，即p必真。

设(pq)r，此时，若r假且p真，则q假;

若r假且q真，则p假。

查字典公务员考研在此祝考生能顺利备考。