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

问题描述:

离散数学习题 [(p→q)∧(q→r)]→(p→r),证明该式是重言式
不能使用真值表,要求使用等值演算,有每一步的演变证明过程,
1个回答 分类:综合 2014-11-21

问题解答:

我来补答
额,苏格拉底三段论.忘了怎么证了.
再问: 能够用命题逻辑证明吗?命题逻辑有局限性吗?
再答: 抱歉,毕业好几年了,真心不会了。。。。
 
 
展开全文阅读
剩余:2000
上一页:减术分裂
下一页:语文学习与巩固