¿En que consiste el silogismo llamado modus ponens?

Es una forma simple de argumento valido  y regla de inferencia . Se puede resumir como "P entonces Q; P se afirma siendo verdad, por lo que, por tanto, Q debe ser verdad." La historia del modus ponens se remonta a la antigüedad.