SOLUCIONES AL EJERCICIO
b.
( p -> Q) & (Q -> R), P |- R