Download Lógica para la computación - Mi Portal

Lógica para la computación
EJERCICIOS TEMA 4
1. Aplica las sustituciones indicadas en las siguientes fórmulas:
- Žx(Px→Axy) → jyG(f(y))
â = [x/g(y) , y/w]
- ŽxPx ^Ay → jzRzxy â = [x/f(x) , y/w, z/f(c)]
2. Formalizar los siguientes enunciados y razonamientos en lógica de predicados:
- Todos los peces tienen aletas. Los delfines tienen aletas. Por tanto, los delfines son peces.
- Juan afeita a los que no se afeitan así mismos
- Existe un estudiante que afeita a todos los que no se afeitan así mismos
- Hay estudiantes que no afeitan a nadie, pero Juan se afeita así mismo
- Todos
los rinocerontes tienen un cuerno; todos los plantígrados son rinocerontes; así pues,
todos los plantígrados tienen un cuerno.
- Todo aquel que ama apasionadamente es desgraciado. Quien oculta su desgracia muere
prematuramente. Por tanto, si todos los que son desgraciados ocultan su desgracia, todos los
que aman apasionadamente mueren de forma prematura.
- Ningún feo despierta pasiones; todos los atletas despiertan pasiones; por tanto, ningún
atleta es feo.
- Todos
los niños son traviesos, así pues, si Daniel es un niño, entonces, si todos los seres
traviesos son adorables, Daniel es adorable.
- Todos los detectives americanos pueden desentrañar asesinatos. Cualquier detective que
desentrañe un asesinato obtendrá una recompensa. Colombo es un detective americano. Por
tanto, Colombo obtendrá una recompensa.
- Algunas mansiones no tienen más de 10 baños. Todas las mansiones son construcciones
lujosas. Luego, algunas construcciones lujosas no tienen más de 10 baños.
Lógica para la Computación. Ejercicios Tema IV ______________________________________________________________ 1/1