离散数学_谓词逻辑部分_总结

谓词逻辑

我感觉，谓词逻辑比较不好啃的两个点如下：

1. 如何把题目里的文字信息改写成谓词公式？
2. 谓词公式里的前提和结论如何区分？表示前提的每一个谓词公式怎么理解？为啥前面推出来的放到后面就能消掉一些东西？

对我自己问题的一些自我解hu答nong

• 题目里的信息，如果自己不知道要改哪些部分，那么可以遵循如下规律：
  • 题目里有人员工作种类、是不是人等等，就是这种分种类的，要用几个谓词去刻画这种种类。
  • 然后自己先想想怎么推理，把自己想怎么推理的时候用到的和要用到的所有题目里的条件，都改写成谓词公式。
  • 这样前提就全了。
• 第二个问题可以这么理解：
  谓词逻辑推理中涉及到的前提，都可以理解成永真式。通过其按照推理理论中的蕴含公式和等价公式推出来的，也一样都是永真的。而这种情况也有特例。例如，如果需要使用反证法的时候，或者明确需要说明这种推理是错误的时候，或者题目中需要证某个条件与事实什么的不符的时候。

（至少我现在是这么理解的，然后感觉也目前没出岔子hhh大家有什么好想法也可以帮忙解答解答我的第二个问题呀！！感激不尽！！）

基本知识点

来自北京科技大学的小伙伴，这个是很好的离散数学复习资料哦！

——来自一只学不会大物的小笨鸟🐦