Advertisement
Home » Vocabulary » Universal quantification
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.

WELCOME TO RICHTOPIA

FREE MEMBERSHIP

Get special new reports and never miss an update again ...

  • 1,924,364 all-time users

WHAT IS RICHTOPIA?

Advertisement
As Seen On Forbes
Advertisement