利用推理证明下式 如图利用推理证明下式 如图
来源:学生作业帮助网 编辑:作业帮 时间:2024/05/14 12:22:00
![利用推理证明下式 如图利用推理证明下式 如图](/uploads/image/z/6762609-9-9.jpg?t=%E5%88%A9%E7%94%A8%E6%8E%A8%E7%90%86%E8%AF%81%E6%98%8E%E4%B8%8B%E5%BC%8F+%E5%A6%82%E5%9B%BE%E5%88%A9%E7%94%A8%E6%8E%A8%E7%90%86%E8%AF%81%E6%98%8E%E4%B8%8B%E5%BC%8F+%E5%A6%82%E5%9B%BE)
利用推理证明下式 如图利用推理证明下式 如图
利用推理证明下式 如图
利用推理证明下式 如图
利用推理证明下式 如图利用推理证明下式 如图
1.(∀x)(P(x)∨Q(x)) P(前提引入)
2. ┐((∀x)P(x)∨(∃x)Q(x)) 假设-否定消去
3. Q(x) 假设-否定消去
4. (∃x)Q(x) 存在引入 3
5. (∀x)P(x)∨(∃x)Q(x) 析取引入 4
6. ┐Q(x) 否定消去 5,2 | 3
7. P(x)∨Q(x) 全称消去 1
8. P(x) 假设-析取消去
9. ┐P(x) 假设-否定消去
10. P(x) 否定消去 9,8 | 9
11.Q(x) 假设-析取消去
12. ┐P(x) 假设-否定消去
13.P(x) 否定消去 11,6 | 12
14.P(x) 析取消去 7,10,13 | 8,11
15.(∀x)P(x) 全称引入 14
16.(∀x)P(x)∨(∃x)Q(x) 析取引入 15
17.(∀x)P(x)∨(∃x)Q(x) 否定消去 2
我cao,你是在读博吧?