问题描述： 用推理规则证明】前提:p∨q,p->s,q->r 结论:s∨r构造性二难的证明 1个回答 分类：数学 2014-11-06 问题解答： 我来补答 用反证法也就是归谬法.1 ┐(s∨r) 否定前提引入2 ┐s∧┐r 1置换3 ┐s 2化简4 p→s 前提引入5 ┐p 34拒取式6 ┐r 2化简7 q→r 前提引入8 ┐q 67拒取式9 ┐p∧┐q 58合取10 ┐(p∨q) 9置换11 p∨q 前提引入12 (┐(p∨q))∧(p∨q) 11,12合取因为 (┐(p∨q))∧(p∨q)0,所以原推理是正确的.－－－－推理规则术语参考自《离散数学》耿素云 屈婉玲 展开全文阅读
