Modus tollens: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k Linkfix ivm sjabloonnaamgeving / parameterfix |
|||
Regel 34:
'''Modus ponendo tollens''' ([[Latijn]]: "modus die wegneemt (ontkent) door te stellen (bevestigen)") is een geldige propositionele afleidingsregel met twee premissen, waarvan de eerste twee (elkaar uitsluitende) mogelijkheden geeft en de tweede een van deze mogelijkheden bevestigt, waardoor de andere mogelijkheid wordt uitgesloten. Deze modus wordt soms afgekort tot '''MPT'''.<ref>Politzer, Guy & Carles, Laure. 2001. 'Belief Revision and Uncertain Reasoning'. ''Thinking and Reasoning''. 7:217-234.</ref>
:A en B zijn niet beide het geval
:
:Dus niet
of in logische-operatornotatie:
Regel 45:
Een concreet voorbeeld:
:
:Barcelona wint.
:Dus Manchester wint niet.
== Zie ook ==
|