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é 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:
I encara una altra manera és a través de la notació del càlcul de seqüent:
Vegeu també Modus ponens
Referències
Categoria:Frases en llatí Categoria:Regles d'inferència