(1)(pVq)∧ ¬(p∧q) → ¬( p↔q)(2)q →(p→r) →(pΛq)→r
时间: 2023-10-20 19:07:50 浏览: 226
主析取范式
首先证明(1):
(pVq)∧ ¬(p∧q) → ¬(p↔q)
推导过程如下:
1. 假设 (pVq)∧ ¬(p∧q) 成立
2. 由 ¬(p∧q) 可得 ¬p V ¬q
3. 由 (pVq)∧ ¬(p∧q) 可得 pVq 成立
4. 若 p 成立,则 q 成立
5. 若 q 成立,则 p 成立
6. 综上,得到 p↔q 成立
7. 由 2 和 6 可得 ¬(p↔q) 不成立
8. 由 1 和 7 可得 (pVq)∧ ¬(p∧q) 不成立
因此,(pVq)∧ ¬(p∧q) → ¬(p↔q) 成立。
接下来证明(2):
q →(p→r) →(pΛq)→r
推导过程如下:
1. 假设 q 成立
2. 假设 p→r 成立
3. 假设 pΛq 成立
4. 由 pΛq 可得 p 成立
5. 由 2 和 4 可得 r 成立
6. 由 3 可得 q 成立
7. 综上,得到 (pΛq)→r 成立
8. 由 1 和 7 可得 q →(p→r) →(pΛq)→r 成立
因此,(pVq)∧ ¬(p∧q) → ¬(p↔q) 且 q →(p→r) →(pΛq)→r 成立。
阅读全文