2016：逻辑实用公式小结

　　【摘要】各位备考MPAcc的同学们都复习的怎么样了呢？本文为大家带来MPAcc联考综合中的逻辑科目里的实用公式小结，希望可以帮助到大家。考研帮携手2016大纲解析人第一时间解读大纲，点击免费报名。

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

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

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

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

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

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

　　【2】
　　充分条件假言命题：p→q；

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

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

　　联言命题：p∧q；

　　相容选言命题：p∨q；

　　不相容选言命题：p∨q

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

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

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

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

　　【4】
　　两否定不能得出结论；

　　两特称不能得出结论；

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

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

　　模态命题的等价命题：不可能←→必然非，不一定←→可能非

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

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

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

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

　　【6】
　　二难推理：
　　若p→q、¬p→q同真，则q必真。

　　归谬法：
　　若p→q、p→¬q同真，则p必假

　　反证法：
　　若¬p→q、¬p→¬q同真，则¬p必假，即p必真。

　　【7】
　　设(p∧q)→r，此时，若r假且p真，则q假；
　　若r假且q真，则p假。

　　（实习编辑：赵峰）