Modus tollendo ponens

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]:

Analogiczny schemat wnioskowania dedukcyjnego ma postać:

p lub q,
nie p.
Zatem: q.

Przypisy

  1. ↑ publikacja w otwartym dostępie – możesz ją przeczytać Tomasz Mazur, Kurs logiki: lekcja 29. (...), Zintegrowana Platforma Edukacyjna – Ministerstwo Edukacji Narodowej, zpe.gov.pl [dostęp 2024-11-28].
  2. 1 2 modus tollendo ponens, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2024-11-28].
  3. ↑ publikacja w otwartym dostępie – możesz ją przeczytać Tadeusz Czeżowski, Ogólne twierdzenia o bycie, „Filozofuj!”, filozofuj.eu, 27 kwietnia 2021 [dostęp 2025-09-30].
This article is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.