Ejercicios de Logica de Proposicional

"CONTENIDO TOMADO DE EL LIBRO INTRODUCCIÓN A LA MATEMATICAS DISCRETAS SEGUNDA EDICIÓN DE JORGE GALVEZ Y MIGUEL LOPÉZ " LÓGICA PROPOSICIONAL

EJERCICIOS SI SON PROPOSICIONES PORQUE ES UNA ENUNCIACIÓN QUE NIEGA O AFIRMA ALGO.
1.Juan trabaja 2.Marcos es primo de Maribel 3.4 es un número impar 4.El duplo de 10 es 20 5.X > 44 6.Aquello no es azul 7.Algunas aves no vuelan 8.Ningún número par es menor que dos 9. 5+6 ≠11 10.Todos los políticos aman la paz

NO SON PROPOSICIONES PORQUE NO AFIRMAN, NI NIEGAN NADA, NI PUEDE DECIRSE DE ELLAS QUE SEAN VERDADERAS, NI FALSAS.
1.Donde esta Juan?

Vete a tu asiento! 3.Pablo se encuentra entre Juan y Roberto 7.Martha baila 2.9 es un número par 6.4 < 40 5.1 + 1 PROPOSICIONES ATÓMICAS 1.(3+9) x 3 10.El cuadrado de 35 7.Juan es hermano de Lorena 3.Tal vez te encontremos 4.El cuadrado de 2 es 4 4.La madre de Miguel es Marlene 9.Me gustaría pasear contigo 5.2.5 Є Z 10.El niño que esta estudiando 9.Que hermosura de día! 6.Aquello es amarillo PROPOSICIONES MOLECULARES O COMPUESTAS 1.Juan y Lorena son hermanos .Esto es una casa 8.Las aguas del mar 8.

Juan y Lorena son trabajadores 3.3<7< X 5.X ≤z 10.Nosotros estudiamos 6.2.7 < 80 y esto es una casa 9.Esto no es verde 8. No es cierto que 7.Es falso que Susi estudia Susi estudia Susi estudia b)Nosotros estudiamos 5.Susi no estudia 2.”es falso que”.Esta escalera esta rota 7.Pablo pasea y descanza 4. Es falso que nosotros estudiamos . No sucede que nosotros estudiamos nosotros estudiamos 8.”no es cierto que”.Mario y Eduardo son Ingenieros CONECTIVAS NEGACIÓN(“no ”.No es cierto que 3. Nosotros no estudiamos 6.No sucede que 4.”no sucede que”) a)Susi estudia 1.

Es falso que 5 es un número par 5 es un número par CONJUNCIÓN (“y”.”.implica…. ”….No sucede que 12.”) .c)5 es un número par 9.4 < 7 no obstante 9>4 4.”.Hace frio sin embargo Jackeline estudia 5.”cada vez que…”.El fuego calienta e ilumina DISYUNCIÓN(“o”. ”u”.”….solo si….”como mínimo”.“al menos ”.si…. “….cuando….”e”) 1. 5 no es un número par 5 es un número par 10.”no obstante”.x = 4 y 6 < z 2.No es cierto que 11.A es una vocal o bien es una letra mayúscula CONDICIONAL (“Si……entonces”. ”o bien”) 1.Marcos tiene una expresa u organización 5.hace sol como mínimo hace frio 4.”….”es necesario para que”.”sin embargo”.Miguel lee al menos escribe 3.Franco lee pero Juan escribe 3. ”siempre que…”.”pero”.”.Estudias o pierdes el año 2.

