Traduction de voix, fonctionnalités offline, synonymes, conjugaison, jeux éducatifs
Publicité
Inscrivez-vous gratuitement : plus de résultats et de fonctionnalités
propositional variable
Traduction de "propositional variable" en français
variable propositionnelle
A propositional variable can stand on its own as an atomic formula.
Une variable propositionnelle peut se 'tenir debout', comme une formule atomique.
Every propositional variable is a formula.
Chaque variable propositionnelle est une formule.
The interpretation of a propositional variable is one of the two truth values true and false.
L'interprétation d'une variable propositionnelle est l'une des deux valeurs de vérité vrai et faux.
For example, in a propositional formula, each propositional variable may be interpreted as a concrete proposition, so that the overall formula expresses a relationship between these propositions.
Par exemple, dans une formule propositionnelle, chaque variable propositionnelle peut être interprétée comme une proposition concrète, de sorte que la formule globale exprime une relation entre ces propositions.
Truth-functional propositional logic and first-order predicate logic are semantically complete, but not syntactically complete (for example, the propositional logic statement consisting of a single propositional variable A is not a theorem, and neither is its negation).
La logique propositionnelle et la logique des prédicats du premier ordre sont sémantiquement complètes, mais pas syntaxiquement complète (par exemple, la déclaration de la logique propositionnelle composée d'une variable propositionnelle simple A n'est pas un théorème, et ni est sa négation).
The formulas are inductively defined as follows: Each propositional variable is, on its own, a formula.
Les formules sont inductivement définies comme suit: Chaque variable propositionnelle est, en soi, une formule.
The not () operator can only be used as part of a literal, which means that it can only precede a propositional variable.
L'opérateur non ne peut être utilisé que dans un littéral, c'est-à-dire qu'il ne peut que précéder une variable.
We first extend the language of HT logic by two kinds of atomic programs, allowing to update the truth value of a propositional variable here or there, if possible.
Pour ce faire, nous étendons le langage de la logique HT par deux ensembles de programmes atomiques qui permettent de mettre à jour, si possible, les valeurs de vérité des variables propositionnelles.
In mathematical logic, a propositional variable (also called a sentential variable or sentential letter) is a variable which can either be true or false.
En logique mathématique, une variable propositionnelle est une variable qui peut être soit vraie, soit fausse.
The interpretation of a propositional variable is one of the two truth values true and false.
L'interprétation d'une variable propositionnelle est l'une des deux valeurs de vérité vrai et faux.
A propositional variable can stand on its own as an atomic formula.
Une variable propositionnelle peut se 'tenir debout', comme une formule atomique.
We first extend the language of HT logic by two kinds of atomic programs, allowing to update the truth value of a propositional variable here or there, if possible.
Pour ce faire, nous étendons le langage de la logique HT par deux ensembles de programmes atomiques qui permettent de mettre à jour, si possible, les valeurs de vérité des variables propositionnelles.
Passez à Premium pour accéder à des millions d’exemples de traduction, enregistrer et apprendre du vocabulaire en illimité, le tout sans publicité.
Synonymes et analogies de "propositional variable" en anglais
Le mot et l’expression du jour
L’image du jour
Résultats: 12. Exacts: 12. Temps écoulé: 29 ms.
