Universal quantification V<variables><sentence> Everyone at NUS is smart: Vx At(X,NUS)Smart(x) Vx P is true in a model m iff P is true with x being each possible object in the model Roughly speaking,equivalent to the conjunction of instantiations of P At(KingJohn,NUS)Smart(KingJohn) At(Richard,NUS)=Smart(Richard) Universal quantification • <variables> <sentence> • Everyone 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 each possible object in the model • • Roughly speaking, equivalent to the conjunction of instantiations of P • At(KingJohn,NUS)  Smart(KingJohn)  At(Richard,NUS)  Smart(Richard)  At(NUS,NUS)  Smart(NUS)