17 Mar 2005
CS 3243 - Logical Inference
15
The power of false
nGiven: (P) Ù (ØP)
nProve: Z
n
n
n
nCan we prove ØZ using the givens above?
Ø P Given
P Given
Ø Z Given
  Unsatisfiable