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.
10/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> Semantics 2<br />
Introduction<br />
<strong>Propositional</strong> Syntax<br />
<strong>Propositional</strong> Semantic<br />
Constructing New Logical Equivalence<br />
The truth assignment of disjunction,∨, is F only when both disjuncts<br />
have truth value F; Otherwise it is T<br />
The truth assignment of implication,→, is F only when the premise or<br />
symbol before the implication is T <strong>and</strong> the truth value of the consequent<br />
or symbol after the implication is F; Otherwise it is T<br />
The truth assignment of equivalence,≡, is T only when both<br />
expressions have the same truth assignment for all possible<br />
interpretations; Otherwise it is F