Modus tollens

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledání

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[editovat | editovat zdroj]

((A \Rightarrow B) \and \neg{B}) \Rightarrow \neg{A}

Příklad[editovat | editovat zdroj]

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

Modus ponendo tollens[editovat | editovat zdroj]

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.

Vzorec[editovat | editovat zdroj]

(\neg{(A \and B)} \and A) \Rightarrow \neg{B}

Příklady[editovat | editovat zdroj]

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ší.


Reference[editovat | editovat zdroj]

V tomto článku byl použit překlad textu z článku Modus tollens na anglické Wikipedii.

V tomto článku byl použit překlad textu z článku Modus ponendo tollens na anglické Wikipedii.