Buenas,

Dejo el siguiente ejercicio de parcial, para el cual encontré 2 soluciones posibles, en tal caso cual se elije? Llegana las dos soluciones también o estoy haciendo algo mal?

La cátedra marcó como correcta la Opción 3. Pero la Opción 2 también permite llegar a la Tesis.

#Lo dejo en imagen, que se ve mejor,

1 ∀x(Ax→Fx∩ Ex) HIP Planteo Hipótesis
2 ∀x (Tx →Hx∩Kx) HIP
3 ∀x(Ux∪Kx→Ax∩(-Px)) HIP
4 #Elegir una, ver línea 8 HIP ¿Cuantificadores? Si, eliminar
5 Aa→Fa∩ Ea [E∀ 1] a genérico
6 Ta →Ha∩Ka [E∀ 2] a genérico
7 Ua∪Ka→Aa∩(-Pa) [E∀ 3] a genérico
8 Ua∩Ta HIP 4: Verificación T2
9 Ua EC 8
10 Ua∪Ka ID 9
11 Aa∩(-Pa) MP 9,7
12 Aa EC 11
13 Fa∩ Ea MP 12,5
14 Ta EC 8
15 Ha∩Ka MP 14,6
16 Ka EC 15
17 Ua∪Ka ID 16
18 Aa∩(-Pa) MP 17,7
19 Aa EC 18
20 Fa∩ Ea MP 19,7
21 Ea EC 20
22 Aa ∩Ea IC 21,12
23 ∀x(Ax ∩Ex) I∀ 22 # Solución Obtenida.
----------------------------------------------------------------------------------------------------------------------------------------------------
8 Ua∪Ta Verificación T3
9 Ua Ta -
10 Ua∪Ka Ha∩Ka ID 9 MP 14,6
11 Aa∩(-Pa) Ka MP 10,7 EC 10´
12 Aa Ua∪Ka EC 11 ID 11´
13 Fa∩ Ea Aa∩(-Pa) MP 12,5 MP 12´,7
14 Ea Aa EC 13 EC 13´
15 Aa ∩ Ea Fa∩ Ea IC 12,14 MP 13´,5
16 Ea EC 15´
17 Aa ∩ Ea IC 16´,14´
18 Aa ∩ Ea ED 8
20 ∀x(Ax ∩Ex) I∀ 22 # Solución Obtenida.