Predicate Logic
Predicate Logic
Predicate Logic
SHOW LESS
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>Predicate</strong> <strong>Logic</strong>: Examples<br />
Using predicate logic<br />
Sentence in natural language<br />
Socrates is a man<br />
Plato is a man<br />
All men are mortal<br />
Sentence in <strong>Predicate</strong> <strong>Logic</strong><br />
man(socrates)<br />
man(plato)<br />
∀X (man(X) mortal(X))<br />
Artificial Intelligence: <strong>Predicate</strong> <strong>Logic</strong> Slide: 8
![[8] 2002 e-business-strategies-for-virtual-organizations](https://img.yumpu.com/8167654/1/190x257/8-2002-e-business-strategies-for-virtual-organizations.jpg?quality=85)
Change language