Ejercicios de Lgica Proposicional

3 de Octubre de 2013

Recordad que podis usar la pgina Gateway to Logic para calcular las formas normales conjuntivas de las frmulas que vayis usando. 1.- Determina, tras formalizar en un lenguaje proposicional, si los siguientes argumentos son lgicamente correctos: a. Si Juan es comunista, entonces Juan es ateo. Juan es ateo. Por tanto, Juan es comunista. b. Cuando tanto la temperatura como la presin atmosfrica permanecen contantes, no llueve. La temperatura permanece constante. En consecuencia, en caso de que llueva, la presin atmosfrica no permanece constante. c. Siempre que un nmero x es divisible por 10, acaba en 0. El nmero x no acaba en 0. Luego, x no es divisible por 10. d. Para que un nmero x sea divisible por 5, es necesario que el nmero acabe en 0. El nmero x no acaba en 0. Luego, x no es divisible por 5. e. El nmero y es negativo si x es positivo. Cuando z es negativo, y tambin lo es. Por tanto, y es negativo siempre que o bien x sea positivo o bien z sea negativo. f. En cierto experimento, cuando hemos empleado un frmaco A, el paciente ha mejorado considerablemente en el caso, y slo en el caso, en que no se haya empleado tambin un frmaco B. Adems, o se ha empleado el frmaco A o se ha empleado el frmaco B. En consecuencia, podemos afirmar que si no hemos empleado el frmaco B, el paciente ha mejorado considerablemente. g. Si llueve las calles estn vacas. Si las calles estn vacas, los comercios obtienen prdidas. Los msicos no podran sobrevivir si los comerciantes no les contratasen para componer canciones para publicidad. Los comerciantes invierten en canciones publicitarias cuando tienen prdidas. Por tanto, si llueve los msicos pueden sobrevivir. h. Si el barco entra en el puerto, habr una gran fiesta. El barco entra en el puerto slo si necesita repostar combustible. El barco no necesita combustible a menos que venga de muy lejos. Es imposible que no necesite combustible si la comida ya se les ha terminado. Sabemos que, o bien se le ha terminado la comida, o bien necesita combustible. Por tanto: habr una gran fiesta.

i. Si f es diferenciable en [a, b], es continua y acotada en [a, b]. Si f no fuese acotada en [a, b] no podr ser diferenciable en [a, b]. Por tanto: si f es discontinua y acotada en [a, b] no es diferenciable en [a, b]. j. Si llueve no ir al mercado. Si no ir al mercado, o bien no tendr comida o bien ir al restaurante. Llueve y tengo comida. Por lo tanto, no ir al restaurante. 2.- Ash, Misty y Brock han organizado una batalla entre sus Pokemon. Se conocen los siguientes datos al respecto: a) Uno, y slo uno, de los siguientes Pokemon fue el vencedor: Pikachu, Bulbasaur, Togepi, Starmie, Vulpix y Onix. b) Ash gan la batalla si el Pokemon vencedor fue Pikachu o Bulbasaur. c) Si o bien Togepi o bien Starmie fue el vencedor, Misty gan la batalla. d) Brock gan la batalla si el vencedor fue Onix o Vulpix. e) Si Onix fue derrotado, Starmie tambin. f ) Bulbasaur fue derrotado. g) Si Pikachu fue derrotado, entonces Ash no gan la batalla. h) Brock no gan la batalla si Bulbasaur fue derrotado. i) Si Vulpix fue derrotado, Togepi y Onix tambin corrieron la misma suerte. Probad que Ash fue el ganador. 3.- En un texto de Lewis Carroll, el tio Jorge y el to Jaime discuten acerca de la barbera del pueblo, atendida por tres barberos: Alberto, Benito y Carlos. Los dos tos aceptan las siguientes premisas: a. Si Carlos no esta en la barbera, entonces ocurrir que si tampoco est Alberto, Benito tendr que estar para atender el establecimiento. b. Si Alberto no est, tampoco estar Benito. El to Jorge concluye de todo esto que Carlos no puede estar ausente, mientras que el to Jaime afirma que slo puede concluirse que Carlos y Alberto no pueden estar ausentes a la vez. Cul de los dos tiene razn? 4.- Las guerras clon han comenzado. Durante el transcurso de una refriega, tres caballeros Jedi, Anakin, Obi Wan y Yoda, se encuentran con el conde Dooku. Utilizaremos el lenguaje proposicional A, O, Y para denotar que el correspondiente caballero participa en el combate, y G para denotar "los Jedi han ganado". a. Formaliza las siguientes afirmaciones:

F1 : Para derrotar al conde Dooku deben participar al menos dos caballeros Jedi. F2 : El Conde Dooku gana cuando slo participa un caballero. F3 : Si el Conde Dooku pierde entonces Anakin ha participado en el combate. F4 : Si el Conde Dooku pierde, entonces no han participado los tres caballeros. b. Es cierto que {F1, F2, F3} |= G -> A & O? Raznese formalmente la respuesta.