已知定理P→Q,Q→R⺊P→R、⺊Q→Q、⺊(P→Q)→(﹁Q→﹁P),用公理方法证明﹁((Q→R)→R)⺊﹁Q
时间: 2024-06-07 15:11:43 浏览: 39
我们可以采用反证法来证明。
先假设﹁((Q→R)→R)成立,即(Q→R)→R成立。因此,我们可以得出(Q→R)成立,以及R成立。接下来,我们需要证明Q不成立,即﹁Q成立。
根据定理P→Q,我们可以推出﹁Q→﹁P。因此,我们可以得出﹁P成立。
根据定理Q→R,我们可以得出Q→R成立。而我们已经知道了Q成立,因此R也成立。
根据定理P→R,我们可以得出P成立。然而,这与之前我们得到的﹁P成立相矛盾。
因此,假设﹁((Q→R)→R)成立的假设是错误的,即﹁((Q→R)→R)⺊﹁Q成立。
相关问题
已知定理P→Q,Q→R⺊P→R、⺊Q→Q、⺊(P→Q)→(﹁Q→﹁P),如何用公理方法证明﹁((Q→R)→R)⺊﹁Q
首先,我们可以使用演绎推理的方式,从前提出发得到结论:
1. P→Q(前提)
2. Q→R(前提)
3. P→R(前提)
4. Q→Q(前提)
5. (P→Q)→(﹁Q→﹁P)(前提)
6. Q→R(重复前提)
7. P→R(使用1和6的假设合成)
8. P→Q(重复前提)
9. ﹁Q→﹁P(使用5和8的假设模态归结)
10. ﹁Q→﹁R(使用2和9的假设变换中间项)
11. (Q→R)→R(使用演绎推理引入前提)
12. ﹁((Q→R)→R)(使用11和矛盾法)
因此,我们证明了﹁((Q→R)→R)是成立的。接下来,我们需要证明﹁((Q→R)→R)⺊﹁Q。
假设﹁((Q→R)→R)成立,即(Q→R)→R不成立,那么(Q→R)必须为真而R为假。这意味着Q也必须为假(根据2的前提),因此﹁Q为真。因此,我们证明了﹁((Q→R)→R)⺊﹁Q。
综上所述,我们使用演绎推理和模态归结,证明了﹁((Q→R)→R)⺊﹁Q。
已知传递律和定理⺊(A→B)→(﹁B→﹁A),请用公理方法证明﹁((Q→R)→R)⺊﹁Q
首先,我们要使用演绎推理的方式,从已知条件出发,逐步推导出我们想要证明的结论。
1. 假设((Q → R) → R)为真,则根据传递律和定理⺊可以推出(﹁R → ﹁(Q → R))为真。
2. 我们再根据条件(﹁R → ﹁(Q → R)),得出(﹁R → ﹁Q)为真。
3. 因此,我们可以得出 (﹁R → ﹁Q) 为真,即 Q → R 为假。
4. 根据条件(Q → R) → R,我们可以得出 R 为真。
5. 但是,这与假设((Q → R) → R)为真矛盾,因此,假设不成立。
6. 因此,我们可以得出结论:﹁((Q → R) → R) → ﹁Q,即﹁((Q → R) → R) 蕴含 ﹁Q。
因此,我们证明了﹁((Q → R) → R) 蕴含 ﹁Q,也就是原命题。