propositionnelle im Oxford-Hachette French Dictionary

Übersetzungen für propositionnelle im Französisch»Englisch-Wörterbuch

propositionn|el (propositionnelle) [pʀɔpozisjɔnɛl] ADJ

propositionnel (propositionnelle)

propositional

Übersetzungen für propositionnelle im Englisch»Französisch-Wörterbuch

Weitere Übersetzungen und typische Wortverbindungen mit dem Suchbegriff

propositional MATH, COMPUT

propositionnel/-elle

Einsprachige Beispiele (nicht von der PONS Redaktion geprüft)

Französisch

Dans leur article, ils expriment le problème, après une réduction astucieuse, par des formules de logique propositionnelle, puis utilisent un logiciel de test de satisfiabilité.

fr.wikipedia.org

IV), des couleurs dans une même gamme, celle-ci qui révèle une syntaxe propositionnelle inhérente aux couleurs même (chap.

fr.wikipedia.org

Il a des applications en logique, par exemple, pour démontrer le théorème de compacité de la logique propositionnelle.

fr.wikipedia.org

Plus généralement une théorie propositionnelle est satisfaisable s'il existe une valuation qui satisfait chacune des formules de cette théorie.

fr.wikipedia.org

On démontre avec une formule sous forme prénexe où la formule propositionnelle est en forme normale conjonctive.

fr.wikipedia.org

L'algorithme prend en entrée une formule de la logique propositionnelle en forme normale conjonctive.

fr.wikipedia.org

Toute formule propositionnelle peut être réduite à sa forme normale conjonctive ou disjonctive.

fr.wikipedia.org

Appliqué à la logique propositionnelle, l’exercice conduit à l'élaboration d'un langage sémantiquement non monotone et syntaxiquement monotone.

fr.wikipedia.org