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.
4/77<br />
Introduction<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>Propositional</strong> Syntax<br />
<strong>Propositional</strong> Semantic<br />
Constructing New Logical Equivalence<br />
<strong>Propositional</strong> calculus uses Words, Phrases <strong>and</strong> Sentences to<br />
represent <strong>and</strong> reason about properties <strong>and</strong> relationships in the world<br />
Every Proposition has a truth value<br />
true (1)<br />
false (0)<br />
Examples of <strong>Propositional</strong> calculus:<br />
The moon is made of green cheese<br />
Open the door −→ X; Imperative.<br />
“What time is it” −→ X; Interrogative<br />
<strong>Propositional</strong> calculus consists of<br />
Syntax {Symbols <strong>and</strong> Sentences}<br />
Semantics