Ejercicios de logica proposicional y de predicados - grupo 3
-
Upload
facultad-de-ciencias-y-sistemas -
Category
Education
-
view
1.244 -
download
2
Transcript of Ejercicios de logica proposicional y de predicados - grupo 3
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