Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
universal quantification
English Wikipedia - The Free Encyclopedia
Download this dictionary
Universal quantification
In
predicate logic
, a
universal quantification
is a type of
quantifier
, a
logical constant
which is
interpreted
as "given any" or "for all". It expresses that a
propositional function
can be
satisfied
by every
member
of a
domain of discourse
. In other words, it is the
predication
of a
property
or
relation
to every member of the domain. It
asserts
that a predicate within the
scope
of a universal quantifier is true of every
value
of a
predicate variable
.
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License