Dictionary

predicate logic en · NOUN

Meanings

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.

Forms

Deriveds

monadic predicate logic

Hyponyms

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

Relateds

predicate calculus

Translations (7)

is umsagnarökfræði (generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic) · de Prädikatenlogik (generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic) · fr calcul des prédicats (generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic) · pl logika predykatów (generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic) · fr logique des prédicats (generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic) · fi predikaattilogiikka (generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic) · nl predicatenlogica (generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic)