在自然推理系统中构造下面推理的证明：前提：p→r,q→s,p∧q,结论：r∧s

2022-02-17 08:31:06   190次         反馈错误   加入收藏   正确率 : 100%  

• 优质答案解析