Thing

Universal quantification

In predicate logic, an 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 terms, 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.

About the author

RICHTOPIA

RICHTOPIA

Information to enrich your life.

Richtopia uses cookies to give you the best online experience. By continuing to use our site, you accept our use of cookies, revised Privacy Policy and Terms of Use.