离散数学习题 [(p→q)∧(q→r)]→(p→r),证明该式是重言式

离散数学习题 [(p→q)∧(q→r)]→(p→r),证明该式是重言式
不能使用真值表,要求使用等值演算,有每一步的演变证明过程,
臭潇洒 1年前 已收到1个回答 举报

美人如诗 幼苗

共回答了20个问题采纳率:90% 举报

额,苏格拉底三段论.忘了怎么证了.

1年前 追问

9

臭潇洒 举报

能够用命题逻辑证明吗?命题逻辑有局限性吗?

举报 美人如诗

抱歉,毕业好几年了,真心不会了。。。。
可能相似的问题
Copyright © 2024 YULUCN.COM - 雨露学习互助 - 17 q. 1.974 s. - webmaster@yulucn.com