Modus ponens

Modus ponens (Latina: režim, který tvrdí) je platný, jednoduchý forma argumentu:

Jestliže P, pak Q.

P.

Proto, Q.

nebo v logickém operátorovi notace:

kde reprezentuje logické tvrzení.

Forma argumentu má dva předpoklady. První předpoklad je “jestliže-pak” nebo podmíněný požadavek, jmenovitě to P implikuje Q. druhý předpoklad je to P, předchůdce podmíněné pohledávky, je pravdivý. Od těchto dvou předpokladů to může být logicky uzavřel, že Q, následující podmíněné pohledávky, muset být pravdivý také.

Tady je příklad argumentu, který sedí formě modus ponens:

Jestliže demokracie je nejlepší vládní systém, pak každý by měl hlasovat.

Demokracie je nejlepší vládní systém.

Proto, každý by měl hlasovat.

Pro zábavný dialog to problematizes modus ponens, vidět Lewise Carrolla' s”Co želva říkala k Achilles”.

Viz též: modus tollens, tvrdit následující, Popírat předchůdce.