| Catalan |
| has gloss | cat: En lògica, el modus tollendo tollens (en llatí, mode que negant nega), també anomenat modus tollens i generalment abreviat MTT o MT, és una regla d'inferència que té la següent forma: |
| lexicalization | cat: Modus tollendo tollens |
| Danish |
| has gloss | dan: Modus tollens er en gyldig syllogisme (argumentationsform): |
| lexicalization | dan: Modus tollens |
| German |
| has gloss | deu: 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. |
| lexicalization | deu: Modus tollens |
| Modern Greek (1453-) |
| has gloss | ell: Μέθοδος διάψευσης (Φιλοσοφία) |
| lexicalization | ell: Μέθοδος διάψευσης |
| Estonian |
| has gloss | est: Modus tollens on järeldusreegel kujul: |
| lexicalization | est: Modus tollens |
| Persian |
| has gloss | fas: در منطق کلاسیک قاعدهٔ نفی تالی (که معمولا Modus tollens خوانده میشود)، یکی از اشکال استدلال صوری است. |
| lexicalization | fas: نفی تالی |
| Hebrew |
| has gloss | heb: מודוס טוֹלֶנְס (Modus tollens), בלוגיקה, הוא כלל ההיסק שמאפשר להסיק משני הנתונים הבאים: #\ P\rarr Q (כלומר - אם מתקיים P אז מתקיים Q). #\neg Q. (כלומר - לא מתקיים Q). את המסקנה הבאה: *\neg \ P. (כלומר - לא מתקיים P). |
| lexicalization | heb: מודוס טולנס |
| Icelandic |
| has gloss | isl: :Þessi grein fjallar um neikvæða neitunarreglu. Um jákvæða neitunarreglu, sjá Modus ponendo tollens. |
| lexicalization | isl: Neikvæð neitunarregla |
| Italian |
| has gloss | ita: Il modus tollens è una regola di inferenza della logica proposizionale sviluppata compiutamente per la prima volta dai logici medievali ma conosciuta già agli stoici. Il suo significato è: :"il modo che toglie la verità di una proposizione togliendo quella di un'altra". |
| lexicalization | ita: modus tollens |
| Japanese |
| has gloss | jpn: モーダストレンス（）は、間接証明（indirect proof）や対偶による証明（proof by contradiction）の正式な名称である。ラテン語で「否定によって肯定する様式」の意。後件否定（denying the consequent）とも呼ぶが妥当な論証形式であり、似たような名称の妥当でない論証形式（後件肯定や前件否定）とは異なる。 |
| lexicalization | jpn: モーダストレンス |
| Dutch |
| has gloss | nld: Er zijn twee soorten modi tollentes ("modi die iets ontkennen"): de modus tollendo tollens en de modus ponendo tollens. De modus tollens kwam weer in het bijzonder in de belangstelling te staan door het gebruik ervan door wetenschapsfilosoof Karl Popper in zijn antwoord op het probleem van inductie, falsifieerbaarheid. |
| lexicalization | nld: modus tollens |
| Polish |
| has gloss | pol: Modus tollens (modus tollendo tollens, łac. sposób zaprzeczający przy pomocy zaprzeczenia) – wnioskowanie logiczne, reguła logiki mówiąca, że jeśli zaakceptujemy, że z X wynika Y oraz że Y jest fałszywe, to musimy zaakceptować też fałszywość X. |
| lexicalization | pol: Modus tollens |
| Portuguese |
| has gloss | por: Modus tollens (Latim: modo que nega) é o nome formal para a prova indireta. |
| lexicalization | por: Modus Tollens |
| Russian |
| has gloss | rus: Modus tollens — рассуждение от противного (латинское "modus tollendo tollens" означает "путь исключения исключений"). |
| lexicalization | rus: Modus tollens |
| Slovak |
| has gloss | slk: (Pravidlo) modus tollens alebo (pravidlo) modus tollendo tollens je nasledujúca schéma usudzovania: ((A => B) Λ non-B) => non-A. |
| lexicalization | slk: Modus tollens |
| Castilian |
| has gloss | spa: En lógica, el modus tollendo tollens (en latín, modo que negando niega), también llamado modus tollens y generalmente abreviado MTT o MT, es una regla de inferencia que tiene la siguiente forma: |
| lexicalization | spa: Modus tollendo tollens |
| Serbian |
| has gloss | srp: У логици, модус толенс је формални назив за валидан индиректан доказ или доказ контрапозицијом, следећег облика: |
| lexicalization | srp: модус толенс |
| Swedish |
| has gloss | swe: Modus tollens (latin: metod för förnekande) är en logisk härledningsregel med formen: |
| lexicalization | swe: Modus tollens |
| Ukrainian |
| has gloss | ukr: Modus tollens (Латиною: спосіб що заперечує) це формальна назва для доведення від супротивного. Вживається також скорочення MT. |
| lexicalization | ukr: Modus tollens |