Translation of "predicate logic" into Korean

술어 논리 is the translation of "predicate logic" into Korean.

predicate logic noun grammar

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

+ Add

English-Korean dictionary

  • 술어 논리

    subfield of logic

  • Show algorithmically generated translations

Automatic translations of "predicate logic" into Korean

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

Translations of "predicate logic" into Korean in sentences, translation memory