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