Predicate Logic
Predicate Logic
Predicate Logic
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>Predicate</strong> <strong>Logic</strong>: Examples<br />
Ability of reasoning<br />
Sentence in natural language<br />
Socrates is a man<br />
All men are mortal<br />
Sentence in <strong>Predicate</strong> <strong>Logic</strong><br />
man(socrates)<br />
∀X (man(X) mortal(X))<br />
Conclusion<br />
Socrates is mortal<br />
Conclusion<br />
mortal(socrates)<br />
Artificial Intelligence: <strong>Predicate</strong> <strong>Logic</strong> Slide: 9