形形式式逻逻辑辑公公式式速速查查表表文稿归稿存档编号：KKUY-KKIO69-OTM243-OLUI129-G00I-FDQS58-MG129【经典资料，文档，可编辑修改】【经典考试资料，答案附后，看后必过，文档，可修改】形式逻辑公式速查表在刚刚结束的 2012 年一月联考中，“形式逻辑”数量为 23 道，占逻辑总题量的近 80%。在这一背景下，能否熟练的运用形式逻辑的公式解题，成为不同考生在综合能力考试中的重大差异。假设 2013 年形式逻辑不少于 15 道题，那么，如果能熟练使用公式计算，逻辑部分将有可能实现“35 分钟以内、54 分以上”的目标。成为投入产出比和临场得分效率最高的科目。形式逻辑所涉及的考点及分值预测如下：直言命题 2 分、三段论 4 分、模态命题 0 分、概念 24 分、关系命题 0分、联言选言命题 2 分、假言命题 1622 分（考本类题目中会大量涉及联言选言命题） 、分析推理 2 分、其他零散（如典型逻辑谬误等）2 分。形式逻辑的训练需要按类型集中训练，方能对各类题型形成快速反应的能力。为此，我们精选了 20002012 年的形式逻辑真题，剔除掉和近年真题风格、难度、命题方式不符的题目，供大家使用。形式逻辑公式速查表全称肯定命题（SAP，以下简称 A）：所有 S 都是 P；全称否定命题（SEP，以下简称 E）：所有 S 都不是 P；特称肯定命题（SIP，以下简称 I）：有些 S 是P；特称否定命题（SOP，以下简称 O）：有些 S 不是 P；单称肯定命题（记作 a）：张三是 P；单称否定命题（记作 e）：张三不是 P。矛盾关系（A 和 O、E 和 I、a 和 e）：既不能同真，也不能同假，必有一真，必有一假；反对关系（A 和 E）：不能同真，可以同假；下反对关系（I 和 O）：可以同真，不能同假；从属关系（A-a-I、E-e-O）：全称真，则单称真，则特称真；特称假，则单称假，则全称假。两特称不能得出结论；两否定不能得出结论；前提有否定，结论必为否定，反之亦然；前提有特称，结论必为特称，反之未必。不一定可能非，不可能必然非直言命题直言命题的关系及规则三段论常用规则模态命题的等价命题复合命题的基本表达形式联言命题：pq相容选言命题：pq不相容选言命题：pq充分条件假言命题：pq必要条件假言命题：pq充要条件假言命题：pq充分条件假言命题：肯定前件式 pq，否定后件式 qp假言命题的有效推理形式必要条件假言命题：否定前件式 pq，肯定后件式 qp联言命题的负命题：pq相容选言命题的负命题：pq复合命题的负命题不相容选言命题的负命题：（pq）（pq）充分条件假言命题的负命题：p?q必要条件假言命题的负命题：pq充要条件假言命题的负命题：pq相容选言命题的等价命题：pq、qp复合命题的等价命题反三段论二难推理归谬法反证法不相容选言命题的等价命题：pq、qp、pq、qp充分条件假言命题的等价命题：pq、qp必要条件假言命题的等价命题： pq、pq设（pq）r，此时，若 r 假且 p 真，则 q假；若 r 假且 q 真，则 p 假。若 pq、pq 同真，则 q 必真。若 pq、p?q 同真，则 p 必假。若 pq、pq 同真，则 p 必假，即 p 必真。形式逻辑公式速查表在刚刚结束的 2012 年一月联考中，“形式逻辑”数量为 23 道，占逻辑总题量的近 80%。在这一背景下，能否熟练的运用形式逻辑的公式解题，成为不同考生在综合能力考试中的重大差异。假设 2013 年形式逻辑不少于 15 道题，那么，如果能熟练使用公式计算，逻辑部分将有可能实现“35 分钟以内、54 分以上”的目标。成为投入产出比和临场得分效率最高的科目。形式逻辑所涉及的考点及分值预测如下：直言命题 2 分、三段论 4 分、模态命题 0 分、概念 24 分、关系命题 0分、联言选言命题 2 分、假言命题 1622 分（考本类题目中会大量涉及联言选言命题） 、分析推理 2 分、其他零散（如典型逻辑谬误等）2 分。形式逻辑的训练需要按类型集中训练，方能对各类题型形成快速反应的能力。为此，我们精选了 20002012 年的形式逻辑真题，剔除掉和近年真题风格、难度、命题方式不符的题目，供大家使用。形式逻辑公式速查表全称肯定命题（SAP，以下简称 A）：所有 S 都是 P；全称否定命题（SEP，以下简称 E）：所有 S 都不是 P；特称肯定命题（SIP，以下简称 I）：有些 S 是P；特称否定命题（SOP，以下简称 O）：有些 S 不是 P；单称肯定命题（记作 a）：张三是 P；单称否定命题（记作 e）：张三不是 P。矛盾关系（A 和 O、E 和 I、a 和 e）：既不能同真，也不能同假，必有一真，必有一假；反对关系（A 和 E）：不能同真，可以同假；下反对关系（I 和 O）：可以同真，不能同假；从属关系（A-a-I、E-e-O）：全称真，则单称真，则特称真；特称假，则单称假，则全称假。两特称不能得出结论；两否定不能得出结论；前提有否定，结论必为否定，反之亦然；前提有特称，结论必为特称，反之未必。不一定可能非，不可能必然非联言命题：pq相容选言命题：pq不相容选言命题：pq充分条件假言命题：pq必要条件假言命题：pq充要条件假言命题：pq充分条件假言命题：肯定前件式 pq，否定后件式 qp直言命题直言命题的关系及规则三段论常用规则模态命题的等价命题复合命题的基本表达形式假言命题的有效推理形式必要条件假言命题：否定前件式 pq，肯定后件式 qp联言命题的负命题：pq相容选言命题的负命题：pq复合命题的负命题不相容选言命题的负命题：（pq）（pq）充分条件假言命题的负命题：p?q必要条件假言命题的负命题：pq充要条件假言命题的负命题：pq相容选言命题的等价命题：pq、qp复合命题的等价命题反三段论二难推理归谬法反证法不相容选言命题的等价命题：pq、qp、pq、qp充分条件假言命题的等价命题：pq、qp必要条件假言命题的等价命题： pq、pq设（pq）r，此时，若 r 假且 p 真，则 q假；若 r 假且 q 真，则 p 假。若 pq、pq 同真，则 q 必真。若 pq、p?q 同真，则 p 必假。若 pq、pq 同真，则 p 必假，即 p 必真。