Traduction de voix, fonctionnalités offline, synonymes, conjugaison, jeux éducatifs
Publicité
Inscrivez-vous gratuitement : plus de résultats et de fonctionnalités
propositional variables
Forme fléchie de propositional variable
Traduction de "propositional variables" en français
Their definition begins with the arbitrary choice of a set V of propositional variables.
Leur définition commence par le choix arbitraire d'un ensemble V de variables propositionnelles.
Some authors also admit propositional variables in first-order logic, which must then also be interpreted.
Certains auteurs admettent aussi des variables propositionnelles dans la logique du premier ordre, qui doivent alors aussi être interprétées.
We propose in this thesis to constrain the valuation of propositional variables to make modal logics with an associative binary modality decidable.
Nous proposons de contraindre la valuation des variables propositionnelles afin d'obtenir des logiques décidables ayant une modalité binaire associative.
Historical specification languages use propositional variables as atomic formulas, which allows to state properties only on the control locations of the models.
Les langages historiques de spécification utilisent comme formules atomiques des variables propositionnelles qui permettent d'exprimer principalement des propriétés portant sur les états de contrôle du modèle.
Formulas in logic are typically built up recursively from some propositional variables, some number of logical connectives, and some logical quantifiers.
Les formules en logique sont généralement construites de manière récursive à partir de certaines variables propositionnelles, connecteurs logiques, et quantificateurs logiques.
In this way, all of the formulas of propositional logic are built up from propositional variables as a basic unit.
De cette façon, toutes les formules de la logique propositionnelle sont construites à partir des variables propositionnelles comme une unité de base.
A key property of formulas is that they can be uniquely parsed to determine the structure of the formula in terms of its propositional variables and logical connectives.
Une propriété clé des formules est qu'elles peuvent être analysées de manière unique pour déterminer leur structure en termes de variables propositionnelles et de connecteurs logiques.
Arbitrary propositional formulas are built from propositional variables and other propositional formulas using propositional connectives.
Les formules propositionnelles arbitraires sont construites à partir de variables propositionnelles et d'autres formules propositionnelles utilisant les connecteurs propositionnels.
In the current settings of these logics of visibility, every agent has a set of propositional variables that she can observe; these visibilities are constant across the model.
Dans le cadre actuel de ces logiques de visibilité, chaque agent a un ensemble de variables propositionnelles qu'elle peut observer ; ces visibilités sont constantes à travers le modèle.
For a language with n distinct propositional variables there are 2n distinct possible interpretations.
Pour un langage avec n variables propositionnelles distinctes, il y a 2n valuations classiques possibles distinctes.
The precise form of atomic formulas depends on the logic under consideration; for propositional logic, for example, the atomic formulas are the propositional variables.
La structure d'une formule atomique dépend de la logique considérée, pp. ex. en logique des propositions, les formules atomiques sont les variables propositionnelles.
More specifically: an evaluation on a set of propositional variables such that a given propositional formula is then logically true.
Plus précisément: une évaluation sur un ensemble de variables propositionnelles telles qu'une formule propositionnelle donnée est alors logiquement vrai.
In the proposition composed (P ∧ Q) -> R, the letters P, Q and R represent propositional variables.
Dans la proposition composée (P ∧ Q) -> R, les lettres P, Q et R représentent 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 variables" en anglais
Le mot et l’expression du jour
L’image du jour
Résultats: 33. Exacts: 33. Temps écoulé: 31 ms.
