← Back to search

Meaning of predicate logic | Babel Free

Noun CEFR B2

Definitions

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

Equivalents

Deutsch Prädikatenlogik

Suomi predikaattilogiikka

Français calcul des prédicats logique des prédicats

Nederlands predicatenlogica

CEFR level

B2

Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See also

predicate noun Predicated Predicates predicatid Predicating Predication