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\to q$,

$p$

$⊢q$

Se også

• Modus tollens