问题描述:
构造下面推理的证明
前提:p→(q→s),q,p∨┐r.结论:r→s
实在是看不懂书上写的了.
前提:p→(q→s),q,p∨┐r.结论:r→s
实在是看不懂书上写的了.
问题解答:
我来补答展开全文阅读
补充回答:
3、推理证明题,在自然推理系统P中证明(本题10分)前提:P→r pVq 结论:非r→p
网友(127.255.255.*)
2019-01-10