Wikipedie

Modus ponendo tollens: Porovnání verzí

Interaktivně procházet historii
← Přejít na předchozí porovnáníPřejít na další porovnání →
Smazaný obsah Přidaný obsah
VizuálníWikitext
m ++{{Sloučit|Modus tollens|tam}}
Sloučeno a vloženo přesměrování na Modus tollens dle rok staré šablony
Řádek 1:
{{Sloučit|#PŘESMĚRUJ [[Modus tollens|tam}}]]
'''Modus ponendo tollens''' je způsob usuzování (ve výrokové logice), který má formu:
 
1. non (AΛB)
 
2. A
 
3. non B
 
'''Slovy:'''
 
1. Není pravda, že platí zároveň A i B.
 
2. Platí A.
 
3. Tudíž neplatí B.
 
'''Příklady:'''
 
Není pravda, že pojedu autem a zároveň autobusem.
Pojedu autem.
Tudíž nepojedu autobusem.
 
Není možné, aby vyhráli červení i modří.
Vyhráli červení.
Tudíž modří nevyhráli.
 
Nelze aby pršelo a nepršelo.
Prší.
Tudíž prší. (Ne-neprší.)
 
[[Kategorie:Logika]]
[[Kategorie:Latinská slova a fráze]]
Citováno z „https://cs.wikipedia.org/wiki/Modus_ponendo_tollens“