MODUS PONENS (MP) - 4010 y 4020

 

Dejo la primera regla de inferencia, MODUS PONENS (MP), que también pueden encontrarla como "Modus Ponendo Ponens (PP)" en libros de lógica general, lógica simbólica y lógica matemática.