predicate logic

English

Noun

predicate logic (plural predicate logics)

1. (logic) The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic.
2. (logic) 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

generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic

• Dutch: predicatenlogica (nl) f
• Finnish: predikaattilogiikka
• French: logique des prédicats f, calcul des prédicats m
• German: Prädikatenlogik (de) f
• Icelandic: umsagnarökfræði f
• Polish: logika predykatów f