PROPOSITIONAL in French translation

• propositionnelle
• propositionnelles
• propositionnel
• propositional

Examples of using Propositional in English and their translations into French

The formulas of propositional calculus, also called propositional formulas, are expressions such as( A∧( B∨ C)){\displaystyle A\land B\lor C.
Les formules issues du calcul des propositions, aussi appelées formules propositionnelles, sont des expressions de la forme A ∧( B ∧ C){\displaystyle A\land B\land C.

In propositional logic, disjunctive syllogism(also known as disjunction elimination
En logique propositionnelle, une syllogisme disjonctif(aussi connu sous le nom de l'argument de kneecapper,

which is a SAT problem in which propositional variables are replaced with formulas of another mathematical theory.
qui sont des problèmes SAT dans lesquels les variables propositionnelles sont des formules d'une autre théorie mathématique.

In propositional logic, disjunction elimination(sometimes named proof by cases,
En logique propositionnelle, l'élimination de la disjonction,(parfois nommée preuve par cas,

It does this by rejecting those forms of propositional logic which provide the basis of Conceptual practice in favour of multiple logics- chief among which is the devolutionary logic of entropy- that work against each other.
Elle écarte les formes de la logique propositionnelle, qui constitue la base de la pratique conceptuelle, au profit de logiques multiples s'opposant les unes aux autres.

he devised techniques that took him far beyond the Aristotelian syllogistic and Stoic propositional logic that had come down to him in the logical tradition.
ce faisant, il a conçu des techniques qui l'ont amené bien au-delà de la logique propositionnelle syllogistique et stoïcienne.

In propositional logic, transposition is a valid rule of replacement that permits one to switch the antecedent with the consequent of a conditional statement in a logical proof if they are also both negated.
En logique des propositions, une transposition,, est une règle de remplacement valide qui permet d'échanger l'antécédent avec le conséquent d'une implication matérielle dans une preuve logique s'il sont tous les deux négatifs.

the propositional logic statement consisting of a single propositional variable A is not a theorem, and neither is its negation.
pas déductivement complètes par exemple, Si A est une variable propositionnelle, ni A, ni sa négation ne sont des théorèmes.

Beame, Paul; Pitassi, Toniann(1998),"Propositional proof complexity: past, present, and future", Bulletin of the
Il a aussi de fortes relations avec les circuits booléens. ↑ a et b Paul Beame et Toniann Pitassi(en),« Propositional proof complexity:

variants, both propositional and first-order.
les deux sont propositionnelle et du premier ordre.

Propositional functions: The notion of"proposition" was significantly modified in the 2nd edition,
Fonctions propositionnelles: La notion de«proposition» a été modifiée lors la seconde édition,

or, alternatively, by propositional attitude or modal operators.
celui créé par une attitude propositionnelle ou des opérateurs modaux.

such as"five is greater than three" or propositional variables such as P
telles que« cinq est supérieur à trois», ou de variables propositionnelles telles que P et Q,

the meaning of an expression is a bit of propositional content that determines the extension in each possible world.
la signification d'une expression est une partie du contenu propositionnel qui détermine l'extension dans chaque monde possible.

Gutierrez suggest that points of view may be analyzed as structured sets of propositional attitudes.
les points de vue peuvent être analysées comme des ensembles structurés d'attitudes propositionnelles.

Langer distinguishes between two kinds of symbols: propositional or discursive symbols related to logical,
Langer distingue deux types de symboles: d'une part les symboles propositionnels ou discursifs liés à la pensée logique,

The principle was stated as a theorem of propositional logic by Russell and Whitehead in Principia Mathematica as:( P→ Q)→(¬ Q→¬ P){\displaystyle(P\to Q)\to(\neg Q\to\neg P)} where P{\displaystyle P} and Q{\displaystyle Q}
Le principe a été énoncé comme un théorème de la logique propositionnelle par Russell et Whitehead dans les Principia Mathematica:( P → Q)

Abstract algebraic logic Ampheck Boolean algebra(logic) Boolean domain Boolean function Boolean logic Causality Deductive reasoning Logic gate Logical graph Peirce's law Probabilistic logic Propositional calculus Sole sufficient operator Strict conditional Tautology(logic) Tautological consequence Therefore sign Turnstile(symbol)
Abstract algebraic logic(en) Fonction NON-OU Algèbre booléenne Domaine booléen Fonction booléenne Logique booléenne Raisonnement déductif Porte logique Graphe logique Loi de Peirce logique probabiliste calcul des propositions Sole sufficient operator(en) Implication stricte Tautologie Conséquence tautologique Par conséquent Turnstile(symbol)(en)

LTL is built up from a finite set of propositional variables AP, the logical operators¬ and∨, and the temporal modal operators X(some literature uses O
La LTL est construite à partir d'un ensemble fini de variables propositionnelles AP, opérateurs logiques ¬ et ∨,

The propositional impulse of a thing.
La force propositionnelle d'une chose.