a ;
"In mathematical logic, predicate logic is the generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic, or infinitary logic. This formal system is distinguished from other systems in that its formulae contain variables which can be quantified. Two common quantifiers are the existential ∃ (\"there exists\") and universal ∀ (\"for all\")...";
;
"predicate logic";
,
, ,
, ,
, ,
, ,
, ,
, ,
, ,
;
.