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 platí, že jestliže A, pak B, a zároveň platí ne-B, pak platí ne-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ší.

Reference[editovat | editovat zdroj]

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