命题和一阶逻辑推理（内容+适用条件+证明（见文末参考文献））

最新推荐文章于 2023-07-16 16:31:56 发布

rd142857

最新推荐文章于 2023-07-16 16:31:56 发布

阅读量1.1k

点赞数 1

分类专栏：离散数学文章标签：逻辑推理

本文链接：https://blog.csdn.net/rd142857/article/details/120797158

版权

6 篇文章 1 订阅

订阅专栏

置换规则
$A=B\Rightarrow (A\Rightarrow B)$
假言推理规则
$p,p\rightarrow q\Rightarrow q$
附加规则
$p\Rightarrow p\vee q$
化简规则
$p\wedge q\Rightarrow p$
拒取式规则
$\neg q,p\rightarrow q\Rightarrow \neg p$

利用 $2$ 及逆否命题可证
假言三段论规则
$p\rightarrow q, q\rightarrow r\Rightarrow p\rightarrow r$
析取三段论规则
$\neg q,p\vee q\Rightarrow p$
构造性二难推理
$p\vee s,p\rightarrow q,s\rightarrow t\Rightarrow q\vee t$
破坏性二难推理
$\neg q\vee \neg t,p\rightarrow q,s\rightarrow t\Rightarrow\neg p\vee \neg s$

语义理解可参考这篇博客
合取引入规则
$p,q\Rightarrow p\wedge q$

$\forall xA(x)\Rightarrow A(y)$

$\exist xA(x)\Rightarrow A(e)$

$A(c)\Rightarrow \exist xA(x)$

关注