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.Tal vez te encontremos 4.La madre de Miguel es Marlene 9.Juan y Lorena son hermanos .Martha baila 2.9 es un número par 6.Las aguas del mar 8.Juan es hermano de Lorena 3.Que hermosura de día! 6.(3+9) x 3 10.El cuadrado de 35 7.El cuadrado de 2 es 4 4.4 < 40 5.El niño que esta estudiando 9.Vete a tu asiento! 3.5 Є Z 10.Pablo se encuentra entre Juan y Roberto 7.1 + 1 PROPOSICIONES ATÓMICAS 1.Esto es una casa 8.2.

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

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

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

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.

Marcos canta o Pedro trabaja (r V s) CONDICIONAL( → ) 1. entonces z > 9 (p → r) 2.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.Si llueve entonces es una ciudad (s → t) .1.Si x + 2 = 7.

2 + 3 = 5 si y solo si 2 < 10 (p ↔ q) . 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.3.6 es numero par.

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

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

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

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

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

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

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

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

Sign up to vote on this title
UsefulNot useful