Resolución de los Ejercicios de Lógica proposicional 1. entonces sus padres no estarán satisfechos y le impedirán dedicar tanto tiempo a la televisión. tanto si viene en tren como si viene en coche. llegará antes de las seis. llegará antes de las seis. p = viene en tren q = llegará antes de las seis r = viene en coche (p →q) (r→q) (p ⊢r) →q . Formaliza los siguientes enunciados: A) La eternidad está enamorada de las obras del tiempo. p= La eternidad está enamorada q = las obras del tiempo p^q B)No me gusta trasnochar ni madrugar. Si viene en coche. Luego. llegará antes de las seis. p = Manolito es un televidente extraordinario q = pésimo estudiante r = sus padres estarán satisfechos s = le impedirán dedicar tanto tiempo a la televisión (p q) → (~r s) D) Si viene en tren. p= me gusta trasnochar q = madrugar ~p^~q C) Si Manolito es un televidente extraordinario y un pésimo estudiante.

p = los coches dejaran de utilizar este tipo de combustible q = contaminarían menos p→ q P V V F F Q V F V F P→Q V F V V No sé si iré a casa de mi amiga o si me quedaré en casa estudiando.E) La nueva vacuna contra el SIDA se podrá experimentar y distribuir en los centros hospitalarios si y sólo si las autoridades sanitarias consideran que retrasa el desarrollo de la enfermedad y no produce ningún tipo de efectos secundarios. entonces contaminarían menos. p = iré a casa de mi amiga q = me quedaré en casa estudiando ~p v q P V V F F Q V F V F ~P F F V V ~P v Q V F V V . Traduce al lenguaje formal y construye la tabla de verdad de las siguientes expresiones: Si los coches dejaran de utilizar este tipo de combustible. p = La nueva vacuna contra el SIDA se podrá experimentar q = distribuir en los centros hospitalarios r = las autoridades sanitarias consideran que retrasa el desarrollo de la enfermedad s = produce ningún tipo de efectos secundarios (p q) (r ~s) 2.

p = estudiado el examen q= me van a suspender igual ~p q P V V F F Q V F V F ~P F F V V ~P  Q F F V F Si estudio más. p = estudio más q = aprenderé a construir tablas de verdad correctamente r = voy a la fiesta s = con todo ello conseguiré aprobar el curso (p → q) (~r → s) P V V V V V V V V F F F F F F F F Q V V V V F F F F V V V V F F F F R V V F F V V F F V V F F V V F F S V F V F V F V F V F V F V F V F P→Q V V V V F F F F V V V V V V V V ~R F F V V F F V V F F V V F F V V ~R → S V V V F V V V F V V V F V V V F (P → Q) (~R → S) V V V F F F F F V V V F V V V F . pero me van a suspender igual. entonces con todo ello conseguiré aprobar el curso.No es cierto que no haya estudiado el examen. aprenderé a construir tablas de verdad correctamente. Y si además no voy a la fiesta.

(P Q) R Argentina no se moviliza. (P Q) R O bien Argentina se moviliza y Brasil impone restricciones comerciales. o bien Brasil impone restricciones comerciales. Fíjate en las siguientes proposiciones y formaliza las expresiones que figuran a continuación: p = Argentina se moviliza. r = Cuba sigue enviando armas a Sudamérica. P ~Q No se da el caso de que Argentina se movilice y Brasil imponga restricciones comerciales.3. o bien Cuba sigue enviando armas a Sudamérica. Argentina se moviliza y. ~P Q O bien Argentina se moviliza. q = Brasil impone restricciones económicas. s = La república Dominicana apela a las Naciones Unidas. . o bien Brasil no impone restricciones comerciales. o bien Cuba sigue enviando armas a Sudamérica. pero Brasil impone restricciones comerciales.

