Translation of material implication into French
Noun
logic
- Material implication means if A is true, then B is true.L'implication matérielle signifie que si A est vrai, alors B est vrai.
Synonyms and analogies of material implication in English
Examples of material implication in a sentence
Students debated material implication during the logic seminar.
Translations of "material implication" in Context ordered by category and frequency
We also argue that the retrieval decision d->q could be replaced by the validity of material implication.
Nous argumentons également que la décision de pertinence d->q pourrait être remplacée par la validité de l'implication matérielle.
We also argue that the retrieval decision d->q could be replaced by the validity of material implication |= d->q.
Nous argumentons également que la décision de pertinence d - >q pourrait être remplacée par la validité de l'implication matérielle |= d - >q.
The symbol for material implication signifies the proposition as a hypothetical, or the "if-then" form, e.g. "if P then Q".
Le symbole de l'implication matérielle signifie la forme "si-alors", par exemple "Si P alors Q".
Proposition Derivation Given Material implication Commutativity Material implication
Proposition Dérivation Donné Implication matérielle Commutativité Implication matérielle
material implication: Examples and translations in context
We first propose an intermediate representation of logical sentences, where they become nodes in a lattice having a partial order relation that is equivalent to the validity of material implication.
Nous proposons d'abord une représentation intermédiaire des phrases logiques, où elles deviennent des noeuds dans un treillis ayant une relation d'ordre partiel équivalent à la validité de l'implication matérielle.
In recognition of this problem, the sign -> of formal implication in the propositional calculus is called material implication to distinguish it from the everyday, intuitive implication.
En reconnaissance de ce problème, le signe -> de l'implication formelle dans le calcul propositionnel est appelé implication matérielle, afin de la distinguer de la vie quotidienne, à savoir, l'implication intuitive.
We first propose an intermediate representation of logical sentences, where they become nodes in a lattice having a partial order relation that is equivalent to the validity of material implication.
Nous proposons d'abord une représentation intermédiaire des phrases logiques, où elles deviennent des noeuds dans un treillis ayant une relation d'ordre partiel équivalent à la validité de l'implication matérielle.
Common rules of replacement include de Morgan's laws, commutation, association, distribution, double negation, transposition, material implication, material equivalence, exportation, and tautology.
On compte, parmi les règles de remplacement, les lois de De Morgan, la commutativité, l'associativité, la distributivité, la double négation, la transposition, les lois de l'implication matérielle, les tautologies, etc.
Common rules of replacement include de Morgan's laws, commutation, association, distribution, double negation, transposition, material implication, material equivalence, exportation, and tautology.
On compte parmi les règles de remplacement, les lois de De Morgan, la commutativité, l'associativité, la distributivité, la double négation, la transposition, les lois de l'implication matérielle, les tautologies, etc.
If P, then Q. (premise - material implication) If not Q, then not P. (derived by transposition) Not Q. (premise) Therefore, not P. (derived by modus ponens)
Si P, alors Q. (prémisse - implication matérielle) Si non Q, alors non P. (dérivé de la transposition) Non Q. (prémisse) Par conséquent, non P. (dérivé du modus ponens)