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.
58/77<br />
Example 1<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 />
Some Definitions<br />
Inference Rules<br />
Example<br />
Determine (Justify) whether the following arguments are valid or invalid<br />
All men are mortal. Socrates is man. Therefore, Socrates is mortal<br />
Solution<br />
It is valid using Universal Instantiation <strong>and</strong> Modes Ponens IRs.<br />
∀X man(X) → mortal(X)<br />
man(socrates)<br />
man(socrates) → mortal(socrates)<br />
man(socrates)<br />
∴ mortal(socrates)