利用推理证明下式 如图利用推理证明下式 如图
来源：学生作业帮助网 编辑：六六作业网 时间：2025/02/06 03:45:23
利用推理证明下式如图利用推理证明下式如图利用推理证明下式如图利用推理证明下式如图利用推理证明下式如图利用推理证明下式如图1.(∀x)(P(x)∨Q(x)) P（前提引入）2
利用推理证明下式 如图利用推理证明下式 如图
利用推理证明下式 如图
利用推理证明下式 如图
利用推理证明下式 如图利用推理证明下式 如图
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，你是在读博吧？