universal quantifier


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.

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)(FxGx) or (x)(FxGx): literally, for everything, if it is an F it is a G; that is, all Fs are GsUsual symbol:

Leave a Reply

Your email address will not be published. Required fields are marked *

44 queries 1.163