Demostración de la validez del argumento mediante las leyes de
la inferencia lógica


B. Expresión simbólica:[() ∧ ( → ) ∧ ( → )] →
Premisas:
P1:
P2: →
P3: → r
Conclusión: r