10 Mar 2005
CS 3243 - FOL and Prolog
11
A common mistake to avoid
nTypically,
Þ is the main connective with "
nCommon
mistake: using Ù as the main connective with ":
"x At(x,NUS) Ù Smart(x)
means “Everyone is at NUS and
everyone is smart”