An Etymological Dictionary of Astronomy and Astrophysics

The generic term for systems of → formal logic like → first-order logic and → second-order logic. Predicate logic contains → variables which can be quantified (→ quantify, → quantification).

See also: → predicate; → logic.