Translation of "second-order logic" into French

logique du second ordre is the translation of "second-order logic" into French.

second-order logic noun

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

+ Add

English-French dictionary

  • logique du second ordre

    étend celle du premier ordre par l'ajout de variables relationnelles, qui peuvent donc être quantifiées

  • Show algorithmically generated translations

Automatic translations of "second-order logic" into French

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate

Phrases similar to "second-order logic" with translations into French

Add

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