Existential quantification .<variables><sentence> Someone at NUS is smart: 3x At(X,NUS)Smart(x)$ 3x P is true in a model m iff P is true with x being some possible object in the model Roughly speaking,equivalent to the disjunction of instantiations of P At(KingJohn,NUS)^Smart(KingJohn) V At(Richard,NUS)^Smart(Richard) v At(NUS,NUS)A Smart(NUS) Existential quantification • <variables> <sentence> • Someone at NUS is smart: • x At(x,NUS)  Smart(x)$ • • x P is true in a model m iff P is true with x being some possible object in the model • • Roughly speaking, equivalent to the disjunction of instantiations of P • At(KingJohn,NUS)  Smart(KingJohn)  At(Richard,NUS)  Smart(Richard)  At(NUS,NUS)  Smart(NUS) 