1、推理的相关公式

image.png
常考的推理公式
image.png

1.1 例题1 根据推理公式判断正误

根据推理公式进行分析，看左边是否可以推出右边
image.png

2、自然推理系统

根据题目给定的前提，要能推出题目给定的结论

例题1 根据命题公式进行推理

image.png

例题2 构造并证明推理

  1. 首先要根据题目的自然语言设立原子命题
  2. 根据题目分析出给定的前提和结论
  3. 利用推理公式，从前提推出结论

image.png

例题3 通过附加前提法证明推理

一般结论是蕴含的形式的题目，就有可能考到附加前提法

  1. 先将结论中，蕴含的左边部分当作是前提来使用
  2. 最后只需要只要能推理出蕴含右边的部分是有效的结论就可以了

image.png

例题4 通过归谬法进行推理证明

归谬法就是将结论的否定作为前提，然后在推理的过程中推出互相矛盾的部分，从而证明原来的结论是正确的的
image.png

题型

判断两个公式是否等值

判断等值：两边的公式能不能通过推理化简到相同的形式
image.png
判断不等值：

  1. 方法1：看两个公式的真值表是不是相同的
  2. 方法2：观察法，看左边和右边的成真赋值、成假赋值是不是互相矛盾的

image.png

用等值演算法判断公式的类型

公式的类型：

  1. 矛盾式
  2. 重言式
  3. 可满足式


image.png