Modus tollens

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie

(Pravidlo) modus tollens alebo (pravidlo) modus tollendo tollens je nasledujúca schéma usudzovania: ((A ⇒ B) Λ non-B) ⇒ non-A.

Vyjadrené slovami: Ak platí "z A vyplýva B" a súčasne vieme, že platí opak B, tak platí opak A. Príklad: Ak platí "ak mám peniaze, tak si kúpim auto" a auto si nekúpim, tak nemám peniaze.

Táto schéma usudzovania je z hľadiska logiky bezchybná, je teda logická.

Pozri aj[upraviť | upraviť zdroj]