UTNianos

Estimados:

Estoy practicando para el final del 03/12 y me surgió la duda con este ejercicio.



Lo resolví del siguiente modo (pero no me cierra para nada la resolución sinceramente):

1) Ax ^ Bx ^ Cx
2) Ax ^ Cx -> Ex v Rx
3) Ex ^ Bx -> Px
4) Rx -> Zx (la hipotesis que elegis)
---------------------------------------------------
Px v Zx

5) Ax ^ Cx [EC, 1]
6) Ex v Rx [MP,1,5]
7) Ex 7´) Rx
8) Ax ^ Bx [EC, 1] 8´) Zx [MP, 4, 7']
9) Bx [EC,8]
10) Ex ^ Bx [IC, 7,9]
11) Px [MP, 3,10]

Conclusión: Si bien no obtuve lo mismo en la eliminación de disyunción entre Ex,Rx pude llegar a la tesis a partir de los dos caminos, no creo que esté OK este razonamiento pero es el unico que se me ocurrió.

Si alguno puede dar una mano, es super bienvenida, estamos perdidos con los chicos que estamos estudiando.

Muchas gracias de antemano.

Saludos!!!

Se me ocurre que está bien.
Habría que agregar el último paso que es la Introducción de la disyunción, para dar por terminada la deducción, y se me ocurre que se puede hacer por cualquiera de los dos caminos.
Cumple con los criterios de una deducción automática, no veo porque no habría de estar bien.

Saludos.

1) Ax ^ Bx ^ Cx
2) Ax ^ Cx -> Ex v Rx
3) Ex ^ Bx -> Px
4) Rx -> Zx (la hipotesis que elegis)
---------------------------------------------------
Px v Zx

5) Ax ^ Cx [EC, 1]
6) Bx [EC, 1]
7) Ex v Rx [MP,1,5]
8) Ex [ED, 7 ] 8´) Rx [ED, 7 ]
9) Ex ^ Bx [IC, 8,6] 9´) Zx [MP, 4, 8']
10) Px [MP, 3,9] 10') Px v Zx (ID 9')
11) Px v Zx (ID 11)

Si, se hace como mencionás vos. Saludos, y gracias.