3 Mar 2004
CS 3243 - Chapter 8
10
Universal quantification
n"<variables> <sentence>
n
nEveryone at NUS is smart:
n"x At(x,NUS) Þ Smart(x)
n
n"x P is true in a model m iff P is true with x being each possible object in the model
n
nRoughly speaking, equivalent to the conjunction of instantiations of P
n At(KingJohn,NUS) Þ Smart(KingJohn)
n Ù At(Richard,NUS) Þ  Smart(Richard)
n Ù At(NUS,NUS) Þ Smart(NUS)
n Ù ...