Ejercicios de Lógica proposicional

Nombre Semestre : : Indira Andi Sexto Sistemas

1. Formaliza los siguientes enunciados: La eternidad está enamorada de las obras del tiempo. P= La eternidad está enamorada Q = las obras del tiempo P^Q No me gusta trasnochar ni madrugar. P= me gusta trasnochar Q = Madrugar P↓Q ~P^~Q Si Manolito es un televidente extraordinario y un pésimo estudiante, entonces sus padres no estarán satisfechos y le impedirán dedicar tanto tiempo a la televisión. P = Manolito es un televidente extraordinario Q = pésimo estudiante R = sus padres estarán satisfechos T = le impedirán dedicar tanto tiempo a la televisión (P ∧ Q) → (~R ∧ T) Si viene en tren, llegará antes de las seis. Si viene en coche, llegará antes de las seis. Luego, tanto si viene en tren como si viene en coche, 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 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.
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) 1

pero me van a suspender igual. 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) 2 .2. P = iré a casa de mi amiga Q = me quedaré en casa estudiando ~P v Q P 1 1 0 0 Q 1 0 1 0 ~P 0 0 1 1 ~P v Q 1 0 1 1 No es cierto que no haya estudiado el examen. entonces con todo ello conseguiré aprobar el curso. Y si además no voy a la fiesta. P = los coches dejaran de utilizar este tipo de combustible Q = contaminarían menos P→Q P 1 1 0 0 Q 1 0 1 0 P→Q 1 0 1 1 No sé si iré a casa de mi amiga o si me quedaré en casa estudiando. P = estudiado el examen Q= me van a suspender igual ~P ∧ Q P 1 1 0 0 Q 1 0 1 0 ~P 0 0 1 1 ~P ∧ Q 0 0 0 0 Si estudio más. aprenderé a construir tablas de verdad correctamente. entonces contaminarían menos. 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 ∧ Q) No se da el caso de que. o bien Brasil no imponga restricciones ponga comerciales. erciales. o bien Brasil no impone restricciones comerciales. pero Brasil impone restricciones comerciales. 3 . pone econó r = Cuba sigue enviando armas a Sudamérica. q = Brasil impone restricciones económicas. o bien Cuba sigue enviando armas a Sudamérica. o bien Brasil impone restricciones comerciales. o bien Argentina se movilice. i ~P ∧ Q O bien Argentina se moviliza.P 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 Q 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 R 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 S 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 P→Q 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 ~R 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 ~R → S 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 (P → Q) ∧(~R → S) 1 1 1 0 0 0 0 0 1 1 1 0 1 1 1 0 3. as Suda s = La república Dominicana apela a las Naciones Unidas. (P ∧ Q) R O bien Argentina se moviliza y Brasil impone restricciones comerciales. oviliza. i P ~Q No se da el caso de que Argentina se movilice y Brasil imponga restricciones comerciales. Fíjate en las siguientes proposiciones y formaliza las expresiones que figuran a continuación: p = Argentina se moviliza. (P ∧ Q) R Argentina no se moviliza. o bien Cuba sigue enviando armas a Sudamérica. inicana Argentina se moviliza y. liza.

ar (Q ∧ S) (R ∨ P) Argentina se moviliza y. o Cuba sigue enviando armas a Sudamérica y la República Do érica Dominicana apela a las Naciones Unidas.~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 Sud Unidas. (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) ↔ (~p V ~q) P 1 1 0 0 Q P Λ Q ~(P Λ Q) ~P ~Q ~P V ~Q ~(P Λ Q) ↔(~P V ~Q) 1 1 0 0 0 0 1 0 0 1 0 1 1 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 Tautológica 2. ~(p Λ ~p) P 1 0 ~P P Λ ~P ~(P Λ ~Q) 0 0 1 1 0 1 Tautológica 3. y ni Argentina se m 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 as inicana Naciones Unidas. (p V q) ↔ (q ↔ p) P 1 1 0 0 Q P V Q Q↔P (P V Q) ↔ (Q↔P) 1 1 1 1 0 1 0 0 1 1 0 0 0 0 1 0 4 . o bien Brasil impone restricciones comerciales. Desarrolla las tablas de verdad de las siguientes expresiones lógicas y razona si son fórmulas contradictorias. consistentes o tautológicas: 1. ~R [~ S ∧ (P↓Q) ] 4. erciales.

