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
[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: 132 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):

\[b \wedge z\]
\[z \rightarrow c \wedge d \wedge j\]
\[c \wedge b \rightarrow q\]
--------------------
\[q \vee p\]

Muchas gracias!
Alan

.be positive B+
20-10-2012 10:18
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Agro Sin conexión
Presidente del CEIT
Su marca puede estar aquí
**********

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 6.760
Agradecimientos dados: 252
Agradecimientos: 888 en 293 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
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: 132 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
Agro Sin conexión
Presidente del CEIT
Su marca puede estar aquí
**********

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 6.760
Agradecimientos dados: 252
Agradecimientos: 888 en 293 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
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.707
Agradecimientos dados: 92
Agradecimientos: 384 en 135 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: 132 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
Agro Sin conexión
Presidente del CEIT
Su marca puede estar aquí
**********

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 6.760
Agradecimientos dados: 252
Agradecimientos: 888 en 293 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
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.707
Agradecimientos dados: 92
Agradecimientos: 384 en 135 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)