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.
74/77<br />
Example 2<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 />
<strong>Predicate</strong> <strong>Calculus</strong><br />
Clause Form<br />
1 a ← b ∧ c 1. a∨¬b ∨¬c<br />
2 b 2. b<br />
3 c ← d ∧ e 3. c ∨¬d ∨¬e<br />
4 e∨f 4. e ∨ f<br />
5 d ∧¬f 5.1 d<br />
5.2 ¬f<br />
6 We want to prove that “a” 6. ¬a