作业帮利用推理证明下式 如图利用推理证明下式 如图
来源：学生作业帮助网 编辑：作业帮 时间：2024/11/26 00:54:18
xn0o%*؎N+@v~ [RĄ8ؐ`mN+Gia3g$RRd}%%o7:Q ^;Qy5[?z?.Mib& ~C*XS+RR8Z{tGVJ&QIk/Qv)? ;/Jy
利用推理证明下式 如图利用推理证明下式 如图
利用推理证明下式 如图
利用推理证明下式 如图
利用推理证明下式 如图利用推理证明下式 如图
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，你是在读博吧？