- modus tollens
-
A valid form of argument in which the consequent of a conditional proposition is denied, thus implying the denial of the antecedent. Modus tollens has this form:
1. If P, then Q.
See Also: modus ponens
Wikipedia foundation.
1. If P, then Q.
Wikipedia foundation.
Modus Tollens — (lat. für: Modus des Aufhebens, wörtlich: aufhebender Modus), eigentlich Modus tollendo tollens (in Abgrenzung zum Modus ponendo tollens) ist eine Schlussfigur, die auch in etlichen Kalkülen der klassischen Logik als Schlussregel verwendet wird.… … Deutsch Wikipedia
Modus tollens — (lat. für: Modus des Aufhebens, wörtlich: aufhebender Modus), eigentlich Modus tollendo tollens (in Abgrenzung zum Modus ponendo tollens) ist eine Schlussfigur, die auch in etlichen Kalkülen der klassischen Logik als Schlussregel verwendet wird.… … Deutsch Wikipedia
Modus tollens — Modus tollens рассуждение от противного (латинское «modus tollendo tollens» означает «путь исключения исключений»). Форма записи: . Например, золотая монета, сминаема зубами, тогда modus tollens: среди всех объектов, не сминаемых зубами,… … Википедия
modus tollens — [mɔdystɔlɛ̃s] n. m. ÉTYM. Loc. lat., littéralement « mode qui supprime ». ❖ ♦ Log. Règle de déduction selon laquelle, si une proposition A implique une proposition B, on peut déduire, B n étant pas vraie, que A ne l est pas non plus. || Le modus… … Encyclopédie Universelle
Modus Tollens — ♦ Modus Tollens Верное заключение, приводящее к выводу о ложности посылки исходя из ложности по меньшей мере одного из ее следствий и принимающее форму: если р, то q; однако не q, следовательно, не р. Например: если Сократ бог, то он… … Философский словарь Спонвиля
Modus tollens — Rules of inference Propositional calculus Modus ponens (A→B, A ⊢ B) Modus tollens (A→B, ¬B ⊢ ¬A) … Wikipedia
Modus tollens — Proposition contraposée La contraposition (ou modus tollens) est un type de raisonnement logique consistant à affirmer une implication (« si A alors B ») et à poser ensuite la négation du conséquent (« or, non B ») pour en… … Wikipédia en Français
modus ponens and modus tollens — (Latin: method of affirming and method of denying ) In logic, two types of inference that can be drawn using a hypothetical proposition i. e., from a proposition of the form If p, then q (symbolically p ⊃ q). Modus ponens refers to inferences of… … Universalium
modus ponens y modus tollens — (latín: modo afirmativo y modo negativo). En lógica, dos tipos de inferencia que es posible derivar a partir de una proposición condicional –i.e., de una proposición de la forma Si p, entonces q (simbólicalmente, p ⊃ q). El modus ponens se… … Enciclopedia Universal
modus tollens — Common shorthand for ‘modus tollendo tollens’, the principle of inference entitling us to pass from not q, and p →q, to not p … Philosophy dictionary