Lo hice en un archivo aparte.
Encontré el error. Ahora si cierra todo.
Respecto a porque ponía ~PH en R: Estaba buscando un conjunto de hipótesis que sean un caso particular de las tres reglas y que permitan probar fácilmente ~PA /\ PF -> ~PH. R era un contraejemplo de ~PA /\ PF -> PH que surgía de una de las ramas de aplicar el principio de tercero excluido a todas las hipótesis.
Gracias.
Encontré el error. Ahora si cierra todo.
Respecto a porque ponía ~PH en R: Estaba buscando un conjunto de hipótesis que sean un caso particular de las tres reglas y que permitan probar fácilmente ~PA /\ PF -> ~PH. R era un contraejemplo de ~PA /\ PF -> PH que surgía de una de las ramas de aplicar el principio de tercero excluido a todas las hipótesis.
Gracias.