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


pero qe hay de la indirecta llego hasta el paso 3 :C


1.- p -> q v r
2.- p -> ¬q
3.- ¬r (meta)