Translation of "first-order logic" into French

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

first-order logic noun grammar

(logic) A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse. [..]

+ Add

English-French dictionary

  • logique du premier ordre

    méthode formelle, utilise des variables sur des objets non logiques et permet l'usage de phrases qui contiennent des variables; seules les variables sont quantifiées

  • Show algorithmically generated translations

Automatic translations of "first-order logic" into French

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate

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

Add

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