Hola nuevamente no me sale jaj.
El Theorem a mi inicialmente me quedo que era:
Hypothesis Regla1: PF \/ PA -> PH \/ PR.
Hypothesis Regla2: ~PR \/ PF.
Hypothesis Regla3: PH /\ ~PR -> PA.
Theorem ej12: (~PA /\ PF) -> (PH \/ PR) /\ PR.
Y no me sale la demostracion.
Luego mirando el foro vi que un compañero mensiona:
Theorem ej12: (~PA /\ PF) -> PH.
Me podras decir cual de los dos es el teorema? Asi sigo intentando por lo menos demostrar algo que es valido.
Saludos