3 Mar 2004
CS 3243 - Chapter 8
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”