predicate logic

Noun

 * 1)  The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic.
 * 2)  First-order logic.

Hyponyms

 * first-order logic
 * second-order logic
 * many-sorted logic
 * infinitary logic

Derived terms

 * monadic predicate logic

Related terms

 * predicate calculus

Translations

 * Dutch:
 * Finnish: predikaattilogiikka
 * French: logique des prédicats, calcul des prédicats
 * German:
 * Icelandic: umsagnarökfræði
 * Polish: logika predykatów