逻导知识梳理.doc

《逻导知识梳理.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、逻导知识梳理v第二章语言分析（演绎逻辑）Ø概念1、概念的外延：一个概念所指称的一类对象。2、概念的内涵：一个概念所指称的一类对象所具有的特有属性。3、概念的种类：①正概念和负概念②单独概念和普遍概念③集合概念和非集合概念（于前加“每一个”，成立为非集合，不成立为集合）4、概念外延间的关系：①全同关系②种属关系③属种关系④交叉关系⑤全异关系（反对关系：外延之和小于属概念外延；不可同真，但可同假。矛盾关系：外延之和等于属概念外延；不可同真假）5、概念的定义规则：①定义不能循环→“循环定义”②定义必须相应相称→“定义过宽”“定义过窄”③定义应当用肯定形式→“定义离

2、题”④定义必须明确简练→“定义含混”“用比喻代定义”6、概念的划分规则：①子项之和必须穷尽母项→“子项不全”“多出子项”②各子项外延之间必须互不相容→“子项相容”③划分标准必须同一→“多标准划分”（划分不同于分解，分解是把一个整体分为几个组成部分，整体与部分；划分是把外延进行分类，类与分子）Ø语句语句的用法：①陈述情况②提出问题③表达感受④发出指令v第三章逻辑推理：命题演算（演绎逻辑）Ø复合命题1、五种基本逻辑关系的命题联结词：“非”“且”“或”“则”“当且仅当”2、命题的形式：①负命题（不可同真假）┐p②联言命题（同真）p∧q③选言命题（不可同假但可同真）

3、p∨q④假言命题（不可前真后假）p→q⑤等值命题（同真或同假）pq⑥排斥选言命题（不可同真假；要么p，要么q）⑦必要条件假言命题（只有p才q；q→p）1、命题联结词的联结力强弱：┐最强，∧和∨较强，→较弱（计算时从后往前），最弱2、复合命题公式的分类：①重言式②矛盾式（永假）③协调式（可真可假）Ø语义计算重言式的判定方法：①真值表法（只有两个命题变项）②归谬赋值法（蕴涵式）③表列法（多个命题变项且非蕴涵式）Ø等值变形①双端否定规则若AB则┐A┐B②双重否定规则┐┐AA③传递规则若AB，BC，则AC④对称规则若AB，则BA⑤代入规则：在重言等值式中，任何命题变

4、项用任一命题形式处处代入后，仍为重言等值式⑥置换规则：重言等值式中的任何部分都可用与之重言等值的命题形式作置换(p∨q)∨rp∨(q∨r)p∧(q∨r)(p∧q)∨(p∧r)p∨(q∧r)(p∨q)∧(p∨r)p∧(p∨q)pp∨(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(11)反三段论：(p∧q→r)→

5、(┐r∧p→┐q)(12)假言易位推理：p→q┐q→┐p(13)蕴涵析取互易推理：p→q┐p∨q(14)否定合取推理：┐(p∧q)┐p∨┐q(15)否定析取推理：┐(p∨q)┐p∧┐q(16)否定蕴涵推理：┐(p→q)p∧┐q(17)否定等值推理：┐(pq)(p→┐q)∧(┐p→q)(18)条件移出移入推理：p∧q→rp→(q→r)(19)条件互易推理：p→(q→r)q→(p→r)²p→q┐q→┐p┐(p∧┐q)┐p∨q²pq(p→q)∧(q→p)(p∧q)∨(┐p∧┐q)v第四章逻辑推理：类演算与关系推理（演绎逻辑）Ø直言命题直言命题的种类：①全称肯定命题

6、SAP（主项周延，谓项不周延）②全称否定命题SEP（主谓项周延）③特称肯定命题SIP（主谓项不周延）④特称否定命题SOP（主项不周延，谓项周延）Ø直接推理1、直言对当关系推理：①反对关系推理：A&E（不可同真，但可同假）SAP→┐SEP②下反对关系推理：I&O（不可同假，但可同真）┐SIP→SOP③矛盾关系推理：A&OE&I（不可同真假）SAP→┐SOP（一个命题和它的矛盾命题的负命题之间是等值关系）④差等关系推理：A&IE&O（全称命题真，特称命题真；全称命题假，特称命题可真可假；特称命题真，全称命题可真可假；特称命题假，全称命题假）SAP→SIP2、换质

7、法：SAP→SESEP→SASIP→SOSOP→SI3、换位法：SEP→PESSIP→PISSAP→ASOP→OØ三段论1、大项：结论谓项；小项：结论主项2、三段论的格：①M——P②P——M③M——P④P——MS——MS——MM——SM——SS——PS——PS——PS——P3、三段论的基本规则：①中项至少要周延一次→“中项不周延”②前提中不周延的词项，在结论中也不得周延→“大项不当周延”“小项不当周延”③前提和结论中的否定命题数目必须相同→“两否定前提”“结论不当肯定”“结论不当否定”4、三段论的导出规则：①两个前提都是特称命题，则不能得出结论②前提中有一特

8、称命题，则结论必为特称命题5、省略三段论：①含有小项