数理逻辑1 -- 命题演算5

最新推荐文章于 2023-12-28 08:48:37 发布

SecPractitioner

最新推荐文章于 2023-12-28 08:48:37 发布

阅读量763

点赞数

文章标签： ai 数学数学之美

本文链接：https://blog.csdn.net/vermouthsister/article/details/75669626

版权

本文详细介绍了数理逻辑中的命题演算，包括定理1.15、1.16、1.17、1.18和1.19的证明过程，揭示了¬¬B与B之间的关系，以及(¬D⇒¬B)与(B⇒D)的逻辑转换。通过演绎定理的应用，展示了命题间的相互推导，加深了对命题演算的理解。

摘要由CSDN通过智能技术生成

上一节介绍了演绎定理，接下来看看用它能玩出什么新花样。

定理1.15： $\vdash \neg \neg B \Rightarrow B$
注：有点双重否定即肯定的意思。
证明：利用演绎定理，证明 $\neg \neg B \vdash B$ 即可。
(1) $\neg \neg B$ ，假设
(2) $\neg \neg B \Rightarrow (\neg B \Rightarrow \neg \neg B)$ , A1
(3) $\neg B \Rightarrow \neg \neg B$ , (1)(2)和MP
(4) $(\neg B \Rightarrow \neg \neg B) \Rightarrow \big( (\neg B \Rightarrow \neg B) \Rightarrow B \big)$ ，A3
(5) $(\neg B \Rightarrow \neg B) \Rightarrow B$ , (3)(4)和MP
(6) $\neg B \Rightarrow \neg B$ , 定理1.7
(7) $B$ ，由(5)(6)和MP
证毕