Modus ponens

Modus ponens er navnet på en syllogisme indenfor klassisk logik.

I naturligt sprog:

Hvis P, så Q

P er Sand

Ergo, Q er Sand

I formel logik (sætningslogik):

$p\rightarrow q$,

$p\quad$

$\vdash q$