LÓGICA PROPOSICIONAL Y DE PREDICADOS
Tarea Individual. Entrega Enero 08 de abril de 2019
1. ¿Podrías ayudar a Angelines aclarando sus ideas?
CORAZÓN LOCO.
Angelines está agobiada por sus problemas amorosos. No se aclara. Si ama a
Pierre, no ama a don Marcelín Claraboy, pero si no ama a don Marcelín, ama a
Robert. Si ama a Robert, deja de amar a Vincent, pero si no ama a Vincent,
entonces ama a François, el lechero de la esquina. -Angelines, por favor, la
increpamos, ¿es que no estás segura de tus sentimientos?. Una cosa es cierta
–nos responde: Estoy segura de que amo a Pierre.
Usar para resolver: Lógica proposicional y Modus Ponens
2. Lee el texto siguiente. No se trata de que ejerzas de psicólogo ni de
detective. Lo tuyo, en esta situación, es utilizar tus habilidades lógicas:
formaliza los argumentos que aparecen y aplica las reglas de deducción; así
encontrarás las respuestas a los interrogantes.
EL DETECTIVE MARTÍNEZ ESPECULA.
Con objeto de ejercitar su capacidad lógica, Martínez pasa las tardes de
domingo resolviendo casos imaginarios. Él mismo se plantea los supuestos, las
coartadas de los sospechosos y las pistas que le permitan solucionar el
enigma. Cuando halla la solución se premia con un gin-tonic. Si no la
encuentra se pone la televisión.
En el caso que hoy le ocupa dispone de los siguientes datos:
− O el crimen se cometió de noche en la más absoluta oscuridad o
sospechoso es ciego.
− Pero, o el principal sospechoso no es ciego o miente al declarar
nada.
− Pero, o no miente o el detector de mentiras está estropeado.
− El caso es que el citado detector no puede estar estropeado
infalible).
¿Miente o no miente el sospechoso? ¿Es ciego o no lo es? ¿Se
crimen de día o de noche?
Usar para resolver: Lógica proposicional
el principal
que no vio
jamás (es
cometió el
3.
Dada la siguiente frase en lenguaje natural:
Sólo los amigos de Juan son divertidos
Se pide:
Formalizarla en el cálculo de predicados utilizando como domino general:
las personas
Evaluarla en el dominio D = {Pedro, Juan, Luis}, sabiendo que:
Pedro es divertido y Juan y Luis no lo son.
Pedro es amigo de sí mismo y de Luis.
Juan es amigo de todos.
Luis es amigo de sí mismo y de Juan.
Usar para resolver: Usar lógica de predicados
4. Dada la siguiente frase en lenguaje natural:
Todos los vecinos del vecindario odian a una persona
Se pide:
Formalizarla en el cálculo de predicados utilizando como domino
general: las personas
Evaluarla en el dominio D = {Begoña, María, Nieves}, sabiendo que:
o
o
o
Begoña y María pertenecen al vecindario, y Nieves no.
Nieves no odia a nadie.
Begoña y María sólo odian a Nieves.
Usar para resolver: Usar lógica de predicados
5. Dada la siguiente frase en lenguaje natural:
Si los obreros no son trabajadores, entonces algunos empresarios no son
demasiado listos y se arruinarán
Se pide:
Formalizarla en el cálculo de predicados, empleando dos dominios: D1
= los obreros, D2 = los empresarios.
Evaluarla en los dominios D1 = {obrero-Pedro, obrero-Luis, obreroCarlos}, y D2 = {empresario-Juan, empresario-Miguel, empresarioRoberto}, sabiendo que:
o
o
o
o
Pedro es el único obrero trabajador.
Juan es listo y no se arruinará.
Miguel no es listo y se arruinará.
Roberto se arruinará a pesar de ser listo
Usar para resolver: Usar lógica de predicados
Universidad Central
Julio César Sierre G
Diciembre 20 de 2019
