Regla de inferencia formulada en la tautología [(p-->q)&q]-->q. También llamada modus ponendo ponens (afirmando afirma). Es la más usada en solución de problemas, por tener un valor predictivo y de descubrimiento: si sabemos que p-->q es verdadera (teorema conocido) y descubrimos que se cumple p (por ejemplo, a partir de los datos), podemos concluir q. Ejemplo: de los datos descubrimos que un segmento "es paralela a la base y pasa por el punto medio de un lado del triángulo" (descubrimos que p se cumple), entonces podemos concluir que "pasa por el punto medio del otro lado" apelando al teorema de la línea media.