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.
Syntax of FOL: Basic elements<br />
Constants:<br />
KingJohn, 2, NUS,...<br />
<strong>Predicate</strong>s :<br />
Brother, >,...<br />
Functions:<br />
Sqrt, LeftLegOf,...<br />
Variables:<br />
x, y, a, b,...<br />
Connectives:<br />
¬, ⇒, ∧, ∨, ⇔<br />
Equality:<br />
=<br />
Quantifiers:<br />
Universal Quantifier: ∀<br />
Existential Quantifier: ∃<br />
Artificial Intelligence: <strong>Predicate</strong> <strong>Logic</strong> Slide: 11
![[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