Zasugerowano, aby zintegrować ten artykuł z artykułem Modus ponendo tollens.

Uzasadnienie: tematy krótkie i blisko powiązane, czasem noszące wspólną nazwę: sylogizm alternatywny, por. Józef Bremer 2006

Modus tollendo ponens (łac. sposób potwierdzający przez zaprzeczenie^[1]), sylogizm alternatywny^[2][3] – 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^[2]:

${\displaystyle [(p\lor q)\land \neg p]\Rightarrow q}$

Analogiczny schemat wnioskowania dedukcyjnego ma postać:

p lub q,

nie p.

Zatem: q.