例5.11证明子句集{P∨一Q,一P,Q}是不 可满足的。 证 (1)P∨一Q (2)-P (3)Q (4)-Q 由(1),(2) (5)□ 由(3),(4)潼例5.11 证明子句集{ P∨﹁Q,﹁P,Q }是不 可满足的。 证 (1)P∨﹁Q (2)﹁P (3)Q (4)﹁Q 由(1),(2) (5)□ 由(3),(4)