Modus ponens es una regla de inferencia lógica que establece que, si una proposición condicional es verdadera y su antecedente es verdadero, entonces su consecuente se sigue. En forma simbólica, si P implica Q y P es verdadero, entonces Q es verdadero.