P. 1
Ejercicios de Logica de Proposicional

Ejercicios de Logica de Proposicional

|Views: 3,836|Likes:
Published by Erick 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?

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

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

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

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

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 ) .

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

Z > 9 si y solo si Z > 9 (p↔ q) 2. 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.6 es numero par.

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

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

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.3. P y Q son ambas verdaderas o P y Q son ambas falsas. a partir de cualesquiera valores de verdad para p y q.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.

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

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

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

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

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

You're Reading a Free Preview

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