| rdfs:comment
| - En lògica, el sil·logisme disjuntiu , històricament conegut com a modus tollendo ponens (en llatí, 'manera que negant afirma') o MTP , és una forma vàlida d'argument: O és el cas que A, o és el cas que BNo APer tant, B Per exemple, un raonament que segueix la forma del sil·logisme disjuntiu podria ser: O és de dia o és de nit.No és de dia.Per tant, és de nit. Una altra manera de presentar el sil·logisme disjuntiu és: I encara una altra manera és a través de la notació del càlcul de seqüent: A lògica proposicional la seva representació seria la següent: (ca)
- In classical logic, disjunctive syllogism (historically known as modus tollendo ponens (MTP), Latin for "mode that affirms by denying") is a valid argument form which is a syllogism having a disjunctive statement for one of its premises. An example in English: 1.
* The breach is a safety violation, or it is not subject to fines. 2.
* The breach is not a safety violation. 3.
* Therefore, it is not subject to fines. (en)
- 選言三段論法（せんげんさんだんろんぽう、英: Disjunctive syllogism）とは、論理学において、「大前提」を選言命題（選択肢を持った命題）にし、「小前提」でその選択肢に対する肯定・否定を行なうことで、「結論」を導く形式の三段論法のこと。選言的三段論法とも。 次に挙げるような妥当な演繹の論証形式の一種。 Pであるか、またはQであるPでないしたがって、Qである 論理演算の記法では次のようになる。 ここで は論理的帰結を表す。 (ja)
- 논리학에서, 선언적 삼단 논법(選言的三段論法, 영어: disjunctive syllogism)은 선언 명제와 이를 이루는 두 명제 가운데 하나에 대한 부정으로부터 다른 한 명제를 유도하는 삼단 논법이다. 즉, “P가 참이거나 Q가 참이다. 그런데 P는 참이 아니다. 따라서 Q가 참이다.”와 같은 꼴이다. (ko)
- Modus tollendo ponens (sposób potwierdzający przez zaprzeczenie) – tautologia rachunku zdań i analogiczny schemat wnioskowania dedukcyjnego. Tautologia rachunku zdań mówi, że jeśli uznajemy alternatywę i fałszywość jednego z jej członów, musimy uznać prawdziwość drugiego członu: Analogiczny schemat wnioskowania dedukcyjnego ma postać: (pl)
- 选言三段论(Disjunctive Syllogism)，也叫做析取三段论或拒取式（modus tollendo ponens，字面意思：通过否定来肯定）是有效的简单的： P或Q非P所以Q 在逻辑运算符记号中： ，¬ 这里的表示逻辑断言。 粗略的，我们可以说一个或另一个是真；接着我们可以说一个不是真；那么我们可以推导出另一个必须是真。这种推理叫做"选言三段论"，就是说，首先它是三段论--三个步骤的论证--其次它包含一个，它简单的意味着一个"或"陈述。"要么P要么Q"是一个析取式；P和Q叫做这个陈述的离析项（disjunct）。 一个例子： 我要么选择汤要么选择沙拉。我不选择汤。所以，我选择沙拉。 另一个例子： 要麼小王赢要麼小张赢。小王没有赢。所以，小张赢了。 (zh)
- Der Modus tollendo ponens oder Disjunktive Syllogismus ist eine Schlussfigur der klassischen Aussagenlogik bzw. eine Schlussregel vieler logischer Kalküle, die es erlaubt, aus einem Satz der Form A oder B und einem Satz der Form Nicht A auf einen Satz der Form B zu schließen. Es wird also – inhaltlich gesprochen – aus dem Wissen, dass mindestens einer von zwei Sachverhalten bestehen muss, dass aber einer der beiden nicht besteht, darauf geschlossen, dass der andere der beiden bestehen muss. (de)
- El modus tollendo ponens (latín: "el modo que, al negar, afirma")1 también conocido como eliminación de la disyunción o eliminación del "o", abreviado ∨E, o silogismo disyuntivo (cabe anotar que para algunos autores son dos reglas diferentes) es, en lógica clásica, una forma de argumento válida que contiene una declaración disyuntiva en una de sus premisas, y en lógica proposicional, una regla de inferencia válida. El modus tollendo ponens puede escribirse formalmente como: Un ejemplo de modus tollendo ponens o silogismo disyuntivo es: El incumplimiento no es una violación de seguridad. (es)
- En logique classique, un syllogisme disjonctif (où plus anciennement ponens modus tollendo) est une valide, qui prend la forme d'un syllogisme ayant une déclaration disjonctive dans l'une de ses prémisses. Soit la brèche est une brèche sécurisée, soit elle sera soumis à une amende.La brèche n'est pas une brèche de sécurité.Par conséquent, elle sera soumis à une amende. où la règle est que chaque fois que les instances de «», et «» apparaissent, la conclusion «» peut être placé sur une ligne subséquente. (fr)
- Il sillogismo disgiuntivo (detto anche modus tollendo ponens, abbreviato SD) è una regola d'inferenza derivata che applica alla disgiunzione una proprietà deduttiva di questa forma: P o Q.non-P.Quindi Q. o in linguaggio formale: ¬ Tabella di verità: La prima premessa del sillogismo equivale alla tavola di verità della disgiunzione. Leggendola al contrario, si vede che se la prima premessa è vera (terza colonna) e p è falsa (premessa minore), necessariamente si cade nel terzo caso in cui è vera q. Un esempio ancora più concreto: (it)
- Modus tollendo ponens är en slutledningsregel inom logiken. Regeln kan formellt skrivas: vilket betyder att man från en premiss, i vilken huvudoperationen är en disjunktion och en annan premiss, som negerar disjunktionens ena led, kan sluta sig till disjunktionens andra led. Från premisserna (P eller Q) och icke-P kan således slutsatsen Q dras. Regelns latinska namn har sitt ursprung i att disjunktionens ena led förnekas (tollendo) och att därmed det andra ledet kan bejakas (ponens). Formellt kan regeln även skrivas: , där betyder syntaktisk konsekvens. (sv)
|
![[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)