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?

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

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

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

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

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

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

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

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

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

(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. a partir de cualesquiera valores de verdad para p y q. 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. P y Q son ambas verdaderas o P y Q son ambas falsas. se puede verificar que .3.Debe demostrar que ¬(p→q)ΞpΛ¬q .

entonces va a la universidad. se puede verificar que. 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. Su negación lógicamente equivalente a pΛ¬q. a partir de cualesquiera valores de verdad de p yq. Si p entonces q y si q entonces p. según estas definiciones p↔q es equivalente lógico de p→q y q→p.Al escribir las tablas de verdad para P=¬(p→q) y Q=pΛ¬q. En palabras esta última expresión es Jesús recibe una beca y no va a la universidad Ahora se demostrará que. 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. 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 . para escribir la negación de: Si Jesus recibe una beca.

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

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

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

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

Sign up to vote on this title
UsefulNot useful