a ;
"for any";
"In predicate logic, a 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 words, it is the predication of a property or relation to every member...";
;
"for all";
,
, ,
, ,
, ,
, ,
, ,
, ,
, ,
;
.