| rdfs:comment
| - En lògica, el modus tollendo tollens (en llatí, 'mode que negant nega'), també anomenat modus tollens i generalment abreujat com a MTT o MT, és una regla d'inferència que té la següent forma: Si A, llavors BNo BPer la qual cosa, no A Per exemple, un raonament que segueix la forma del modus tollens podria ser: Si és de dia, llavors fa sol.No fa sol.Per la qual cosa, no és de dia. Una altra manera de presentar el modus tollens és: I encara una altra manera és a través de la notació del càlcul de seqüents: (ca)
- Ve výrokové logice Modus tollens, také Modus tollendo tollens či popírání důsledku je pravidlo usuzování, jehož forma je následující: Jestliže A implikuje B a zároveň neplatí B, neplatí A. (cs)
- Dalam kalkulus proposisional, modus tollens (//; MT; disebut juga modus tollendo tollens (Latin untuk "modus yang menyangkal dengan menyangkal") atau menyangkal konsekuen) adalah bentuk argumen valid dan aturan penarikan kesimpulan. Ini adalah sebuah penerapan dari kebenaran umum bahwa jika sebuah pernyataan adalah benar, maka kontra positif-nya juga benar. Jenis argumen ini sangat mirip dengan argumen jenis modus ponens. Namun, di sisi lain memiliki beberapa perbedaan dalam bentuk argumennya. (in)
- モーダストレンス（英: Modus tollens, MT）は、間接証明（indirect proof）や対偶による証明（proof by contradiction）の正式な名称である。ラテン語で「否定によって肯定する様式」の意。後件否定（denying the consequent）とも呼ぶが妥当な論証形式であり、似たような名称の妥当でない論証形式（後件肯定や前件否定）とは異なる。 モーダストレンスは次のような形式である。 P ならば Q である。Q は偽である。従って、P は偽である。 (ja)
- 논리학에서 후건 부정(後件否定, 영어: denying the consequent) 또는 부정 논법(否定論法, 라틴어: modus tollens 모두스 톨렌스[*])은 가언 명제와 그 결론의 부정으로부터 그 전제의 부정을 유도하는 추론 규칙이다. 즉, “만약 P라면, Q이다. 그런데 Q가 아니다. 따라서 P가 아니다.”와 같이 추론한다. (ko)
- Modus tollens is een regel uit de formele logica. Uit de logische implicatie "als p dan q" kan worden afgeleid dat wanneer q onwaar is, ook het antecedent p onwaar moet zijn. Bijvoorbeeld: "Als het vrijdag is, eten wij vis. Wij eten geen vis, dus is het geen vrijdag." 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. (nl)
- Modus tollens — рассуждение от противного (латинское «modus tollendo tollens» означает «путь исключения исключением»). Форма записи: . Например, — «монета золотая», — «монета несминаема зубами», тогда modus tollens позволяет из свойства: «золотые монеты несминаемы зубами» сделать вывод, что если монета сминаема зубами, то она не золотая. (ru)
- Modus tollens (Latim: modo que nega por negação) ou negação do consequente, é o nome formal para a prova indireta, também chamado de modo apagógico. (pt)
- 在经典逻辑中，否定后件（拉丁語：modus tollens）有如下论证形式： 如果P，则Q。非Q。所以，非P。 它也可也被认为是否定结论，是一种有效的认证形式。 否定后件有时会与歸謬法 (Proof by contradiction)（假设命题的否定成立，证明这会导致矛盾）或者反證法 (Proof by contrapositive)（证明如果P则Q，通过证明如果非Q则非P的方法实现）相混淆。 (zh)
- Ο Grosseteste σημειώνει, ότι εάν μια πρόταση σχετικά με ένα αποτέλεσμα μπορεί να παραχθεί από περισσότερα από ένα σύνολα προκείμενων, τότε η καλύτερη προσέγγιση είναι να απαλείψουμε όλες τις ερμηνείες εκτός από μια. Ο Grosseteste υποστήριξε ότι ο τρόπος για να απαλειφθούν οι εκάστοτε ερμηνείες ενός φαινομένου είναι ο εξής: εάν μια υπόθεση (Η) συνεπάγεται ορισμένες συνέπειες (C) και εάν αυτές οι συνέπειες μπορεί να αποδειχθεί ότι είναι ψευδείς, τότε και η υπόθεση οφείλει να είναι ψευδής. Οι επιστήμονες της Λογικής έδωσαν το όνομα «modus tollens»(αγγλ: mode that denies) σ’ αυτόν τον τύπο επαγωγικού επιχειρήματος: (el)
- 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 in etlichen Kalkülen der klassischen Logik als Schlussregel verwendet wird. Er besagt, dass aus den Voraussetzungen „Wenn , dann .“ und „Nicht .“ auf „Nicht .“ geschlossen werden kann. (de)
- El modus tollendo tollens (latín: "el modo que, al negar, niega", conocido como modus tollens, negación del consecuente o ley de contraposición) es una forma de argumento válida y una regla de inferencia en lógica proposicional. Se puede resumir como "Si P implica Q, y Q no es cierto, entonces P no es cierto". El modus tollendo tollens puede establecerse formalmente como: Un ejemplo simple de modus tollendo tollens es: Si el agua hierve, entonces soltará vapor. No suelta vapor. Por lo tanto, no está hirviendo el agua. (es)
- Modus tollendo tollens (latinez: "ukatuz ukatzen duen modua"; modus tollens, atzekariaren ukapenaren legea edo kontrajartze-legea izenez ere ezaguna) argudio-forma eta inferentzia-erregela da logika proposizionalean. Adierazpen bat baliozkoa bada, bere kontrajartzea ere badela dioen egia orokorraren aplikazioa da. Modus tollendo tollens erregelaren historiak antzinaroraino egiten du atzera. Modus tollendo tollens erregela esplizituki azaltzen lehenak estoikoak izan ziren. Hori era formalean honela adieraz daiteke: Hona hemen modus tollendo tollens-en adibide bat: (eu)
- In propositional logic, modus tollens (/ˈmoʊdəs ˈtɒlɛnz/) (MT), also known as modus tollendo tollens (Latin for "method of removing by taking away") and denying the consequent, is a deductive argument form and a rule of inference. Modus tollens takes the form of "If P, then Q. Not Q. Therefore, not P." It is an application of the general truth that if a statement is true, then so is its contrapositive. The form shows that inference from P implies Q to the negation of Q implies the negation of P is a valid argument. (en)
- En logique propositionnelle, le modus tollens (aussi nommé modus tollendo tollens, du Latin : « mode qui, en niant, nie ») est une forme d'argument valide et une règle d'inférence. Celui-ci est une application de la vérité générale selon laquelle, si une proposition est vraie, alors il en est de même pour sa proposition contraposée. Les premiers à décrire explicitement le modus tollens étaient les stoïciens. La règle d'inférence modus tollens est l'inférence selon laquelle « P implique Q » et la négation du conséquent Q entraînent la négation de l'antécédent P. (fr)
- Il modus tollens (MT), abbreviazione del latino modus tollendo tollens ("modo che toglie", letteralmente "modo che toglie con l'aver tolto"), è una regola di inferenza della logica proposizionale sviluppata compiutamente per la prima volta dai logici medievali e già nota agli stoici. Il suo significato è: "il modo che toglie la verità di una proposizione togliendo quella di un'altra". In notazione con operatori logici: Inoltre:
* è condizione sufficiente per
* è condizione necessaria per (it)
- Modus tollens (łac. modus tollendo tollens, sposób zaprzeczający przy pomocy zaprzeczenia) – wnioskowanie logiczne, reguła logiki mówiąca, że jeśli zaakceptujemy, że z wynika oraz że jest fałszywe, to musimy zaakceptować też fałszywość (pl)
- Modus tollens (latin: metod för förnekande) är en förkortad form av modus tollendo tollens, som är en slutledningsregel inom logiken. Regeln kan formellt skrivas: vilket betyder att av två premisser, där den ena är en materiell implikation och den andra är negationen av implikationens andra led, följer negationen av implikationens första led. Från premissena P→Q och Q kan således slutsatsen P dras. Exempel: Från "Om min klocka går rätt, så är tåget försenat" och "Tåget är inte försenat" kan man dra slutsatsen "Min klocka går inte rätt". Formellt kan regeln även skrivas: (sv)
- Modus tollens (укр. спосіб, що заперечує) — це формальна назва для доведення від супротивного. Вживається також скорочення MT. Modus tollens є простою, часто вживаною формою аргументації: Якщо P, то Q.Q є хибою.Тому P є хибою. Використовуючи логіко-операторну нотацію: ,,. де є логічним твердженням. Або, у теоретико-множинній формі: ,, ( є підмножиною . не належить . Отже, не належить ). (uk)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)