Donar $20 Donar $50 Donar $100 Donar mensualmente
 


Enviar respuesta 
 
Calificación:
  • 0 votos - 0 Media
  • 1
  • 2
  • 3
  • 4
  • 5
Buscar en el tema
[Inteligencia Artificial] Ejercicio Deducción Natural - Lógica Proposicional
Autor Mensaje
reDDevil Sin conexión
Campeon del cubo Rubik
Al rojo vivo
****

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 122
Agradecimientos dados: 12
Agradecimientos: 117 en 16 posts
Registro en: Feb 2010
YouTube
Mensaje: #1
[Inteligencia Artificial] Ejercicio Deducción Natural - Lógica Proposicional Ejercicios Inteligencia Artificial
Gente, haciendo ejercicios de lo que dice el título me surgió la duda de cómo resolver aquellos que tienen en la tesis una proposición que no aparece en las hipótesis. Ejemplo (ejercicio propuesto nro 2 de la guía):




--------------------


Muchas gracias!
Alan

.be positive B+
20-10-2012 10:18
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Adriano Sin conexión
Presidente del CEIT
sonaiNTU arap anoD
**********

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 6.677
Agradecimientos dados: 235
Agradecimientos: 717 en 242 posts
Registro en: Jul 2008
Facebook Twitter
Mensaje: #2
RE: [Inteligencia Artificial] Ejercicio Deducción Natural - Lógica Proposicional
Si mal no recuerdo tenes que demostrar q. Entonces como la tesis dice q o p, sería verdadera.

[Imagen: digitalizartransparent.png]
20-10-2012 11:48
Visita su sitio web Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
reDDevil Sin conexión
Campeon del cubo Rubik
Al rojo vivo
****

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 122
Agradecimientos dados: 12
Agradecimientos: 117 en 16 posts
Registro en: Feb 2010
YouTube
Mensaje: #3
RE: [Inteligencia Artificial] Ejercicio Deducción Natural - Lógica Proposicional
Tiene sentido, gracias!

.be positive B+
20-10-2012 12:11
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Adriano Sin conexión
Presidente del CEIT
sonaiNTU arap anoD
**********

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 6.677
Agradecimientos dados: 235
Agradecimientos: 717 en 242 posts
Registro en: Jul 2008
Facebook Twitter
Mensaje: #4
RE: [Inteligencia Artificial] Ejercicio Deducción Natural - Lógica Proposicional
o sea... llegas a demostrar q y despues haces una "insercion de disyuncion" (creo que se llamaba asi)

[Imagen: digitalizartransparent.png]
20-10-2012 12:43
Visita su sitio web Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
brunodiaz Sin conexión
The Dark Knight
Bla
**********

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 7.762
Agradecimientos dados: 136
Agradecimientos: 381 en 132 posts
Registro en: May 2008
Mensaje: #5
RE: [Inteligencia Artificial] Ejercicio Deducción Natural - Lógica Proposicional
CREOOO que era algo asi

b y z
b (excluir conjuncion)
z (EC)
c y d y j (MP)
c (EC)
c y b (IC)
q (MP)
q o p (ID)

Era algo como eso =P
20-10-2012 13:42
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
reDDevil Sin conexión
Campeon del cubo Rubik
Al rojo vivo
****

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 122
Agradecimientos dados: 12
Agradecimientos: 117 en 16 posts
Registro en: Feb 2010
YouTube
Mensaje: #6
RE: [Inteligencia Artificial] Ejercicio Deducción Natural - Lógica Proposicional
Claro, el tema es que pensaba que para insertar una disyunción había que llegar a las dos proposiciones, pero con demostrar q basta para agregar la disyunción con p.
Gracias por la ayuda!

.be positive B+
20-10-2012 14:02
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Adriano Sin conexión
Presidente del CEIT
sonaiNTU arap anoD
**********

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 6.677
Agradecimientos dados: 235
Agradecimientos: 717 en 242 posts
Registro en: Jul 2008
Facebook Twitter
Mensaje: #7
RE: [Inteligencia Artificial] Ejercicio Deducción Natural - Lógica Proposicional
claro... para insertar una conjuncion necesitas demostrar las dos partes... en tu caso, cuando se inserta B, como la tenes "demostrada" mas arriba, podes hacerlo... pero "de la nada" no podrias

[Imagen: digitalizartransparent.png]
20-10-2012 14:12
Visita su sitio web Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
brunodiaz Sin conexión
The Dark Knight
Bla
**********

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 7.762
Agradecimientos dados: 136
Agradecimientos: 381 en 132 posts
Registro en: May 2008
Mensaje: #8
RE: [Inteligencia Artificial] Ejercicio Deducción Natural - Lógica Proposicional
Como dice Adriano cuando incluis una conjuncion tenes que haber demostrado ambas partes.

Lo contrario se con la disyuncion, a la hora de incluir disyuncion podes incluir todas las que quieras sin demostrarlas (porque con tener demostrada una ya alcanza para que sea verdad), en cambio a la hora de excluir la disyuncion tenes que ver que pasa con cada una para demostrar que a tu tesis se puede llegar sea cual sea de las dos la que es verdadera.

Pensalo desde las tablas de verdad y vas a ver que es puro sentido comun el tema este.
20-10-2012 14:22
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)



    This forum uses Lukasz Tkacz MyBB addons.