Universally Quantified Sentences
(forall <individual variable> <sentence>)
E.g, (forall ?b (not (On ?b ?b)))
- TIV((forall ?var sent)) =
- true when TIV’(sent) = true
for all versions V’ of V with respect to variable ?var
- false otherwise
(forall (<individual variable>*) <sentence>)
E.g., (forall (?b1 ?b2) (=> (On ?b1 ?b2) (Above ?b1 ?b2)))
- TIV ((forall (?var1 … ?varn) sent)) =
- true when TIV’(sent) = true
for all versions V’ of V with respect to ?var1 … ?varn
- false otherwise