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.
Important Notes<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 />
<strong>Predicate</strong> calculus may represent<br />
Constants:<br />
Specifying certain object/property in the world<br />
Must start with a lowercase letter<br />
Examples: blue, tree <strong>and</strong> tall.<br />
“true” <strong>and</strong> “false” are reserved truth symbols<br />
Variables:<br />
Specifying general class of objects/properties in the world<br />
Must start with an uppercase letter<br />
Kate <strong>and</strong> George are legal variables.<br />
bill <strong>and</strong> george are not legal variables.<br />
Functions:<br />
Maps one or more elements in the domain<br />
To a unique elements in the range<br />
Must start with a lowercase letter.<br />
27/77