© 2000 Todd Neller.
A.I.M.A. t
ext
figures
© 1995 Prentice Hall.
Used by
permission.
Universal Quantifier
universal (
"
)
- For all
"
x
f
-
For all x,
f
is true.
"Every block is a red block".
"If x>y and y>z then x>z."
