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ć {|style="border-spacing:0px" |Jeżeli: bądź p bądź q, |- |i p.
|Zatem: nieprawda, że q.
Przypisy
Kategoria:Zwroty łacińskie Kategoria:Prawa rachunku zdań