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

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

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

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

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

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

6 es numero par. Z > 9 si y solo si Z > 9 (p↔ q) 2.3. Si nieva cuando y solo cuando llueve (s↔ t) 3. 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.

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

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

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

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

.1<>BR EXPLICACIÓN PASO1.Aplicamos PASO5...Aplicamos conmutativa PASO3.. lógicamente equivalente de la 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.Aplicamos PASO6...proposición condicional..Aplicamos [ Morgan] ^ [( ¬qvr) ^Morgan] ^ [ complemento] ^ ^ [condicional] [asociativa] PASO2. Se verá que la contrapositiva es una forma alternativa. EJERCICIO N .Aplicamos 1 1 ^ 1 ^ 1 ^ ^ [ ¬qvr] ^ [idenpotencia v p v¬q] [asociativa v ¬q] [Morgan v ¬q ] [conmutativa] [ ¬qvr] ^ [ ¬qvr] ^ [ ¬qvr] ^ .Aplicamos PASO4.

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

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

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

Sign up to vote on this title
UsefulNot useful