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

如题所述

举报该文章

第1个回答 2012-09-29

p=r即可，应该是最简单的解法

若要增加离散变量的话，还可以更具体

相似回答

大家正在搜

在自然推理系统P中,构造下面推理证明：前提： (p∧q)→r...

在自然推理系统P中构造下面推理的证明：如果小王是理科生,则...

1．证明下面推理：前提：p→┐q, ┐r∨q, r∧┐s...

构造推理证明: 前提：(p∧q)→r,非r∨s,非s,p 结...

离散数学构造以下推理的证明前提：￢P∨Q，￢(Q∨R)，...

求大神做离散数学，构造下面推理的证明.写详细发图