形式逻辑公式速查表

1、形式逻辑公式速查表This model paper was revised by the Standardization Office on December 10, 2020【经典资料，WORD文档，可编辑修改】【经典考试资料，答案附后，看后必过，WORD文档，可修改】形式逻辑公式速査表在刚刚结束的2012年一月联考中，“形式逻辑”数量为23道，占逻辑总题量的 近80%。在这一背景下，能否熟练的运用形式逻辑的公式解题，成为不同考生在综合 能力考试中的重大差异。假设2013年形式逻辑不少于13道题，那么，如果能熟练使用公式计算，逻辑部 分将有可能实现“35分钟以内、54分以上”的目标。成为投入

2、产出比和临场得分效 率最高的科目。形式逻辑所涉及的考点及分值预测如下：直言命题2分、三段论4分、模态命题0分、概念2、4分、关系命题0分、联言 选言命题2分、假言命题1622分（考本类题目中会大量涉及联言选言命题）、分 析推理2分、其他零散（如典型逻辑谬误等）2分。形式逻辑的训练需要按类型集中训练，方能对各类题型形成快速反应的能力。为 此，我们精选了 20002012年的形式逻辑真题，剔除掉和近年真题风格、难度、命题 方式不符的题目，供大家使用。形式逻辑公式速查表直言命题全称肯定命题（SAP,以下简称A）:所有S都是P;全称否定命题（SEP,以下简称E）:所有S都不是 P;特称肯定命题（SIP

3、,以下简称I）:有些S是P： 特称否定命题（SOP,以下简称0）:有些S不是 P;单称肯定命题（记作R :张三是P;单称否定命题（记作e ）:张三不是P。直言命题的 关系及规则矛盾关系（A和0、E和I、d和e）:既不能同真， 也不能同假，必有一真，必有一假；反对关系（A和E）:不能同真，可以同假； 下反对关系（I和0）：可以同真，不能同假； 从属关系（A-a-K E-e-O）:全称真，则单称真， 则特称真；特称假，则单称假，则全称假。三段论 常用规则两特称不能得出结论；两否定不能得出结论；前提有否定，结论必为否定，反之亦然； 前提有特称，结论必为特称，反之未必。模态命题的 等价命题不一定一f可

4、能非，不可能一f必然非复合命题的 基本表达形 式联言命题：pAq 相容选言命题：pVq 不相容选言命题：pvci 充分条件假言命题：p-*Q 必要条件假言命题：pq 充要条件假言命题：P - Q假言命题的 有效推理形 式充分条件假言命题：肯定前件式p-q，否定后件式 qf P必要条件假言命题：否定前件式p-q,肯定后件式qf P复合命题的 负命题联言命题的负命题：pV Q 相容选育命题的负命题：pAq 不相容选言命题的负命题：(pAq) V (pAq) 充分条件假言命题的负命题：pAq 必要条件假言命题的负命题：pAq 充要条件假言命题的负命题：P0Q复合命题的 等价命题相容选育命题的等价命题

5、：pfq、Qp不相容选言命题的等价命题：pf q、qp、pq、q f P充分条件假言命题的等价命题：pVq. qp 必要条件假言命题的等价命题：pVQ> p-*-Q反三段论设(pAq)此时，若r假且p真，则q假；若r假且q真，则p假。二难推理若pfq、pf q同真，则q必真。归谬法若pfq、pf q同真，则p必假。反证法若pf q、pf q同真，则p必假，即p必真。形式逻辑公式速査表在刚刚结束的2012年一月联考中，“形式逻辑”数量为23道，占逻辑总题量的 近80%。在这一背景下，能否熟练的运用形式逻辑的公式解题，成为不同考生在综合 能力考试中的重大差异。假设2013年形式逻辑不少于13

6、道题，那么，如果能熟练使用公式计算，逻辑部 分将有可能实现“35分钟以内、54分以上”的目标。成为投入产出比和临场得分效 率最高的科目。形式逻辑所涉及的考点及分值预测如下：直言命题2分、三段论4分、模态命题0分、概念2、4分、关系命题0分、联言 选言命题2分、假言命题1622分（考本类题目中会大量涉及联言选言命题）、分 析推理2分、其他零散（如典型逻辑谬误等）2分。形式逻辑的训练需要按类型集中训练，方能对各类题型形成快速反应的能力。为 此，我们精选了 2000、2012年的形式逻辑真题，剔除掉和近年真题风格、难度、命题 方式不符的题目，供大家使用。形式逻辑公式速查表直言命题全称肯定命题（SAP

7、,以下简称A）:所有S都是P;全称否定命题（SEP,以下简称E）:所有S都不是 P;特称肯定命题（SIP,以下简称I）:有些S是P； 特称否定命题（SOP,以下简称0）:有些S不是 P;单称肯定命题（记作R :张三是P;单称否定命题（记作e ）:张三不是P。直言命题的 关系及规则矛盾关系（A和0、E和I、d和e）:既不能同真， 也不能同假，必有一真，必有一假；反对关系（A和E）:不能同真，可以同假；卜反对关系（I和0）：可以同真，不能同假；从属关系（A-a-K E-e-0）:全称真，则单称真， 则特称真；特称假，则单称假，则全称假。三段论 常用规则两特称不能得出结论；两否定不能得出结论；前提有

8、否定，结论必为否定，反之亦然； 前提有特称，结论必为特称，反之未必。模态命题的 等价命题不一定-可能非，不可能-必然非复合命题的 基本表达形 式联言命题：pAq 相容选言命题：pVq 不相容选言命题：P0q 充分条件假言命题：P*Q 必要条件假言命题：pq 充要条件假言命题：P - Q假言命题的 有效推理形充分条件假言命题：肯定前件式p-q，否定后件式 qf P式必要条件假言命题：否定前件式p-q，肯定后件式 q_ P复合命题的 负命题联言命题的负命题：pV Q 相容选育命题的负命题：pAq 不相容选言命题的负命题：(pAq) V (pAq) 充分条件假言命题的负命题：pAq 必要条件假言命题的负命题：pAq 充要条件假言命题的负命题：P0Q复合命题的 等价命题相容选育命题的等价命题：pfq、Qp不相容选言命题的等价命题：pQ> Qf P充分条件假言命题的等价命