Modus ponens

Fra Wikipedia, den frie encyklopædi
Gå til: navigation, søg

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