P. 1
Ejercicios de Logica de Proposicional

Ejercicios de Logica de Proposicional

|Views: 3.832|Likes:
Publicado porErick Citalan

More info:

Published by: Erick Citalan on Mar 15, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

08/14/2013

pdf

text

original

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?

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

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

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

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

3.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 ) .No es cierto que 4 > 1(¬r) CONJUNCIÓN ( ^ ) 1.

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

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

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

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

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

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

EJERCICIO N ..Aplicamos PASO5. lógicamente equivalente de la proposición condicional..proposición condicional.Aplicamos conmutativa PASO3...Aplicamos PASO4.Aplicamos 1 1 ^ 1 ^ 1 ^ ^ [ ¬qvr] ^ [idenpotencia v p v¬q] [asociativa v ¬q] [Morgan v ¬q ] [conmutativa] [ ¬qvr] ^ [ ¬qvr] ^ [ ¬qvr] ^ .Aplicamos [ Morgan] ^ [( ¬qvr) ^Morgan] ^ [ complemento] ^ ^ [condicional] [asociativa] PASO2.Aplicamos PASO6.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.

.PASO7.Aplicamos PASO10.Aplicamos PASO2.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 [(bicondicional)] PASO4.Aplicamos [(condicional) ^ (condicional)] ^ ^ ( ¬pv1)] (¬p v 1)] [(conmutativa ) [(p v morgan ) (p v 0 ) ^ complemento ..Aplicamos PASO8..Aplicamos PASO6.-2 EXPLICACIÓN PASO1.Aplicamos PASO9.Aplicamos PASO7.Aplicamos PASO5....-....

3-4 =2+5 2.Aplicamos resultado (complemento ) y esto es el mínimo es decir el EJERCICIO N.Determinar si son proposiciones Atómicas o Moleculares.Caminemos más lento! 6....Marcos esta en su casa 2.Dios mío! 9.Rosa es mayor que Susana .Regrese a su puesto! 8.-3 EXPLICACIÓN PASO1. 1.Los políticos de Ecuador <b..La casa de la montaña 3. 1.En el siguiente listado verificar si son o no son proposiciones.El doble de 23 5.Aplicamos PASO2.Aplicamos PASO4.Aplicamos PASO3.Donde te encuentras? 7.7 Є N 10..4 + 6 + 45 4.PASO8.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.3. entonces b ≤ 4 no se da a la vez que llueve y hace sol. 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. q.Si 2. r.¬(pΛq)Ξ¬pΛ¬q 2.p↔q Ξ (¬p V q) Λ (p V ¬q) REALIZAR LAS SIGUIENTES SIMPLIFICACIONES 1. ¬qvr) ^1] [¬pv(¬pv(pv¬q))] ↔ q 3. t) y determinar con la tablas de verdad si son contingencia. y tautología. contradicción.Hace frio siempre que Susi estudia 9.Platón fue filosofo 5.No 4.X ≥ 4 4.Juan canta y Rosa estudia 8. [¬p v p v¬q] v [(¬p v 1)] . s.Simbolizar las siguientes preposiciones (p.Si vez b = c llueve y hace sol entonces b ≤ 4 a = b entonces b ≠ 4 sucede que si llueve y hace sol.Si 3.Susi estudia hasta que hace frio 10.Santiago no esta en casa 6.Luis es primo de Rosa 7.p→q Ξ ¬pVq 3. 1 ^ [ ¬qvr] ^ ^ [¬p v p v¬q] 2.Si 5.X > 4 o X = 2 <c.

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->