a universal quantification, written
is interpreted to mean that the given formula (
φ) is satisfied
when the given variable (
x) is bound to
any element of the
universe of discourse.
Doets, Kees. From Logic to Logic Programming. MIT Press, 1994.
Copyright © 2015 Barry Watson. All rights reserved.