离散数学推理理论里第二步可以是第一步置换吗?为什么

Ammyoyo 1年前 已收到1个回答 举报

epw4 幼苗

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

这并不算难,动手写一写就有:
p→(q→s) ┐p∨(┐q∨s) ┐q∨(┐p∨s) q→(p→s)

1年前

7
可能相似的问题
Copyright © 2024 YULUCN.COM - 雨露学习互助 - 16 q. 0.021 s. - webmaster@yulucn.com