Modus tollens (łac. modus tollendo tollens – sposób zaprzeczający przy pomocy zaprzeczenia[1]) – wnioskowanie logiczne, reguła logiki mówiąca, że jeśli zaakceptujemy, że z wynika oraz że jest fałszywe, to musimy zaakceptować też fałszywość [2]:
- „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[3].
Zobacz też
Przypisy
pojęcia podstawowe |
|
---|
funktory zdaniotwórcze | |
---|
prawa rachunku zdań – jego tautologie | z jedną zmienną i bez przeczenia |
|
---|
z jedną zmienną i przeczeniem |
|
---|
z dwoma zmiennymi i bez przeczenia |
|
---|
z dwoma zmiennymi i przeczeniem |
|
---|
z trzema zmiennymi i bez przeczenia |
|
---|
|
---|
powiązane pojęcia |
|
---|