【摘要】各位备考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假。 (实习编辑:赵峰)