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.
33/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 />
<strong>Predicate</strong>s <strong>and</strong> 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 />
PREDICATES <strong>and</strong> ATOMIC SENTENCES<br />
<strong>Predicate</strong> symbols are symbols beginning with a lowercase letter<br />
<strong>Predicate</strong>s have an associated positive integer referred to as the arity or<br />
“argument number” for the predicate <strong>Predicate</strong>s with the same name but<br />
different arities are considered distinct.<br />
An atomic sentence is a predicate constant of arity n followed by n terms, t 1 ,<br />
t 2 , ..., t n, enclosed in parentheses <strong>and</strong> separated by commas<br />
The truth values, true <strong>and</strong> false, are also atomic sentences