问题描述： 离散数学推理理论里第二步可以是第一步置换吗?为什么 1个回答 分类：数学 2014-11-13 问题解答： 我来补答 这并不算难,动手写一写就有：p→(q→s) ┐p∨(┐q∨s) ┐q∨(┐p∨s) q→(p→s) 展开全文阅读
