25 February 2004
CS 3243 - Logical Agents (part 2)
12
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