Deducción con el Modus Ponens
Teclea en los recuadros las correspondientes deducciones y su justificación.