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...
Upcoming SlideShare
Loading in...5
×

Ejercicios de logica proposicional y de predicados - grupo 3

1,240

Published on

Published in: Education
0 Comments
1 Like
Statistics
Notes
  • Be the first to comment

No Downloads
Views
Total Views
1,240
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
12
Comments
0
Likes
1
Embeds 0
No embeds

No notes for slide

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 />
  1. A particular slide catching your eye?

    Clipping is a handy way to collect important slides you want to go back to later.

×