离散数学习题 [(p→q)∧(q→r)]→(p→r),证明该式是重言式不能使用真值表,要求使用等值演

发布时间：2021-03-12 13:50:01

离散数学习题 [(p→q)∧(q→r)]→(p→r),证明该式是重言式不能使用真值表,要求使用等值演算,有每一步的演变证明过程,

网友回答

额,苏格拉底三段论.忘了怎么证了.
以上问题属网友观点，不代表本站立场，仅供参考！