[(P→Q)٨(Q→R)]→ (P→R) ] 5 . [p → (q V r)] ↔ [(p → q) V (p → r)] P 1 1 1 1 0 0 0 0 Q R Q V R P→(QVR) P→Q P→R (P→Q)V(P→R) [P→(QVR)]↔[(P→Q)V(P→R)] 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 Tautológica 5. Q→ (P v Q) P 1 1 0 0 Q PvQ Q→(PvQ) P→(PvQ) 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 − Ley del silogismo hipotético. [p Λ (q V r)] ↔ [(p Λ q) V (p Λ r)] P 1 1 1 1 0 0 0 0 Q R QΛR PΛ(QΛR) PΛQ PΛR (PΛQ)V(PΛR) [P Λ (QVR) ]↔[(P Λ Q) V (P Λ R) ] 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 Tautológica 5. Demuestra por el método de las tablas de verdad las siguientes reglas de inferencia (véanse en los apuntes): − Introducción del disyuntor.Consistente 4.

[(PvQ)٨~P]→Q P 1 1 0 0 Q PvQ ~P (PvQ)٨~P [(PvQ)٨~P]→Q 1 1 0 0 1 0 1 0 0 1 1 1 1 1 1 0 0 1 0 1 − Ex contradictione quodlibet. Si suben los precios. entonces baja el poder 6 . Traduce al lenguaje formal y realiza la correspondiente deducción: Si suben los salarios. (A٨~A)→B A B ~A A٨~A (A٨~A)→B 1 1 0 0 1 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 6.P 1 1 1 1 0 0 0 0 − Q R P→Q Q→R (P→Q)٨(Q→R) P→R [(P→Q)٨(Q→R)]→(P→R) ] 1 1 1 1 1 1 1 1 0 1 0 0 0 1 0 1 0 1 0 1 1 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 Ley de contraposición. entonces suben los precios. A→B)→ (~B→~A) A B (A→B) ~B ~A ~B→~A (A→B)→(~B→~A) 1 1 1 0 0 1 1 1 0 0 1 0 0 1 0 1 1 0 1 1 1 0 0 1 1 1 1 1 − Silogismo disyuntivo.

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. Si rompemos la baraja nos aburriremos sin remedio o tendremos que comprar otra. Joe Cocker te entusiasmará. eres de los míos. Como ni los submarinistas han bajado más de 100 metros. Si te entusiasma Joe Cocker. Realiza la deducción lógica de los siguientes argumentos: • O jugamos todos o rompemos la baraja. Las aletas deberán ser revisadas sólo en el caso de que se quieran utilizar de nuevo. Si te vuelve loco Van Morrison. Luego compramos una baraja nueva o nos aburriremos sin remedio. P = suben los salarios Q = suben los precios R = baja el poder adquisitivo de la moneda P→Q Q→R P⊢R 7. Suben los salarios. O sea y resumiendo. Y si eres de los míos. los submarinistas no tendrán que hacer cuarentena.adquisitivo de la moneda. ni las aletas serán revisadas. Iron Maiden te puede matar. Os negáis a que juguemos todos. 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. Luego baja el poder adquisitivo de la moneda. 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 7 . Van Morrison te volverá loco. si te gusta Lou Reed. ni las aletas serán utilizadas de nuevo. Iron Maiden te puede matar.

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

p∨q ~q ∨ r ~r ∨ s ~s 9 .

Sign up to vote on this title
UsefulNot useful