H1: p -> q v r
H2: p -> ¬q
C: p -> r
hola amgo sde bak alguien sabe como hacer demostraciones indirectas?
tengo entendido qe de la forma directa es asi
1.- p -> q v r
2.- p -> ¬q
3.- p (antecesor)
4.- q v r (PP1,2)
5.- ¬q (PP2,3)
6.- r (SD 4,5)
7.- p -> r DD3,6...