Modus ponendo tollens

El modus ponendo tollens (llatí per a de negar en afirmar) o MPT és una forma del sil·logisme disjuntiu.[1] És una forma vàlida d'argument que diu:

O bé A, o bé B
A
Per 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:

A ↮ B A ¬ B {\displaystyle {\begin{array}{r}A\nleftrightarrow B\\A\\\hline \neg B\end{array}}}

I encara una altra manera és a través de la notació del càlcul de seqüent:

( A ↮ B ) , A ⊢ ¬ B {\displaystyle (A\nleftrightarrow B),A\vdash \neg B}

Vegeu també

  • Modus ponens

Referències

  1. ↑ Cortés i Morató, Jordi; Martínez i Riu, Antoni. «Conceptes: modus ponendo tollens». A: Filoxarxa Diccionari enciclopèdic de filosofia: autors, conceptes, textos, 2004 [Consulta: 10 desembre 2016].