UTNianos

Versión completa: Dudas sobre Deduccion Natural
Actualmente estas viendo una versión simplificada de nuestro contenido. Ver la versión completa con el formato correcto.
Hola a todos!

Tengo este ejercicio y no se como se llega a que la 2da opcion es la correcta.. Se que hay un post explicando un poco como verlo de forma rapida, pero no lo pude entender..


Desde ya, muchas gracias!
Saludos!
Siempre lo hago descartando,
1- El 4to no va. En las hipotesis hay un Existe , entonces la tesis debe ser un existe
2- El 1ro lo descarto. Ya que si lo seleccionas tenes que empezar con PX o TX. Aca no podes resolver TX, asi que no podes continuar
3- Ahora sabes que empieza con PXyTX, entonces resolves.

Te resuelvo de forma rapida (puede que me saltee algun paso)
PXyTX
PX
PXoMX
AXoCXoLX

Aca tenes que resolver los 3 y te queda:
AX
AXyTX
CXyQX
CX
------
CX (queda asi)
------
LX
LXoSX
GXyNX
GX
CXyQX
CX


Entonces los 3 terminaron con CX... por lo tanto seria el 2.
Muchas gracias rod77 !! De a poco lo voy entendiendo esto de estar adivinando tesis e hipotesis!
URLs de referencia