predicate logic

/P R EH1 D AH0 K EY0 T L AA0 JH IH0 K/

noun

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

Translate “predicate logic” into another language

Choose a language below to open the translator with English selected as the source language.