Translation of "second-order logic" into Belarusian

логіка другога парадку is the translation of "second-order logic" into Belarusian.

second-order logic noun

A formal system which extends first-order logic by allowing quantification over relations between members of the universe.

+ Add

English-Belarusian dictionary

  • логіка другога парадку

    extension of first-order logic, which itself is an extension of propositional logic

  • Show algorithmically generated translations

Automatic translations of "second-order logic" into Belarusian

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

Translations of "second-order logic" into Belarusian in sentences, translation memory