逻辑学推理规则

《逻辑学推理规则》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、逻辑推理规则1.真值函项逻辑推理规则1.1有效论证的基本形式（12个）（1）分离论证或分离规则（ModusPonens，简称MP。RuleofDetachment）：p→q，p，∴q（2）逆分离规则（ModusTonens,简称MT）：p→q，¬q，∴¬p（3）假言连锁论证或假言三段论（ChainArgument,简称CH；HypotheticalSyllogism,简称HS）：p→q，q→r，∴p→r（4）析取消去（DisjunctionElimination,简称DE）：p∨q，¬p，∴qp∨q，¬q，∴p（5）析取引入

2、（DisjunctionIntroduction/Addiction,有时又被称为析取添加，简称DI）：p，∴p∨qq，∴p∨q（6）合取引入或组合式（ConjunctionIntroduction,简称CI）：p，q，∴p∧q（7）合取简化（ConjunctionSimplification,有时又被称为分解式，简称CS）：p∧q，∴pp∧q，∴q（8）归谬法（ReductioadAbsurdum,简称RaA）：p→¬p，∴¬pp→（q∧¬q），∴¬p（9）二难论证简单构成式（SimpleConstructive,简称SC

3、）：p→q，r→q，p∨r，∴q（10）二难论证简单破坏式（SimpleDestructive,简称SD）：p→q，p→r，¬q∨¬r，∴¬p（11）二难论证复杂构成式（ComplexConstructive,简称CC）：p→q，r→s，p∨r，∴q∨s（12）二难论证复杂破坏式（ComplexDestructive,简称CD）：p→q，r→s，¬q∨¬s，∴¬p∨¬r1.2等值规则（9条）（13）等值规则（Equivalence，简称Equiv）p↔p∧pp↔p∨pp→q↔¬p∨qp→q↔¬（p∧¬q）（p↔q）↔（p→q

4、）∧（q→p）（14）双否规则（DoubleNegation，简称DN）¬¬p↔p（15）假言易位（Contraposition，简称CP）（p→q）↔（¬q→¬p）（16）交换律（commutation，简称COM）p∧q↔q∧pp∨q↔q∨p（17）结合律（Association，简称AS）p∧（q∧r）↔（p∧q）∧rp∨（q∨r）↔（p∨q）∨r（18）分配率（Distribution)，简称DIS）p∧（q∨r）↔（p∧q）∨（p∧r）p∨（q∧r）↔（p∨q）∧（p∨r）（19）德摩根律（DeMorgan’sLa

5、ws，简称DM或DeM）¬（p∧q）↔¬p∨¬q¬（p∨q）↔¬p∧¬q（20）输出规则（Exportation,简称EXP）p∧q→r↔p→（q→r）（21）重言规则（Tautology，简称TAUT）p∨¬pp→pp→（p∨q）（p∧¬p）→q¬（p∧¬p）p↔pp∧q→pp→（q∨¬q）2.关于量词的规则（3条）（22）全称例示规则全称例示规则(UI，即UniversalInstantiation)允许我们从所有情形推导出特殊情形。从(x)Ax推出At。也可以表示为：(x)AxA(x/t)，如果t对x代入自由[t是符合

6、代入要求的项]（23）存在例示规则存在例示规则(EI,即ExistentialInstantiation)允许我们从一个存在量化命题推导出其至少一个具体事例。(∃x)AxA(x/α)，如果α是先前没有出现过的特指常项（24）量化等值1）全称量词否定规则（量化等值规则，QE）¬(x)Ax(∃x)¬Ax¬A(x/α)，如果α是先前没有出现过的特指常项2）存在量词否定规则（量化等值规则，QE）¬(∃x)Ax(x)¬Ax¬A(x/t)，如果t对x代入自由3）任何一个包含全称命题的析取式都可以用一个全称量词管辖整个析取命题来取代。但公

7、式不得含有自由变元。例如：(x)Ax∨B↔(x)(Ax∨B)，其中B中不含有自由变元。4）任何一个包含存在量化命题的析取式都可以用一个存在量词管辖整个析取命题来取代。但公式不得含有自由变元。例如：¬(x)¬Ax∨(∃y)(Cy∧¬Cy)↔(∃y)(¬(x)¬Ax∨(Cy∧¬Cy))