离散数学_第_4_章习题解答讲解 .pdf

第四章归结法原理习题与解答

1.用归结法证明：

(1)

(2)

(3)

(4)

(5)

(6)

解

(1)首先将p→q,p→r，¬(p→q∧r)化为合取范式。p→q⇔¬p∨q

p→r⇔¬p∨r

¬(p→q∧r)⇔¬(¬p∨(q∧r))⇔p∧(¬q∨¬r)给出子句集{¬p∨q,¬p∨r,p,¬q∨¬r}的反

驳如下。⑴¬p∨q

⑵¬p∨r

⑶p

⑷¬q∨¬r

⑸q由⑴和⑶

由⑵和⑶⑹r

⑺¬r由⑷和⑸

⑻□由⑹和⑺

因此，p→q,p→r|=p→q∧r

(2)首先将p→r，q→r，¬(p∨q→r)化为合取范式。p→r⇔¬p∨r

q→r⇔¬q∨r

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

给出子句集{¬p∨r,¬q∨r,p∨q,¬r}的反驳如下。⑴¬p∨r

⑵¬q∨r

⑶p∨q

⑷¬r

⑸q∨r由⑴和⑶p→q,p→r|=p→q∧rp→r,q→r|=p∨q→rp→q∨r|=(p→q)→(p→r)

p∧q→r|=(p→r)∨(q→r)p∨q∨r,p→r|=q∨r(p→q)→(p→r)|=p→(q→r)

由⑵和⑸⑹r

⑺□由⑷和⑹

因此，p→r，q→r|=p∨q→r

(3)首先将p→q∨r,¬((p→q)∨(p→r))化为合取范式。p→q∨r⇔¬p∨q∨r

¬((p→q)∨(p→r))⇔¬((¬p∨q)∨(¬p∨r))⇔p∧¬q∧¬r给出子句集{¬p∨q∨r,p,¬q,¬r}

的反驳如下。⑴¬p∨q∨r

⑵p

⑶¬q

⑷¬r

⑸q∨r由⑴和⑵⑹r由⑶和⑸⑺□由⑷和⑹因此，p→q∨r|=(p→q)∨(p→r)

(4)首先将p∧q→r,¬((p→r)∨(q→r))化为合取范式。

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

给出子句集{¬p∨¬q∨r,p,q¬r}的反驳如下。⑴¬p∨¬q∨r

⑵p

⑶q

⑷¬r

⑸¬q∨r由⑴和⑵⑹r由⑶和⑸⑺□由⑷和⑹因此，

p∧q→r|=(p→r)∨(q→r)

(5)首先将p→r，¬(q∨r)化为合取范式。

p→r⇔¬p∨r

¬(q∨r)⇔¬q∧¬r

给出子句集{p∨q∨r,¬p∨r,¬q,¬r}的反驳如下。⑴p∨q∨r

⑵¬p∨r

⑶¬q

⑷¬r

⑸q∨r由⑴和⑵⑹r由⑶和⑸⑺□由⑷和⑹因此，p∨q∨r，p→r|=q∨r

(6)首先将(p→q)→(p→r)，¬(p→(q→r))化为合取范式。

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

¬(p→(q→r))⇔p∧q∧¬r

给出子句集{¬p∨¬q∨r,p,q,¬r}的反驳如下：⑴¬p∨¬q∨r

⑵p

⑶q

⑷¬r

⑸¬q∨r由⑴和⑵⑹r由⑶和⑸⑺□由⑷和⑹因此，

(p→q)→(p→r)|=p→(q→r)。

2.用归结法判断以下结论是否成立：

(1)p∨q→r|=(p→r)∨(q→r)

(2)(p→q)∨(p→r)∨(p→s)|=p→q∨r∨s2

(3)(p→q)→(q→r)，r→p|=q→p

(4)p∧q→r,p∧q→¬r|=¬p∧¬q∧¬r

解

(1)首先将p∨q→r,¬((p→r)∨(q→r))化为合取范式。

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

¬((p→r)∨(q→r))⇔¬((¬p∨r)∨(¬q∨r))⇔p∧q∧¬r给出子句集{¬p∨r,¬q∨r,p,q,¬r}

的反驳如下。⑴¬p∨r

⑵¬q∨r

⑶p

⑷q

⑸¬r

⑹r由⑴和⑶

⑺□由⑹和⑸

因此，p∨q→r|=(p→r)∨(q→r)

(2)首先将(p→q)∨(p→r)∨(p→s),¬(p→q∨r∨s)化为合取范式。

(p→q)∨(p→r)∨(p→s)(¬p∨q)∨(¬p∨r)∨(¬p∨s)⇔¬p∨q∨r∨s¬(p→q∨r∨s)⇔¬(

¬p∨q∨r∨s)⇔p∧¬q∧¬r∧¬s给出子句集{¬p∨q∨r∨s,p,¬q,¬r,¬s}的反驳如下。

⑴¬p∨q∨r∨s

⑵p

⑶¬q

⑷¬r

⑸¬s

⑹q∨r∨s由⑴和⑵

⑺r∨s由⑶和⑹

⑻s由⑷和⑺

⑼□由⑸和⑻

因此，(p→q)∨(p→r)∨(p→s)|=p→q∨r∨s