Modus tollens

Ve výrokové logice Modus tollens, také Modus tollendo tollens či popírání důsledku je pravidlo usuzování, jehož forma je následující:

Jestliže A implikuje B a zároveň neplatí B, neplatí A.

Vzorec

$((A\Rightarrow B)\land \neg {B})\Rightarrow \neg {A}$

Jestliže prší, je mokro. Není mokro, tedy neprší.

Modus ponendo tollens je podobné pravidlo, jehož forma je následující:

Jestliže nemůže současně platit A a B a platí A, nemůže platit B.

$(\neg {(A\land B)}\land A)\Rightarrow \neg {B}$

Není pravda, že pojedu autem a zároveň autobusem. Pojedu autem. Z toho vyplývá, že nepojedu autobusem.

Není možné, aby vyhráli červení i modří. Vyhráli červení. Z toho vyplývá, že modří nevyhráli.

Nelze, aby pršelo a nepršelo zároveň. Prší. Neplatí tedy, že neprší.

V tomto článku byly použity překlady textů z článků Modus tollens na anglické Wikipedii a Modus ponendo tollens na anglické Wikipedii.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.