Propositional and Predicate Calculus - Carleton University
Propositional and Predicate Calculus - Carleton University
Propositional and Predicate Calculus - Carleton University
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
48/77<br />
Example<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 />
Translate the following English sentence to predicate calculus:<br />
If it does not rain on Thursday, Sara will go to the beach.<br />
¬weather(thursday,rain) → goes(sara, beach)<br />
All basketball players are tall.<br />
∀X basketball_player(X) → tall(X)<br />
Nobody likes taxes.<br />
¬∃X likes(X, taxes)