[理学]命题逻辑.ppt

* Discrete Math. （7）等价三段论 （A?B）?（B?C）?A?C （8）构造性二难 （A?B）?（C?D）?（A?C）?B?D 构造性二难（特殊形式） （A?B）? （?A?B） ?B （9）破坏性二难 （A?B）?（C?D） ?（ ? B? ? D） ? （ ? A? ? C） 离散数学 第三章 命题逻辑的推理理论 Discrete Math. 3、自然推理系统p 自然推理系统p的组成： 1）字符表：常元、变元、联结词、圆括号、逗号 2）合式公式 3）推理规则： 前提引入规则（P规则）在证明的任何步骤上都可以引入前提。 结论引入规则（T规则）在证明的任何步骤上都可以将在该步骤之前所得的结论作为前提引入。 离散数学 第三章 命题逻辑的推理理论 Discrete Math. 置换规则 在证明的任何步骤上，公式中的子公式都可以用与之等值的公式去置换。 永真蕴涵规则 将基本蕴涵关系式作为自然推理系统P的推理规则。 例：证明（A?B）?（A?C）?（B?C） 证：① A?B 前提引入规则 ② ?A ?B ①置换规则 ③ ?A?B??C ②附加式 ④ ?A?((?C?B)?(?C?C)) ③同一律 ⑤ ?A?(?C?(B?C)) ④分配律 ⑥ (?A??C)?(B?C) ⑤结合律 离散数学 第三章 命题逻辑的推理理论 Discrete Math. 例1：在自然推理系统中构造下面推理的证明： 前提： ?(p??q)，?q?r，?r 结论： ?p 证：① ?q?r 前提引入规则 ② ?r 前提引入规则 ③ ?q ①②析取三段论 ④ ?(p??q) 前提引入规则 ⑤ ?p?q ④置换规则 ⑥ ?p ③⑤析取三段论 离散数学 第三章 命题逻辑的推理理论 Discrete Math. 前提：p?q，q?r，p?s，?s 结论：r?(p?q) 证：① p?s 前提引入规则 ② ?s 前提引入规则 ③ ?p ①②拒取式 ④ p?q 前提引入规则 ⑤ q ③④析取三段论 ⑥ q?r 前提引入规则 ⑦ r ⑤⑥假言推理 ⑧ r?(p?q) ④⑦合取引入 离散数学 第三章 命题逻辑的推理理论 Discrete Math. 假言推理 （A?B）?A?B 常用的另一种方式： A?B，A?B 拒取式 （A?B）??B??A A?B，?B??A 析取三段论 （A?B）??A?B A?B，?A?B 假言三段论 （A?B）?（B?C）?A?C A?B，B?C?A?C 离散数学 第三章 命题逻辑的推理理论 Discrete Math. 前提： ?p?q，r??q ，r?s 结论： p?s 证：① ?p?q 前提引入规则 ② p?q ①置换规则 ③ r??q 前提引入 ④ ?q?r ③置换 ⑤ q?r ④置换 ⑥ p?r ②⑤假言三段论 ⑦ r?s 前提引入 ⑧ p?s ⑥ ⑦假言三段论 所以推理正确 离散数学 第三章 命题逻辑的推理理论 Discrete Math. 例2：在自然推理系统中构造下面推理的证明： 若数a是实数，则它不是有理数就是无理数。若a不能表示成分数，则它不是有理数。a是实数且它不能表示成分数。所以a是无理数。 解：首先将命题符号化 p： a是实数。 q：a是有理数。 r：a是无理数。 s： a能表示成分数。 前提：p?(q?r)，?s??q， p??s 离散数学 第三章 命