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>: Proof<br />
¬loyalto(Marcus,Caesar)<br />
person(Marcus) ruler(Caesar) tryassassinate(Marcus, Caesar)<br />
?<br />
(Rule: What?)<br />
Add an implicit sentence:<br />
9. “All men are people”<br />
or:<br />
(4)<br />
∀X: man(X) X: man(X) person(X)<br />
(7, Substitute)<br />
Artificial Intelligence: <strong>Predicate</strong> <strong>Logic</strong> Slide: 28<br />
(8)