3 Mar 2004
CS 3243 - Chapter 8
11
A common mistake to avoid
n
Typically,
Þ
is the main connective with
"
n
Common mistake: using
Ù
as the main
connective with
"
:
¡
"
x At(x,NUS)
Ù
Smart(x)
¡
means “Everyone is at NUS and everyone is
smart”