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.
6/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>Propositional</strong> Syntax 1<br />
Introduction<br />
<strong>Propositional</strong> Syntax<br />
<strong>Propositional</strong> Semantic<br />
Constructing New Logical Equivalence<br />
DEFINITION<br />
PROPOSITIONAL CALCULUS SENTENCES<br />
Every propositional symbol <strong>and</strong> truth symbol is a sentence<br />
For example: true, P, Q, <strong>and</strong> R are sentences<br />
The negation of a sentence is a sentence<br />
For example: ¬P <strong>and</strong> ¬false are sentences<br />
The conjunction, or <strong>and</strong>, of two sentences is a sentence<br />
For example: P ∧¬P is a sentence