Propositional and Predicate Calculus - Carleton University
Propositional and Predicate Calculus - Carleton University
Propositional and Predicate Calculus - Carleton University
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
72/77<br />
Example 1<br />
Outline <strong>and</strong> Introduction<br />
<strong>Propositional</strong> <strong>Calculus</strong><br />
<strong>Predicate</strong> <strong>Calculus</strong><br />
Inference Rules<br />
Unification<br />
Resolution Theorem Proving<br />
Clause Form<br />
Resolution Theorem<br />
Examples<br />
1 All dogs are animals<br />
2 Fido is a dog<br />
3 All animals will die<br />
4 We want to prove that “Fido will die”<br />
<strong>Predicate</strong> <strong>Calculus</strong><br />
∀X dog(X) → animal(X)<br />
dog(fido)<br />
∀Y animal(Y) → die(Y)<br />
Negate the conclusion<br />
¬die(fido)<br />
Clause Form<br />
¬dog(X)∨animal(X).<br />
dog(fido).<br />
¬animal(Y)∨die(Y).<br />
¬die(fido).