Trabajo de <br />Inteligencia Artificial<br />Tema:  Solución de Ejercicios<br />Elaborado por:                         Wi...
<ul><li>Cualquier mono es un animal peludo.</li></ul> <br />                P: cualquier mono.<br />                Q: ani...
Ejercicio 1. <br /><ul><li>Todo elefante que no sea miedoso o es un mono o es un ratón</li></ul>p: ser elefante, q: ser mi...
Ejercicio 1.<br /><ul><li>Todos los seres vivos son mortales, Todos los humanos son seres vivos; luego todos los humanos s...
<ul><li>Todas las personas educadas son atentas. Algunos funcionarios no son atentos, luego Algunos  funcionarios no son p...
Ejercicio 2.<br /><ul><li>Si x es la madre de y, y si z es la hermana de x, entonces z es la tía de y. Supongamos ahora qu...
Próxima SlideShare
Cargando en…5
×

Ejercicios de logica proposicional y de predicados - grupo 3

1.619 visualizaciones

Publicado el

Publicado en: Educación
0 comentarios
1 recomendación
Estadísticas
Notas
  • Sé el primero en comentar

Sin descargas
Visualizaciones
Visualizaciones totales
1.619
En SlideShare
0
De insertados
0
Número de insertados
3
Acciones
Compartido
0
Descargas
14
Comentarios
0
Recomendaciones
1
Insertados 0
No insertados

No hay notas en la diapositiva.

Ejercicios de logica proposicional y de predicados - grupo 3

  1. 1. Trabajo de <br />Inteligencia Artificial<br />Tema: Solución de Ejercicios<br />Elaborado por: Wiston Altamirano Morales. Evert Alonzo Ortega Alberto García Gonzales. Grupo: 4tn-is Profesor: Ariel Chávez.<br />
  2. 2. <ul><li>Cualquier mono es un animal peludo.</li></ul> <br /> P: cualquier mono.<br /> Q: animal peludo.<br /> Lógica proposicional.<br />P->Q<br /> Lógica de Predicado<br /> <br /> Vx [Mo(x) ->Pe(X)]<br />Ejercicio 1. <br />
  3. 3. Ejercicio 1. <br /><ul><li>Todo elefante que no sea miedoso o es un mono o es un ratón</li></ul>p: ser elefante, q: ser miedoso, t: es un ratón, r: es un mono<br />El: ser elefante, MI: ser miedoso, RA: es un ratón, MO: es un mono<br /> <br />Lógica proposicional.<br />( V El ٨ ¬ MI) ٧RA ٧MO<br />Lógica de Predicado<br /> <br />Vx[El(x) ٨¬MI(X) ->MO(x) ٧ RA(x) ]<br /> <br /> <br />
  4. 4. Ejercicio 1.<br /><ul><li>Todos los seres vivos son mortales, Todos los humanos son seres vivos; luego todos los humanos son mortales.</li></ul>p: todos los seres vivos son mortales. q: todos los Humanos son seres vivos, r: todos los humanos son mortales<br />Lógica proposicional<br /> p, q; luego r<br /> <br /><ul><li>Todas las personas educadas son atentas. Algunos funcionarios no son atentos, luego Algunos funcionarios no son personas educadas.</li></ul>p: Todas las personas educadas son atentas, q: Algunos funcionarios no son atentos, r: Algunos funcionarios no son personas educadas<br /> <br />Lógica proposicional<br /> p, q; luego r<br /> <br /> <br />
  5. 5. <ul><li>Todas las personas educadas son atentas. Algunos funcionarios no son atentos, luego Algunos funcionarios no son personas educadas.</li></ul>p: Todas las personas educadas son atentas, <br />q: Algunos funcionarios no son atentos, <br />r: Algunos funcionarios no son personas educadas<br /> <br /> Lógica proposicional<br /> p, q; luego r<br /> <br />Ejercicio 1.<br />
  6. 6. Ejercicio 2.<br /><ul><li>Si x es la madre de y, y si z es la hermana de x, entonces z es la tía de y. Supongamos ahora que la madre de Braulio es Juana, y que Lola es hermana de Juana. Demostrar que Lola es tía de Braulio.</li></ul>Red Semántica Lógica de predicado <br /> Hx: es hermana <br /> Mx: es madre<br /> Ta: es tía  <br />$X (Mx ٨Hx) ->$y (Ta) <br /> <br /> <br /> <br /> <br />X<br />Madre<br />Hermana<br />Z<br />Y<br />Tía<br />

×