-离散数学_第_4_节习题解答.pdfVIP

第四章 归结法原理 习题与解答 1. 用归结法证明： (1) p →q , p →r | p =→q ∧r (2) p →r ,q →r | p =∨q →r (3) p →q ∨r | (p =→q ) →(p →r ) (4) p ∧q →r | (p →r ) ∨(q →r ) (5) p ∨q ∨r , p →r | q =∨r p →q → p →r | p →(q →r ) (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