o bien Argentina se movilice. o bien Brasil no imponga restricciones comerciales. (P Q) ~(R S) O bien Brasil impone restricciones comerciales y la República Dominicana apela a las Naciones Unidas o bien Cuba sigue enviando armas a Sudamérica o Argentina se moviliza.~ (P Q) No se da el caso de que. ~R [~ S (P↓Q) ] . o bien Brasil impone restricciones comerciales. ~ P ~Q O bien Argentina se moviliza y Brasil impone restricciones comerciales o bien no se da el caso de que Cuba siga enviando armas a Sudamérica y que la República Dominicana apele a las Naciones Unidas. o Cuba sigue enviando armas a Sudamérica y la República Dominicana apela a las Naciones Unidas. (Q S) (R P) Argentina se moviliza y. y ni Argentina se moviliza ni Brasil impone restricciones comerciales. (P Q) (R S) O bien Cuba no sigue enviando armas a Sudamérica o bien la República Dominicana no apela a las Naciones Unidas.

Desarrolla las tablas de verdad de las siguientes expresiones lógicas y razona si son fórmulas contradictorias. ¬(p Λ q) ↔ (¬p V ¬q) P V V F F Q V F V F PΛQ V F F F ~(P Λ Q) F V V V ~P F F V V ~Q F V F V ~P V ~Q ~(P Λ Q) ↔(~P V ~Q) F V V V V V V V TAUTOLÓGICA 2. ~(p Λ ~p) P V F ~P F V P Λ ~P F F ~(P Λ ~P) V V .4. consistentes o tautológicas: 1.

[p → (q V r)] ↔ [(p → q) V (p → r)] P V V V V Q V V F F R V F V F QVR V V V F P→(QVR) V V V F P→Q V V F F P→R V F V F (P→Q)V(P→R) V V V F *P→(QVR)+↔*(P→Q)V(P→R)+ V V V V .TAUTOLÓGICA 3. [p Λ (q V r)] ↔ [(p Λ q) V (p Λ r)] P V V V V F F F F Q V V F F V V F F R V F V F V F V F QΛR V F F F V F F F PΛ(QΛR) V F F F F F F F PΛQ V V F F F F F F PΛR V F V F F F F F (PΛQ)V(PΛR) V V V F F F F F *P Λ (QVR) +↔*(P Λ Q) V (P Λ R) + V F F V V V V V CONSISTENTE 5. (p V q) ↔ (q ↔ p) P V V F F Q V F V F PVQ V V V F Q↔P V F F V (P V Q) ↔ (Q↔P) V F F F CONSISTENTE 4.

Q→ (P v Q) P V V F F Q V F V F PvQ V V V F Q→(PvQ) V V V V P→(PvQ) V V V V . Demuestra por el método de las tablas de verdad las siguientes reglas de inferencia (véanse en los apuntes): − Introducción del disyuntor.F F F F V V F F V F V F V V V F V V V V V V V V V V V V V V V V V V V V TAUTOLÓGICA 5.

[(P→Q)٨(Q→R)]→ (P→R) P V V V V F F F F Q V V F F V V F F R V F V F V F V F P→Q V V F F V V V V Q→R V F V V V F V V (P→Q)٨(Q→R) V F F F V F V V P→R V F V F V V V V *(P→Q)٨(Q→R)+→(P→R) + V V V V V V V V − Ley de contraposición.− Ley del silogismo hipotético. [(PvQ)٨~P]→Q P V Q V PvQ V ~P F (PvQ)٨~P V [(PvQ)٨~P+→Q V . A→B)→ (~B→~A) A V V F F B V F V F (A→B) V F V V ~B F V F V ~A F F V V ~B→~A V F V V (A→B)→(~B→~A) V V V V − Silogismo disyuntivo.