Si hace frio entonces llueve 2.1.Cada vez que hace frio llueve 7.Marcos trabaja cuando y solo cuando Juan estudia SIMBOLIZACIÓN Y TABLAS DE VERDAD NEGACIÓN (¬) 1.Laura no estudia (¬p) 2.Hace frio cuando llueve BICONDICIONAL(“si y solo si”.”cuando y solo cuando”) 1.Hace frio si ¬ llueve 4.Hace frio implica que llueve 6.Hace frio solo si llueve 3.Llueve siempre que hace frio 8.Marcos trabaja solo y cuando Juan estudia 3. “solo y cuando”.5 no es un número par (¬q) .Hace frio si es necesario para que llueva 5.Marcos trabaja si y solo si Juan estudia 2.

Carlos y Kevin son hermanos (q ^ r) 3.Juan canta y estudia (p ^ q) 2.Lorena sonríe y x + 2 = 7 (r ^ s ) DISYUNCIÓN ( V ) .3.No es cierto que 4 > 1(¬r) CONJUNCIÓN ( ^ ) 1.

1.Si x + 2 = 7.María sonríe o bien Luis es amigo de Rosa (q V r) 3.Si llueve entonces es una ciudad (s → t) .Mañana llueve o hace sol (p v q) 2.Marcos canta o Pedro trabaja (r V s) CONDICIONAL( → ) 1. entonces z > 9 (p → r) 2.

entonces 6 < 9 cuando 9 es un número impar ( p→ q)→ r BICONDICIONAL(↔) 1.6 es numero par.3. Si nieva cuando y solo cuando llueve (s↔ t) 3. Z > 9 si y solo si Z > 9 (p↔ q) 2. 2 + 3 = 5 si y solo si 2 < 10 (p ↔ q) .

CONTINGENCIA.TAUTOLOGÍA.¬ q V q 2. CONTRADICCIÓN TAUTOLOGIA 1.(p V¬ q) V(qV ¬ p ) 3.[(¬P V q ) ^ (¬ q V ¬ p)] ¬ p CONTINGENCIA .

(p V ¬ p ) ^ (q V q ) CONTRADICCIÓN 1.(P V P) ^ (q V¬ p) 3.(P v q ) 2.¬ q ^ q 2.(P ^ ¬ q) v ¬p .1.

a partir de cualesquiera valores de verdad para p y q.Debe demostrar que ¬(p→q)ΞpΛ¬q .3.(P ^ ¬q) ^ q EQUIVALENCIAS POR LAS LEYES DE MORGAN EJERCICIO 1 ¬(pVq)Ξ¬pΛ¬q Si se escriben las tablas de verdad para P=¬(pVq) y Q=¬pΛ¬q. P y Q son ambas verdaderas o P y Q son ambas falsas. Entonces P y Q son equivalentes lógicos EJERCICIO 2 Demuestre que la negación de p →q es equivalente lógico de pΛ¬q. se puede verificar que .

entonces va a la universidad. Con símbolos y palabra Sean: < CENTER>P: Jesús recibe una beca</CENTER> Q: Jesús va a la universidad La proposición se escribe con símbolos como p→q. En palabras esta última expresión es Jesús recibe una beca y no va a la universidad Ahora se demostrará que. según estas definiciones p↔q es equivalente lógico de p→q y q→p. o bien P y Q son ambas verdaderas o P y Q son ambas falsas: Entonces P y Q son equivalentes lógicos EJERCICIO 3 ‘’’Use la equivalencia lógica de ¬(p→q) y pΛ¬q.Al escribir las tablas de verdad para P=¬(p→q) y Q=pΛ¬q. En palabras. Su negación lógicamente equivalente a pΛ¬q. se puede verificar que. La tabla de verdad muestra que p↔q Ξ (p→q) Λ (q→p) Se concluye esta sección con la definiciónR de la contrapositiva de una . a partir de cualesquiera valores de verdad de p yq. Si p entonces q y si q entonces p. para escribir la negación de: Si Jesus recibe una beca.

