<0x0A> </s> ▁In ▁predicate ▁logic , ▁a ▁universal ▁quant ification ▁is ▁a ▁type ▁of ▁quant ifier , ▁a ▁logical ▁constant ▁which ▁is ▁interpreted ▁as ▁" g iven ▁any " ▁or ▁" for ▁all ". ▁It ▁express es ▁that ▁a ▁propos itional ▁function ▁can ▁be ▁satisfied ▁by ▁every ▁member ▁of ▁a ▁domain ▁of ▁disc ourse . ▁In ▁other ▁words , ▁it ▁is ▁the ▁pred ic ation ▁of ▁a ▁property ▁or ▁relation ▁to ▁every ▁member ▁of ▁the ▁domain . ▁It ▁as ser ts ▁that ▁a ▁predicate ▁within ▁the ▁scope ▁of ▁a ▁universal ▁quant ifier ▁is ▁true ▁of ▁every ▁value ▁of ▁a ▁predicate ▁variable . ▁ ▁It ▁is ▁usually ▁denoted ▁by ▁the ▁turned ▁A ▁( ∀ ) ▁logical ▁operator ▁symbol , ▁which , ▁when ▁used ▁together ▁with ▁a ▁predicate ▁variable , ▁is ▁called ▁a ▁universal ▁quant ifier ▁(" ∀ x ", ▁" ∀ ( x )", ▁or ▁sometimes ▁by ▁ ▁alone ). ▁Universal ▁quant ification ▁is ▁distinct ▁from ▁exist ential ▁quant ification ▁(" there ▁exists "), ▁which ▁only ▁as ser ts ▁that ▁the ▁property ▁or ▁relation ▁holds ▁for ▁at ▁least ▁one ▁member ▁of ▁the ▁domain . ▁ ▁Quant ification ▁in ▁general ▁is ▁covered ▁in ▁the ▁article ▁on ▁quant ification ▁( logic ). ▁Symbol s ▁are ▁encoded ▁. ▁ ▁Bas ics ▁ ▁Suppose ▁it ▁is ▁given ▁that ▁ 2 · 0 ▁= ▁ 0 ▁+ ▁ 0 , ▁and ▁ 2 · 1 ▁= ▁ 1 ▁+ ▁ 1 , ▁and ▁ 2 · 2 ▁= ▁ 2 ▁+ ▁ 2 , ▁etc . ▁This ▁would ▁seem