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.
19/77<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 />
Introduction<br />
<strong>Propositional</strong> Syntax<br />
<strong>Propositional</strong> Semantic<br />
Constructing New Logical Equivalence<br />
Constructing New Logical Equivalence<br />
Proof: ¬(p∨(¬p∧ q)) ≡ ¬p∧¬q<br />
¬p ∧¬(¬p ∧ q) Using De Morgan’s Law<br />
¬p ∧(p ∨¬q) Using De Morgan’s Law<br />
<strong>and</strong> Double Negation<br />
(¬p ∧ p)∨(¬p ∧¬q) Using Distribution Law<br />
F ∨(¬p∧¬q) Using Negation Law<br />
¬p ∧¬q Using Identity Law