Modus tollens - Nauka

Modus tollens

Z Wikipedii

Skocz do: nawigacji, szukaj

Modus tollens (modus tollendo tollens, łac. sposób zaprzeczający przy pomocy zaprzeczenia) – wnioskowanie logiczne, reguła logiki mówiąca, że jeśli zaakceptujemy, że z X wynika Y oraz że Y jest fałszywe, to musimy zaakceptować też fałszywość X.

[(p \Rightarrow q) \land \lnot q] \Rightarrow \lnot p\,\!
"Modus tollendo tollens – tryb obalający [...] przez obalenie [...]. Jest to inna postać "sylogizmu kategoryczno-hipotetycznego". Zastosowania: Jeżeli nie ma śladów uderzeń na zwłokach, a przy tym gdyby zmarły był bity przed śmiercią, to by były ślady uderzeń na zwłokach, tedy nieprawda, że zmarły był bity przed śmiercią." Tadeusz Kotarbiński, Elementy teorii poznania, logiki formalnej i metodologii nauk[1].

[edytuj] Zobacz też

[edytuj] Przypisy

  1. ↑ Warszawa, PWN 1986 (1929), str.148





SEGA przedstawia swój plan wydawniczy
SEGA postanowiła ujawnić swój plan wydawniczy na pierwszą połowę 2009 roku. Wśród gier znajdujących się na liście są takie tytuły, jak Alpha Protocol, The Conduit i Bayonetta.
Członkowie PETA przyznali nagrodę grze Fable II
Fable II uznane zostało najbardziej przyjazną zwierzętom grą w 2008 roku. Wyboru takiego dokonali przedstawiciele People for the Ethical Treatment of Animals.
Druga część Magna Carta zapowiedziana
Koreański deweloper, Softmax, stwierdził, że pracuje obecnie nad kolejną grą z cyklu Magna Carta. Gra przeznaczona jest na wyłączność dla konsoli Xbox 360.
Ujawniono datę premiery Tom Clancy´s H.A.W.X.
Ubisoft podał datę europejskiego i amerykańskiego debiutu jednego z najlepiej zapowiadających się symulatorów lotniczych – Tom Clancy´s H.A.W.X.
LotR: Conquest (PC) - nie będzie wersji demonstracyjnej
Premiera najnowszej gry osadzonej w świecie Władcy Pierścieni, The Lord of the Rings: Conquest, zbliża się wielkimi krokami. Tymczasem gracze PC-towi nie będą mogli wypróbować wersji demonstracyjnej tej produkcji przed podjęciem decyzji o jej ewentualnym zakupie.

906 brak hosta wymiana linkow 906 no host