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.
A common mistake to avoid<br />
Typically, ⇒ is the main connective with ∀<br />
Common mistake: using ∧ as the main connective with ∀:<br />
∀x At(x,NUS) ∧ Smart(x)<br />
means “Everyone is at NUS and everyone is smart”<br />
Artificial Intelligence: <strong>Predicate</strong> <strong>Logic</strong> Slide: 16