逻导知识梳理.docVIP

逻导知识梳理 第二章 语言分析（演绎逻辑） 概念 概念的外延：一个概念所指称的一类对象。 概念的内涵：一个概念所指称的一类对象所具有的特有属性。 概念的种类：①正概念和负概念 ②单独概念和普遍概念 ③集合概念和非集合概念 （于前加“每一个”，成立为非集合，不成立为集合） 概念外延间的关系：①全同关系 ②种属关系 ③属种关系 ④交叉关系 ⑤全异关系 （反对关系：外延之和小于属概念外延；不可同真，但可同假。 矛盾关系：外延之和等于属概念外延；不可同真假） 概念的定义规则：①定义不能循环→“循环定义” ②定义必须相应相称→“定义过宽”“定义过窄” ③定义应当用肯定形式→“定义离题” ④定义必须明确简练→“定义含混”“用比喻代定义” 概念的划分规则：①子项之和必须穷尽母项→“子项不全”“多出子项” ②各子项外延之间必须互不相容→“子项相容” ③划分标准必须同一→“多标准划分” （划分不同于分解，分解是把一个整体分为几个组成部分，整体与部分；划分是把外延进行分类，类与分子） 语句 语句的用法：①陈述情况 ②提出问题 ③表达感受 ④发出指令 第三章 逻辑推理：命题演算（演绎逻辑） 复合命题 五种基本逻辑关系的命题联结词：“非”“且”“或”“则”“当且仅当” 命题的形式：①负命题（不可同真假）┐p ②联言命题（同真）p∧q ③选言命题（不可同假但可同真）p∨q ④假言命题（不可前真后假）p→q ⑤等值命题（同真或同假）pq ⑥排斥选言命题（不可同真假；要么p，要么q） ⑦必要条件假言命题（只有p才q；q→p） 命题联结词的联结力强弱：┐最强，∧和∨较强，→较弱（计算时从后往前），最弱 复合命题公式的分类：①重言式 ②矛盾式（永假） ③协调式（可真可假） 语义计算 重言式的判定方法：①真值表法（只有两个命题变项） ②归谬赋值法（蕴涵式） ③表列法（多个命题变项且非蕴涵式） 等值变形 ①双端否定规则 若AB则┐A┐B ②双重否定规则 ┐┐AA ③传递规则 若AB，BC，则AC ④对称规则 若AB，则BA ⑤代入规则：在重言等值式中，任何命题变项用任一命题形式处处代入后，仍为重言等值式 ⑥置换规则：重言等值式中的任何部分都可用与之重言等值的命题形式作置换 (p∨q)∨rp∨(q∨r) p∧(q∨r)(p∧q)∨(p∧r) p∨(q∧r)(p∨q)∧(p∨r) p∧(p∨q)p p∨(p∧q)p 自然推导（形式推导） ①双重否定推理 ②联言推理 ③选言推理 ④假言推理 ⑤等值推理 ⑥排斥选言推理 ⑦必要条件假言推理 ⑧假言联锁推理：(p→q)∧(q→r)→(p→r) ⑨二难推理：(p→r)∧(q→r)∧(p∨q)→r (p→r)∧(p→s)∧(┐r∨┐s)→┐p ⑩归谬法推理：(p→q∧┐q)→┐p 反三段论：(p∧q→r)→(┐r∧p→┐q) 假言易位推理：p→q┐q→┐p 蕴涵析取互易推理：p→q┐p∨q 否定合取推理：┐(p∧q)┐p∨┐q 否定析取推理：┐(p∨q)┐p∧┐q 否定蕴涵推理：┐(p→q)p∧┐q 否定等值推理：┐(pq)(p→┐q)∧(┐p→q) 条件移出移入推理：p∧q→rp→(q→r) 条件互易推理：p→(q→r)q→(p→r) p→q┐q→┐p┐(p∧┐q)┐p∨q pq(p→q)∧(q→p)(p∧q)∨(┐p∧┐q) 第四章 逻辑推理：类演算与关系推理（演绎逻辑） 直言命题 直言命题的种类：①全称肯定命题SAP（主项周延，谓项不周延） ②全称否定命题SEP（主谓项周延） ③特称肯定命题SIP（主谓项不周延） ④特称否定命题SOP（主项不周延，谓项周延） 直接推理 直言对当关系推理： ①反对关系推理：AE（不可同