数理逻辑—推理理论

最新推荐文章于 2022-11-19 10:42:55 发布

白水baishui

最新推荐文章于 2022-11-19 10:42:55 发布

阅读量6.3k

点赞数 13

文章标签：推理推理理论构造法推理规则推理定理

本文链接：https://blog.csdn.net/baishuiniyaonulia/article/details/89648342

版权

１推理的通俗解释

推理是从前提推出结论的思维过程，前提是指已知的命题公式，结论是指从前提出发应用推理规则推出的命题公式，当推理正确且前提也正确时，结论一定正确。

２构造证明法——证明推理正确的方法之一

构造证明法是按照给定的规则进行，其中有些规则建立在推理定律(即重言蕴含式)的基础之上。

推理定律：

推理定律	名称
$A\Rightarrow(A\lor B)$	附加
$(A\land B)\Rightarrow A$	化简
$((A\to B)\land A)\Rightarrow B$	假言推理
$((A\to B)\land \lnot B)\Rightarrow \lnot A$	拒取式
$((A\lor B)\land\lnot A)\Rightarrow B$	析取三段论
$((A\to B)\land (B\to C))\Rightarrow(A\to C)$	假言三段论
$((A\leftrightarrow B)\land(B\leftrightarrow C))\Rightarrow(A\leftrightarrow B)$	等价三段论
$(A\to B)\land(C\to D)\land(A\lor C)\Rightarrow(B\lor D)$	构造性二难
$(A\to B)\land(\lnot A\to B)\Rightarrow B$	构造性二难的特殊形式
$(A\to B)\land(C\to D)\land(\lnot B\lor\lnot D)\Rightarrow (\lnot A\lor\lnot C)$	破坏性二难

根据公理和上述推理定律，可以得到下面的常用推理规则

名称	规则
前提引入规则	前提可以在证明过程中任意引入
结论引入规则	已经证明的结论可以作为后续证明的前提
置换规则	在证明过程中可以应用16组重要等值式进行命题公式置换
假言推理规则	$A\to B,A\vDash B$
附加规则	$A\vDash A\lor B$
化简规则	$A\land B\vDash A$
拒取式规则	$A\to B,\lnot B\vDash \lnot A$
假言三段论规则	$A\to B,B\to C\vDash A\to C$
析取三段论规则	$A\lor B,\lnot B\vDash A$
构造性二难规则	$A\to B,C\to D,A\lor C\vDash B\lor D$
破坏性二难规则	$A\to B,C\to D,\lnot B\lor\lnot D\vDash\lnot A\lor\lnot C$
合取引入规则	$A,B\vDash A\land B$

其中， $A_1,A_2,...,A_k \vDash B$ 表示 $B$ 是 $A_1,A_2,...,A_k$ 的逻辑结论，若 $A_1,A_2,...,A_k$ 已经得证，则可以引入 $B$ 。

构造证明法举例
构造下列推理的证明：
前提： $p\to(q\lor r), s\to \lnot q, p, s$
结论： $r$
证明： $\begin{aligned} & ① p\to (q\lor r) & \text{(前提引入)}\\ & ②p& \text{(前提引入)}\\ & ③q\lor r & \text{(①②假言推理)}\\ & ④s\to \lnot q& \text{(前提引入)}\\ & ⑤s & \text{(前提引入)}\\ & ⑥\lnot q& \text{(④⑤假言推理)}\\ & ⑦r& \text{(③⑥析取三段论，得证)}\\ \end{aligned}$

使用构造证明法时有两种常用的技巧——附加前提证明法与归谬法

2.1 附加前提证明法

当结论为蕴含式时适用该技巧，蕴含式的前件即为附加的前提，这时可以将附加的前提作为前提使用。

附加前提证明法举例
构造下列推理的证明：
前提： $p\to(q\to r),\lnot s\lor p, q$
结论： $s\to r$
证明： $\begin{aligned} & ① \lnot s\lor p & \text{(前提引入)}\\ & ② s & \text{(附加前提引入)}\\ & ③ p & \text{(①②析取三段论)}\\ & ④ p\to(q\to r) & \text{(前提引入)}\\ & ⑤ q\to r & \text{(③④假言推理)}\\ & ⑥ q & \text{(前提引入)}\\ & ⑦ r & \text{(⑤⑥假言推理，得证)}\\ \end{aligned}$

2.2 归谬法

当结论简单时(通常为一个命题变项)适用该技巧，将结论的否定式引入证明，观察证明结果的真假，若证明结果为假，则说明前提与结论的否定式不相容，推理正确。

归谬法举例
构造下列推理的证明：
前提： $p\to(\lnot(r\land s)\to\lnot q),p,\lnot s$
结论： $\lnot q$
证明： $\begin{aligned} & ① p\to(\lnot(r\land s)\to\lnot q) & \text{(前提引入)}\\ & ② p & \text{(前提引入)}\\ & ③ \lnot(r\land s)\to\lnot q & \text{(①②假言推理)}\\ & ④ \lnot(\lnot q) & \text{(结论的否定式引入)}\\ & ⑤ q & \text{(④置换)}\\ & ⑥ r\land s & \text{(③⑤拒取式)}\\ & ⑦ \lnot s & \text{(前提引入)}\\ & ⑧ s & \text{(⑥简化)}\\ & ⑨ s\land\lnot s & \text{(⑦⑧合取)}\\ & ⑩ 0 & \text{(结论为假，得证)}\\ \end{aligned}$