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.
30/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 />
The Syntax of Atomic Sentences<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 />
DEFINITION<br />
SYMBOLS <strong>and</strong> TERMS<br />
<strong>Predicate</strong> calculus symbols include:<br />
1. Truth Symbols true <strong>and</strong> false (these are reserved symbols)<br />
2. Constant Symbols are symbol expressions beginning with an lowercase<br />
character<br />
3. Variable Symbols are symbol expressions beginning with an uppercase<br />
character<br />
4. Function Symbols are symbol expressions having the first character<br />
lowercase. Functions have an attached arity indicating the number of<br />
elements of the domain mapped onto each element of the range