Modus ponendo tollens (MPT; Latin: "mode that denies by affirming") is a valid rule of inference for propositional logic. It is closely related to modus ponens and modus tollendo ponens.
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Modus ponendo tollens (ca)
- Modus ponendo tollens (cs)
- Modus ponendo tollens (de)
- Modus ponendo tollens (es)
- Modus ponendo tollens (fr)
- Modus ponendo tollens (en)
- Modus ponendo tollens (pl)
- Silogismo disjuntivo (pt)
|
| rdfs:comment
| - El modus ponendo tollens (llatí per a de negar en afirmar) o MPT és una forma del sil·logisme disjuntiu. És una forma vàlida d'argument que diu: O bé A, o bé BAPer tant, no B Per exemple, un raonament que segueix la forma del modus ponendo tollens podria ser: O bé és de dia, o bé és de nit.És de dia.Per tant, no és de nit. Una altra manera de presentar el modus ponendo tollens és: I encara una altra manera és a través de la notació del càlcul de seqüent: (ca)
- Der Modus ponendo tollens (auch Konjunktiver Syllogismus) ist eine Schlussfigur der klassischen Aussagenlogik und eine Schlussregel vieler logischer Kalküle, die es erlaubt, aus zwei Sätzen mit den Formen Nicht (A und B). und A., den Prämissen, auf einen Satz der Form Nicht B. als Konklusion zu schließen. Es wird also – inhaltlich gesprochen – aus dem Wissen, dass zwei bestimmte Sachverhalte nicht zugleich bestehen können, dass aber einer der beiden Sachverhalte sehr wohl besteht, darauf geschlossen, dass der andere der beiden nicht vorliegt. (de)
- Modus ponendo tollens (MPT; Latin: "mode that denies by affirming") is a valid rule of inference for propositional logic. It is closely related to modus ponens and modus tollendo ponens. (en)
- Modus ponendo tollens (sposób zaprzeczający przez potwierdzenie) – tautologia rachunku zdań mówiąca o właściwościach dysjunkcji – na podstawie prawdziwości jednego ze zdań składowych prawdziwej dysjunkcji można orzekać o fałszywości drugiego Analogiczny schemat wnioskowania dedukcyjnego ma postać (pl)
- O silogismo disjuntivo, também conhecido historicamente como modus tollendo ponens, é uma forma de argumento simples, classifica-se válido, do tipo: P ou QNão PLogo, Q Um exemplo cotidiano: Ele tem mais que 16 anos ou ele é criança. Ele não tem mais que 16 anos.Logo, ele é criança Na notação logica: , onde representa a relação de consequência lógica. A razão para este argumento anterior ser chamado de "silogismo disjuntivo" é: primeiro, é um silogismo de um argumento com três passos e, finalmente, por conter uma disjunção. (pt)
- Modus ponendo tollens (latín: "el modo que, al afirmar, niega") es una regla de inferencia válida de la lógica proposicional, a veces abreviado MPT. El modus ponendo tollens establece que, si no es posible que dos términos sean simultáneamente verdaderos; y uno de ellos es verdadero; entonces se puede inferir que el otro término no puede ser verdadero. El modus ponendo tollens puede escribirse formalmente como: Un ejemplo de modus ponendo tollens es: Alejandra y Bárbara no pueden ganar ambas la carrera.Alejandra ganó la carrera.Por lo tanto, Bárbara no puede haber ganado la carrera. (es)
- En logique propositionnelle, le modus ponendo tollens (du latin: « mode qui nie en affirmant ») est une règle d'inférence valide, parfois abrégé MPT. Celui-ci est étroitement lié au modus ponens et au modus tollens. Il est généralement décrit sous la forme : 1.
* Non (A et B) 2.
* A 3.
* Par conséquent, non B Par exemple : 1.
* Anne et Bill ne peuvent pas gagner la course. 2.
* Anne a gagné la course. 3.
* Par conséquent, Bill n'a pas pu gagner la course. En notation logique, ceci peut être représenté comme suit : 1.
* 2.
* 3.
* 1.
* 2.
* 3.
* (fr)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| Link from a Wikipa... related subject.
| |
| has abstract
| - El modus ponendo tollens (llatí per a de negar en afirmar) o MPT és una forma del sil·logisme disjuntiu. És una forma vàlida d'argument que diu: O bé A, o bé BAPer tant, no B Per exemple, un raonament que segueix la forma del modus ponendo tollens podria ser: O bé és de dia, o bé és de nit.És de dia.Per tant, no és de nit. Una altra manera de presentar el modus ponendo tollens és: I encara una altra manera és a través de la notació del càlcul de seqüent: (ca)
- Der Modus ponendo tollens (auch Konjunktiver Syllogismus) ist eine Schlussfigur der klassischen Aussagenlogik und eine Schlussregel vieler logischer Kalküle, die es erlaubt, aus zwei Sätzen mit den Formen Nicht (A und B). und A., den Prämissen, auf einen Satz der Form Nicht B. als Konklusion zu schließen. Es wird also – inhaltlich gesprochen – aus dem Wissen, dass zwei bestimmte Sachverhalte nicht zugleich bestehen können, dass aber einer der beiden Sachverhalte sehr wohl besteht, darauf geschlossen, dass der andere der beiden nicht vorliegt. (de)
- Modus ponendo tollens (latín: "el modo que, al afirmar, niega") es una regla de inferencia válida de la lógica proposicional, a veces abreviado MPT. El modus ponendo tollens establece que, si no es posible que dos términos sean simultáneamente verdaderos; y uno de ellos es verdadero; entonces se puede inferir que el otro término no puede ser verdadero. El modus ponendo tollens puede escribirse formalmente como: donde cada vez que aparezcan las instancias de "" y "" en las líneas de una demostración, se puede colocar "" en una línea posterior. En resumen, "si P y Q no pueden ser verdad simultáneamente, y P es verdad, entonces Q no puede ser verdad." Un ejemplo de modus ponendo tollens es: Alejandra y Bárbara no pueden ganar ambas la carrera.Alejandra ganó la carrera.Por lo tanto, Bárbara no puede haber ganado la carrera. Como E.J. Lemmon lo describe: "Modus ponendo tollens es el principio de que, si se sostiene la negación de una conjunción, y también una de sus oraciones conjuntivas, entonces la negación de la otra oración conjuntiva asimismo se sostiene." (es)
- Modus ponendo tollens (MPT; Latin: "mode that denies by affirming") is a valid rule of inference for propositional logic. It is closely related to modus ponens and modus tollendo ponens. (en)
- En logique propositionnelle, le modus ponendo tollens (du latin: « mode qui nie en affirmant ») est une règle d'inférence valide, parfois abrégé MPT. Celui-ci est étroitement lié au modus ponens et au modus tollens. Il est généralement décrit sous la forme : 1.
* Non (A et B) 2.
* A 3.
* Par conséquent, non B Par exemple : 1.
* Anne et Bill ne peuvent pas gagner la course. 2.
* Anne a gagné la course. 3.
* Par conséquent, Bill n'a pas pu gagner la course. En notation logique, ceci peut être représenté comme suit : 1.
* 2.
* 3.
* Basée sur la barre de Sheffer, notée « | », l'inférence peut également être formalisée de la manière suivante : 1.
* 2.
* 3.
* (fr)
- Modus ponendo tollens (sposób zaprzeczający przez potwierdzenie) – tautologia rachunku zdań mówiąca o właściwościach dysjunkcji – na podstawie prawdziwości jednego ze zdań składowych prawdziwej dysjunkcji można orzekać o fałszywości drugiego Analogiczny schemat wnioskowania dedukcyjnego ma postać (pl)
- O silogismo disjuntivo, também conhecido historicamente como modus tollendo ponens, é uma forma de argumento simples, classifica-se válido, do tipo: P ou QNão PLogo, Q Um exemplo cotidiano: Ele tem mais que 16 anos ou ele é criança. Ele não tem mais que 16 anos.Logo, ele é criança Na notação logica: , onde representa a relação de consequência lógica. A razão para este argumento anterior ser chamado de "silogismo disjuntivo" é: primeiro, é um silogismo de um argumento com três passos e, finalmente, por conter uma disjunção. (pt)
|
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is foaf:primaryTopic
of | |
![[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)