predicate logic

English

English Wikipedia has an article on:

predicate logic

Wikipedia

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