联考综合>逻辑#逻辑公式汇总

类目：三人行考研网>联考综合>逻辑>正文

时间：2016-06-2009:57:56

　为了更的帮助2016年的考生们复习联考综合逻辑备考工作 ，三人行考研网为考生们整理了逻辑公式汇总
，希望考生们能够认真复习。详细公式汇总如下：

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

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

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

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

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

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

充分条件假言命题：p→q

必要条件假言命题：p←q

充要条件假言命题：p←→q

联言命题：p∧q

相容选言命题：p∨q

不相容选言命题：p∨q

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

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

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

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

两否定不能得出结论;

两特称不能得出结论;

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

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

模态命题的等价命题:

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

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

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

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

必要条件假言命题的等价命题：p∨¬q
、¬p→¬q

二难推理：

若p→q、¬p→q同真，则q必真 。

归谬法：

若p→q 、p→¬q同真
，则p必假

反证法：

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

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

若r假且q真
，则p假
。