SOLUCIONES AL EJERCICIO

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