Universal-quantifier


noun, Logic.
1.
a quantifier indicating that the sentential function within its scope is true for all values of any variable included in the quantifier.
universal quantifier
noun
1.
(logic) a formal device indicating that the open sentence that follows is true of every member of the relevant universe of interpretation, as (∀x)(Fx→Gx) or (x)(Fx→Gx): literally, for everything, if it is an F it is a G; that is, all Fs are Gs Usual symbol ∀

Read Also:

  • Universal resource identifier

    World-Wide Web (URI, originally “UDI” in some WWW documents) The generic set of all names and addresses which are short strings which refer to objects (typically on the Internet). The most common kinds of URI are URLs and relative URLs. URIs are defined in RFC 1630. W3 specification (http://w3.org/hypertext/WWW/Addressing/URL/URI_Overview.html). (1997-07-16)

  • Universal resource locator

    Uniform Resource Locator

  • Universal soul

    noun 1. (Hinduism) Brahman in its aspect as the sacred syllable Om, the eternal and spiritual principle that permeates the universe

  • Universal-stage

    noun 1. a small theodolite mounted on the stage of a polarizing microscope and used in the petrographic analysis of rocks.

  • Universal-suffrage

    noun 1. suffrage for all persons over a certain age, usually 18 or 21, who in other respects satisfy the requirements established by law.


Disclaimer: Universal-quantifier definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.