SIMPLIFICACION de PROPOSICIONES En esta sección explicaremos los siguientes ejercicios: Para realizar estos ejercicios es necesario plantear las leyes de proposiciones....Aplicamos PASO6.. lógicamente equivalente de la proposición condicional.Aplicamos 1 1 ^ 1 ^ 1 ^ ^ [ ¬qvr] ^ [idenpotencia v p v¬q] [asociativa v ¬q] [Morgan v ¬q ] [conmutativa] [ ¬qvr] ^ [ ¬qvr] ^ [ ¬qvr] ^ .proposición condicional.. EJERCICIO N ...1<>BR EXPLICACIÓN PASO1.Aplicamos [ Morgan] ^ [( ¬qvr) ^Morgan] ^ [ complemento] ^ ^ [condicional] [asociativa] PASO2. Se verá que la contrapositiva es una forma alternativa.Aplicamos conmutativa PASO3.Aplicamos PASO4.Aplicamos PASO5.

.....PASO7.-.Aplicamos [(condicional) ^ (condicional)] ^ ^ ( ¬pv1)] (¬p v 1)] [(conmutativa ) [(p v morgan ) (p v 0 ) ^ complemento .Aplicamos resultado [ asociativa] ^ complemento [ conmutativa ]^1 (complemento) ^ 1 (complemento ) y esto es el mínimo es decir el EJERCICIO N..Aplicamos [(¬pvq) ^ ¬ (Morgan)] ↔ p ↔p [Complemento] PASO3.Aplicamos PASO9..Aplicamos PASO7..Aplicamos PASO6.Aplicamos PASO5.Aplicamos PASO10.Aplicamos [(bicondicional)] PASO4..Aplicamos PASO8.Aplicamos PASO2.-2 EXPLICACIÓN PASO1..

Caminemos más lento! 6.Aplicamos resultado (complemento ) y esto es el mínimo es decir el EJERCICIO N.3-4 =2+5 2.Los políticos de Ecuador <b.La casa de la montaña 3.Determinar si son proposiciones Atómicas o Moleculares. 1.Marcos esta en su casa 2..Dios mío! 9..PASO8. 1.El doble de 23 5.En el siguiente listado verificar si son o no son proposiciones..7 Є N 10..Donde te encuentras? 7.4 + 6 + 45 4.Aplicamos PASO3.Regrese a su puesto! 8..Aplicamos PASO2.Aplicamos PASO4.Aplicamos resultado [idempotencia] [(morgan^morgan) [(p ^ q) v (¬pv¬q)] v ¬(morgan ^ morgan)] (morgan ) y esto es el mínimo es decir el EJERCICIOS PROPUESTOS a.Rosa es mayor que Susana .-3 EXPLICACIÓN PASO1.

No 4. s.Hace frio siempre que Susi estudia 9.Si vez b = c llueve y hace sol entonces b ≤ 4 a = b entonces b ≠ 4 sucede que si llueve y hace sol. q.¬(pΛq)Ξ¬pΛ¬q 2. 1.Santiago no esta en casa 6. t) y determinar con la tablas de verdad si son contingencia.Platón fue filosofo 5. entonces b ≤ 4 no se da a la vez que llueve y hace sol. ¬qvr) ^1] [¬pv(¬pv(pv¬q))] ↔ q 3.p↔q Ξ (¬p V q) Λ (p V ¬q) REALIZAR LAS SIGUIENTES SIMPLIFICACIONES 1.p→q Ξ ¬pVq 3. y tautología.Simbolizar las siguientes preposiciones (p. [¬p v p v¬q] v [(¬p v 1)] .X > 4 o X = 2 <c. contradicción. r. entonces b ≠ 4 dan a la vez a ≤ b y b ≠ c si y solo si también se da a la Determinar con las tablas de verdad si son o no son equivalentes 1.Luis es primo de Rosa 7.Si 2.Juan canta y Rosa estudia 8.3.Si 5.Si 3.X ≥ 4 4. 1 ^ [ ¬qvr] ^ ^ [¬p v p v¬q] 2.Susi estudia hasta que hace frio 10.