离散数学第四版 清华大学出版社 课后答案(24)

∨(p∧q∧¬p∧r∧¬p∧¬r)

0∨0

设

F (一人全对)∧(一人对一半)∧(一人全错)则F为真命题，并且

F F1∨F2∨F3∨F4∨F5∨F6

(¬p∧q∧r)∨(p∧¬q∧¬r) 1.

于是，必有P为真，q与r为假，即矿样为铁。1.16

令p：今天是1号；q：明天是5号.

重言式。

ww

w.

所以，推理正确。

由于本题给出的推理都比较简单，因而可以直接判断推理的形式结构是否为

（1）推理的形式结构为

(p→q)∧p→q.

可以用多种方法判断上公式为重言式，其实，本推理满足假言推理定律，即

(p→q)∧p q.

（2）推理的形式结构为

(p→q)∧p→q.

20

khd

课

¬p∧q∧r 0,因而必有

后

但，矿样不可能既是铜又是锡，于是q,r中必有假命题，所以

p∧¬q∧¬r 1.

网

0.

答

案

搜索“diyifanwen.net”或“第一范文网”即可找到本站免费阅读全部范文。收藏本站方便下次阅读，第一范文网，提供最新人文社科离散数学第四版 清华大学出版社 课后答案(24)全文阅读和word下载服务。