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.
40/77<br />
Examples<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>Predicate</strong>s <strong>and</strong> Sentences: Syntax<br />
General Important Notes<br />
Atomic Sentences<br />
<strong>Predicate</strong> <strong>Calculus</strong>: Semantics<br />
<strong>Predicate</strong> Equivalences<br />
Some Examples<br />
Mother relationship: ∀X∀Y parent(X,Y)∧ female(X)<br />
Son relationship: ∀X∀Y parent(X,Y)∧ male(Y)<br />
Sibling relationship: ∀X∀Y∀Z parent(X,Y)∧ parent(X,Z)<br />
Brother relationship: ∀X∀Y∀Z parent(X,Y)∧ parent(X,Z)∧ male(Y)