问题描述： 构造下面推理的证明前提：非(p合取非q),非q析取r,非r结论：非p 1个回答 分类：数学 2014-11-23 问题解答： 我来补答 前提:┐(p∧(┐q)) ,┐q∨r ,┐r┐q∨r ,┐r=>┐q ----1┐(p∧(┐q))=>┐p∧q -----2由1,2得┐q &┐p∧q => ┐p结论为┐p 展开全文阅读
