3 Mar 2004
CS 3243 - Chapter 8
13
Another common mistake to avoid
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!