【摘要】各位备考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】 相容选言命题的等价命题：portant;float:none;background-color:rgb(255,255,255);">¬p→q、portant;float:none;background-color:rgb(255,255,255);">¬q→p 不相容选言命题的等价命题：portant;float:none;background-color:rgb(255,255,255);">¬p→q、portant;float:none;background-color:rgb(255,255,255);">¬q→p、p→portant;float:none;background-color:rgb(255,255,255);">¬q、q→portant;float:none;background-color:rgb(255,255,255);">¬p 充分条件假言命题的等价命题：portant;float:none;background-color:rgb(255,255,255);">¬p∨q、portant;float:none;background-color:rgb(255,255,255);">¬q→portant;float:none;background-color:rgb(255,255,255);">¬p 必要条件假言命题的等价命题：p∨portant;float:none;background-color:rgb(255,255,255);">¬q、portant;float:none;background-color:rgb(255,255,255);">¬p→portant;float:none;background-color:rgb(255,255,255);">¬q 【6】 二难推理： 若p→q、portant;float:none;background-color:rgb(255,255,255);">¬p→q同真，则q必真。 归谬法： 若p→q、p→portant;float:none;background-color:rgb(255,255,255);">¬q同真，则p必假 反证法： 若portant;float:none;background-color:rgb(255,255,255);">¬p→q、portant;float:none;background-color:rgb(255,255,255);">¬p→portant;float:none;background-color:rgb(255,255,255);">¬q同真，则portant;float:none;background-color:rgb(255,255,255);">¬p必假，即p必真。 【7】 设(p∧q)→r，此时，若r假且p真，则q假； 若r假且q真，则p假。 （实习编辑：赵峰）
