数理逻辑蕴含_【离散数学 | 数理逻辑之命题逻辑】命题逻辑的推理理论

“

内容整理自：1、傅彦版《离散数学及其应用》；2、电子科技大学王丽杰老师的授课：https://www.bilibili.com/video/av2658466

“

仅为学习所用，若侵权，请联系删除

---

引入

“

命题逻辑的研究体现为如何由一组前提推出一些结论

• 所谓推理，是指从一组前提合乎逻辑地推出结论的思维过程.

• 在这里需要注意，推理的有效性和结论的真实性是不同的.所谓推理有效，是指它的结论是它的前提合乎逻辑的结果，如果它的前提都为真，那么所得的结论也必然为真，而并不要求前提或结论一定为真或为假，前提的实际真假不作为确定推理有效性的依据，如果推理是有效的话，那么不可能出现它的前提都为真时，而结论却为假的情况.

---

定义

推理的基本概念

• 设G₁，G₂，...，G_n，H是公式，称H是G₁，G₂，...，G_n，H的逻辑结果当且仅当对任意解释I，如果I使得为真，则I也会使H为真.记作G₁，G₂，...，G_n  H," "称为蕴含关系。此时称G₁，G₂࿰