10 Mar 2005
CS 3243 - FOL and Prolog
13
A common mistake to avoid (2)
nTypically,
Ù is the main
connective with $
nCommon
mistake: using Þ as the main connective with $:
n$x At(x,NUS) Þ Smart(x)
is
true if there is anyone who is not at NUS!