Luego baja el poder adquisitivo de la moneda. entonces baja el poder adquisitivo de la moneda. Traduce al lenguaje formal y realiza la correspondiente deducción: Si suben los salarios. . Os negáis a que juguemos todos. entonces suben los precios. Si suben los precios. p = suben los salarios q = suben los precios r = baja el poder adquisitivo de la moneda p→q q→r p⊢r 7. Realiza la deducción lógica de los siguientes argumentos: O jugamos todos o rompemos la baraja. Si rompemos la baraja nos aburriremos sin remedio o tendremos que comprar otra. Luego compramos una baraja nueva o nos aburriremos sin remedio. Suben los salarios. (A٨~A)→B A V V F F B V F V F ~A F F V V ~P F V F V A٨~A F F F F (A٨~A)→B V V V V 6.V F F F V F V V F F V F V V F F V V − Ex contradictione quodlibet.

Joe Cocker te entusiasmará. Iron Maiden te puede matar. Si te vuelve loco Van Morrison. O sea y resumiendo. ¿Podrías ayudar a Angelines aclarando sus ideas? CORAZÓN LOCO . ni las aletas serán utilizadas de nuevo. los submarinistas no tendrán que hacer cuarentena. Van Morrison te volverá loco. ni las aletas serán revisadas. Como ni los submarinistas han bajado más de 100 metros. si te gusta Lou Reed.P = jugamos todos Q = rompemos la baraja R = nos aburriremos sin remedio S = tendremos que comprar otra PQ Q R S) ~P ⊢S R Si te gusta Lou Reed. Si te entusiasma Joe Cocker. Iron Maiden te puede matar. p = Los submarinistas deberán permanecer 40 días en observación q = bajan más de 100 metros r = Las aletas deberán ser revisadas s = en el caso de que se quieran utilizar de nuevo P ↔Q R↔S ~Q ~S ~P ~R 8. Y si eres de los míos. p = Si te gusta Lou Reed q = Eres de los míos r = Van Morrison te volverá loco s = Joe Cocker te entusiasmará t = Iron Maiden te puede matar (p →q) (q →r) ( s →t ) (p →t) Los submarinistas deberán permanecer 40 días en observación únicamente si bajan más de 100 metros. eres de los míos. Las aletas deberán ser revisadas sólo en el caso de que se quieran utilizar de nuevo.

es utilizar tus habilidades lógicas: formaliza los argumentos que aparecen y aplica las reglas de deducción. Si ama a Robert. − Pero. Martínez pasa las tardes de domingo resolviendo casos imaginarios. la increpamos. 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 el principal sospechoso es ciego. ama a Robert.Angelines está agobiada por sus problemas amorosos. − El caso es que el citado detector no puede estar estropeado jamás (es infalible). No se trata de que ejerzas de psicólogo ni de detective. Él mismo se plantea los supuestos. Si ama a Pierre. en esta situación. Estoy segura de que amo a Pierre. pero si no ama a don Marcelín. no ama a don Marcelín Claraboy. -Angelines. pero si no ama a Vincent. las coartadas de los sospechosos y las pistas que le permitan solucionar el enigma. entonces ama a François. deja de amar a Vincent. el lechero de la esquina. o no miente o el detector de mentiras está estropeado. Con objeto de ejercitar su capacidad lógica. así encontrarás las respuestas a los interrogantes. ¿Miente o no miente el sospechoso? ¿Es ciego o no lo es? ¿Se cometió el crimen de día o de noche? . ¿es que no estás segura de tus sentimientos? -Una cosa es cierta –nos responde–. No se aclara. por favor. EL DETECTIVE MARTÍNEZ ESPECULA. p = ama a Pierre q = ama a don Marcelín Claraboy r = ama a Robert s = ama a Vincent t = ama a François P ~ Q ~Q R R ~S ~S →T 9. Si no la encuentra se pone la televisión. − Pero. Lo tuyo. Lee el texto siguiente. Cuando halla la solución se premia con un gin-tonic. o el principal sospechoso no es ciego o miente al declarar que no vio nada.

q = El principal sospechoso es ciego. r = El principal sospechoso miente al declarar que no vio nada. p q ~q r ~r s ~s -El sospechoso no miente -El sospechoso no es ciego -El crimen se cometió de noche . s = El detector de mentiras está estropeado.p = El crimen se cometió de noche en la más absoluta oscuridad.