Tema: Solución de Ejercicios

Elaborado por: Wiston Altamirano Morales. Evert Alonzo Ortega Alberto García Gonzales. Grupo: 4tn-is Profesor: Ariel Chávez.

Trabajo de Inteligencia Artificial

Cualquier mono es un animal peludo.

 

P: cualquier mono.

Q: animal peludo.

Lógica proposicional.

P→Q

Lógica de Predicado

 

Vx [Mo(x) →Pe(X)]

EJERCICIO 1.

• Todo elefante que no sea miedoso o es un mono o es un ratón

p: ser elefante, q: ser miedoso, t: es un ratón, r: es un mono

El: ser elefante, MI: ser miedoso, RA: es un ratón, MO: es un mono

 

Lógica proposicional.

( V El ٨ ¬ MI) ٧ RA ٧ MO

Lógica de Predicado

 

Vx [El(x) ٨ ¬MI(X) →MO(x) ٧ RA(x) ]

 

 

EJERCICIO 1.

Todos los seres vivos son mortales, Todos los humanos son seres vivos; luego todos los humanos son mortales.

p: todos los seres vivos son mortales. q: todos los Humanos son seres vivos, r: todos los humanos son mortales Lógica proposicional

p, q; luego r  Todas las personas educadas son atentas. Algunos funcionarios no

son atentos, luego Algunos funcionarios no son personas educadas.

p: Todas las personas educadas son atentas, q: Algunos funcionarios no son atentos, r: Algunos funcionarios no son personas educadas  Lógica proposicional

p, q; luego r 

 

EJERCICIO 1.

Todas las personas educadas son atentas. Algunos funcionarios no son atentos, luego Algunos funcionarios no son personas educadas.

p: Todas las personas educadas son atentas,

q: Algunos funcionarios no son atentos,

r: Algunos funcionarios no son personas educadas

 

Lógica proposicional

p, q; luego r 

EJERCICIO 1.

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.

Red Semántica Lógica de predicado

Hx: es hermana

Mx: es madre

Ta: es tía  

$ X (Mx ٨ Hx) → $ y (Ta)

 

 

 

 

EJERCICIO 2.

X

ZY

Hermana

Madre

Tía