Propositional and Predicate Calculus - Carleton University
Propositional and Predicate Calculus - Carleton University
Propositional and Predicate Calculus - Carleton University
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
12/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 />
Introduction<br />
<strong>Propositional</strong> Syntax<br />
<strong>Propositional</strong> Semantic<br />
Constructing New Logical Equivalence<br />
<strong>Propositional</strong> Semantics: Conjunction<br />
Conjunction: The “<strong>and</strong>” symbol “ ∧ ”<br />
P : I am going to town<br />
Q : It is going to rain<br />
P ∧ Q : I am going to town <strong>and</strong> it is going to rain.<br />
P Q P ∧ Q<br />
T T T<br />
T F F<br />
F T F<br />
F F F