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?

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

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

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

Cada vez que hace frio llueve 7. “solo y cuando”.Laura no estudia (¬p) 2.Hace frio solo si llueve 3.Si hace frio entonces llueve 2.Marcos trabaja cuando y solo cuando Juan estudia SIMBOLIZACIÓN Y TABLAS DE VERDAD NEGACIÓN (¬) 1.Hace frio cuando llueve BICONDICIONAL(“si y solo si”.5 no es un número par (¬q) .Hace frio si ¬ llueve 4.1.Marcos trabaja solo y cuando Juan estudia 3.Llueve siempre que hace frio 8.Hace frio implica que llueve 6.”cuando y solo cuando”) 1.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.3.No es cierto que 4 > 1(¬r) CONJUNCIÓN ( ^ ) 1.Juan canta y estudia (p ^ q) 2.Lorena sonríe y x + 2 = 7 (r ^ s ) DISYUNCIÓN ( V ) .

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

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

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

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

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

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

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

Aplicamos PASO6.PASO7..Aplicamos PASO8.Aplicamos [(¬pvq) ^ ¬ (Morgan)] ↔ p ↔p [Complemento] PASO3....Aplicamos PASO2...Aplicamos PASO10.Aplicamos [(bicondicional)] PASO4..Aplicamos PASO5..Aplicamos PASO9...Aplicamos 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.-2 EXPLICACIÓN PASO1.

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

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

Sign up to vote on this title
UsefulNot useful