Modus tollendo ponens (łac. sposób potwierdzający przez zaprzeczenie Tomasz Mazur, Kurs logiki: lekcja 29. (...), Zintegrowana Platforma Edukacyjna – Ministerstwo Edukacji Narodowej, zpe.gov.pl [dostęp 2024-11-28].), sylogizm alternatywny Tadeusz Czeżowski, Ogólne twierdzenia o bycie, „Filozofuj!”, filozofuj.eu, 27 kwietnia 2021 [dostęp 2025-09-30]. – 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:
Analogiczny schemat wnioskowania dedukcyjnego ma postać: {|style="border-spacing:0px" |p lub q, |- |nie p.
|Zatem: q.
Przypisy
Kategoria:Zwroty łacińskie Kategoria:Prawa rachunku zdań