Modus tollens: Porovnání verzí
Smazaný obsah Přidaný obsah
m →Vzorec: do LaTeXu |
Poupraveno + sloučeno s Modus ponendo tollens dle šablony |
||
Řádek 1:
{{Sloučit|Modus ponendo tollens|sem}}▼
{{Neověřeno}}
Ve [[výroková logika|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
=== Vzorec ===
<math>((A \Rightarrow B) \and \neg{B}) \Rightarrow \neg{A}</math>
=== Příklad ===
: ''Jestliže prší, je mokro. Není mokro, tedy neprší.''
== Modus ponendo tollens ==
'''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 ===
<math>(\neg{(A \and B)} \and A) \Rightarrow \neg{B}</math>
=== Příklady ===
: ''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 ==
{{Překlad|en|Modus tollens|541329825}}
{{pahýl}}
|