Seguimos buscando a Arshak. Ayudanos compartiendo!
Encuesta no oficial de docentes
Resultados de la encuesta no oficial de docentes
Probaste el SIGA Helper?

Donar $100 Donar $200 Donar $500 Donar mensualmente


Enviar respuesta 
 
Calificación:
  • 0 votos - 0 Media
  • 1
  • 2
  • 3
  • 4
  • 5
Buscar en el tema
Deducción Natural - Duda
Autor Mensaje
juanmanuelcolado Sin conexión
Empleado de Fotocopiadora
Sin estado :(
**

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 32
Agradecimientos dados: 22
Agradecimientos: 3 en 3 posts
Registro en: Sep 2011
Mensaje: #1
Deducción Natural - Duda Parciales y 1 más Inteligencia Artificial
Estimados:

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

[Imagen: 0?ui=2&ik=ae96fc9fc9&att...amp;amp;zw]

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!!!
30-11-2014 14:52
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
charlydb Sin conexión
Empleado del buffet
Sin estado :(
*

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 9
Agradecimientos dados: 17
Agradecimientos: 12 en 4 posts
Registro en: Feb 2011
Mensaje: #2
RE: Deducción Natural - Duda
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)
02-12-2014 12:00
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
[-] charlydb recibio 2 Gracias por este post
juanmanuelcolado (02-12-2014), CarooLina (19-05-2016)
juanmanuelcolado Sin conexión
Empleado de Fotocopiadora
Sin estado :(
**

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 32
Agradecimientos dados: 22
Agradecimientos: 3 en 3 posts
Registro en: Sep 2011
Mensaje: #3
RE: Deducción Natural - Duda
Si, se hace como mencionás vos. Saludos, y gracias.
02-12-2014 14:42
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Buscar en el tema
Enviar respuesta 




Usuario(s) navegando en este tema: 1 invitado(s)