形式逻辑公式速查表

1、【经典资料，WORD文档，可编辑修改】【经典考试资料，答案附后，看后必过，WORD文档，可修改】形式逻辑公式速查表在刚刚结束的2012年一月联考中，“形式逻辑”数量为23道，占逻辑总题量的近80% 在这一背景下，能否熟练的运用形式逻辑的公式解题，成为不同考生在综合能力考试中 的重大差异。假设2013年形式逻辑不少于15道题，那么，如果能熟练使用公式计算，逻辑部分 将有可能实现“ 35分钟以内、54分以上”的目标。成为投入产出比和临场得分效率最高 的科目。形式逻辑所涉及的考点及分值预测如下：直言命题2分、三段论4分、模态命题0分、概念24分、关系命题0分、联言选 言命题2分、假言命题1622分（

2、考本类题目中会大量涉及联言选言命题）、分析推理2分、其他零散（如典型逻辑谬误等） 2分。形式逻辑的训练需要按类型集中训练，方能对各类题型形成快速反应的能力。为此， 我们精选了 20002012年的形式逻辑真题，剔除掉和近年真题风格、难度、命题方式不 符的题目，供大家使用。形式逻辑公式速查表直言命题全称肯定命题（SAP以下简称A）:所有S都是P;全称否定命题（SEP以下简称E）:所有S都不 是P;特称肯定命题（SIP，以下简称1）:有些S是P;特称否定命题（SOP以下简称0）:有些S不是P; 单称肯定命题（记作a）:张三是P;单称否定命题（记作 e）:张三不是P。直言命题的 关系及规则矛盾关系（

3、A和O E和1、a和e）:既不能同真， 也不能同假，必有一真，必有一假；反对关系（A和E）:不能同真，可以同假；下反对关系（1和0）:可以同真，不能同假；从属关系（A-a-I、E-e-0）:全称真，则单称真，则特称真；特称假，则单称假，则全称假。三段论常用规则两特称不能得出结论；两否定不能得出结论；前提有否定，结论必为否定，反之亦然； 前提有特称，结论必为特称，反之未必。模态命题的等价命题不定可能非，不可能必然非复合命题的基本表达形 式联言命题：pA q相容选言命题：p V q 不相容选言命题：pV q 充分条件假言命题：pf q 必要条件假言命题：P-q 充要条件假言命题：p> q假言

4、命题的有效推理形 式充分条件假言命题：肯定前件式pf q，否定后件式?qf ?p必要条件假言命题：否疋前件式?p f ?q，冃疋后件式qf p复合命题的负命题联言命题的负命题：?p V ?q相容选言命题的负命题：？pA ?q不相容选言命题的负命题：(pA q)V( ?pA ?q) 充分条件假言命题的负命题：pA ?q 必要条件假言命题的负命题：？p A q 充要条件假言命题的负命题：pVq复合命题的等价命题相容选言命题的等价命题：?pf q、?qf p不相容选言命题的等价命题：?pf q、?qf p、pf ?q、qf ?p充分条件假言命题的等价命题：？pV q、？qi?p必要条件假言命题的等价

5、命题：p V ?q、？pi ?q反三段论设（pA q） r，此时，若r假且p真，则q假； 若r假且q真，贝V p假。二难推理若pf q、?ptq同真，贝9 q必真。归谬法若pf q、pf ?q同真，则p必假。反证法若?pf q、?pf ?q同真，则?p必假，即p必真。形式逻辑公式速查表在刚刚结束的2012年一月联考中，“形式逻辑”数量为23道，占逻辑总题量的近80% 在这一背景下，能否熟练的运用形式逻辑的公式解题，成为不同考生在综合能力考试中 的重大差异。假设2013年形式逻辑不少于15道题，那么，如果能熟练使用公式计算，逻辑部分 将有可能实现“ 35分钟以内、54分以上”的目标。成为投入产出

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

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

8、的基本表达形 式联言命题：pA q 相容选言命题：p V q 不相容选言命题：pV| q 充分条件假言命题：pf q 必要条件假言命题：P-q 充要条件假言命题：p> q假言命题的有效推理形 式充分条件假言命题：肯定前件式pf q，否定后件式?qf ?p必要条件假言命题：否疋前件式?p f ?q，冃疋后件式qf p复合命题的负命题联言命题的负命题：?p V ?q相容选言命题的负命题：？pA ?q不相容选言命题的负命题：（pA q）V（ ?pA ?q） 充分条件假言命题的负命题：pA ?q 必要条件假言命题的负命题：？p A q 充要条件假言命题的负命题：pV q复合命题的等价命题相容选言命题的等价命题：？pf q、？qf p不相容选言命题的等价命题：？pf q、?qtp、pf ?q、qT?p充分条件假言命题的等价命题：？pV q、?qf ?p必要条件假言命题的等价命题：p