P. 1
Ejercicios Resueltos de L Gica

Ejercicios Resueltos de L Gica

|Views: 6.687|Likes:

More info:

Published by: Andrea Pineda Santos on Sep 19, 2010
Copyright:Attribution Non-commercial

Availability:

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

11/09/2015

pdf

text

original

Ejercicios Resueltos de Lógica.

1. Simplicar las siguientes proposiciones utilizando las leyes del algebra Proposicional. a)

∼ [∼ (p ∧ q) →∼ q] ∨ q

Solución:

∼ [∼ (p ∧ q) →∼ q] ∨ q≡∼ [∼ (∼ (p ∧ q))∨ ∼ q] ∨ q ← por ley p → q ≡∼ p ∨ q ≡∼ [(p ∧ q)∨ ∼ q] ∨ q← por ley de la doble negaci´n ∼ (∼ p) ≡ p o ≡[∼ (p∧q)∧ ∼ (∼ q)]∨q ← por leyde De Morgan ∼ (p∨q) ≡∼ p∧ ∼ q ≡[∼ (p ∧ q) ∧ q] ∨ q ← por ley de la doble negaci´n ∼ (∼ p) ≡ p o ≡[(∼ p∨ ∼ q) ∧ q] ∨ q ← por leyde De Morgan ∼ (p ∧ q) ≡∼ p∨ ∼ q ≡ q ← ley de absorci´n (a ∧ b) ∨ b = b o
b)

[(∼ p ∧ q) → (r∧ ∼ r)] ∧ ∼ q

Solución:

[(∼ p ∧ q) → (r∧ ∼ r)] ∧ ∼ q≡ [(∼ p ∧ q) → F ] ∧ ∼ q ← por ley l´gica p∧ ∼ p = F, una contradicción o ≡ [∼ (∼ p ∧ q) ∨ F ] ∧ ∼q←ley p → q ≡∼ p ∨ q ≡ [∼ (∼ p ∧ q)] ∧ ∼ q ←ley p ∨ F ≡ p ≡ (p∨ ∼ q)∧ ∼ q ←De Morgan ∼ (p ∧ q) ≡∼ p∨ ∼ q ≡∼ q ← ley de absorci´n (a ∨ b) ∧ b ≡ b o
c) Demuestre que la siguiente proposición es una Tautología

[(p∨ ∼ q) ∧ q] → p
Solución:[(p∨ ∼ q) ∧ q] → p≡∼ [(p∨ ∼ q) ∧ q] ∨ p ley p → q ≡∼ p ∨ q ≡ [(∼ p ∧ q)∨ ∼ q] ∨ p ← porley asociativa del ∨ ≡ (∼ p ∧ q) ∨ (∼ q ∨ p) ≡ (∼ p ∧ q)∨ ∼ (q∧ ∼ p)← por ley conmutativa del∧ ≡ (∼ p ∧ q)∨ ∼ (∼ p ∧ q)← P or ley p∨ ∼ p ≡ V ≡V

← por

d) Demuestre que las siguientes proposiciones son equivalentes. I)

p → (r∨ ∼ q)
I)

II)

(q →∼ p) ∨ (∼ r →∼ p)

Solución: II)

p → (r∨ ∼ q) ≡ ∼ p ∨ (r∨ ∼ q)← por ley p → q ≡∼ p ∨ q

Ahora simplicando la expresión II, obtenemos

(q →∼ p) ∨ (∼ r →∼ p)≡ (∼ q∨ ∼ p) ∨ (∼∼ r∨ ∼ p) ≡ (∼ q∨ ∼ p) ∨ (r∨ ∼ p)← por ley distributiva ≡ ∼ p ∨ (r∨ ∼ q)
1

t. por lo que conviene analizar primero la sentencia dadero y caso (q → t) que es falsa en un solo caso . a)∼ b)[∼ [p ∧ (∼ q∨ ∼ p)] p ∨ (q∧ ∼ t)] ↔ {(p → q)∧ ∼ (q ∧ t)} Solución : Que (p ∧ q) sea falso signican tres casos . conocidos los valores de p. De la falsedad de a)(∼ (p →∼ q) ∨ (∼ r → s) p∧ ∼ q)∨ ∼ q b)[(∼ r ∨ q) ∧ q] ↔ [(∼ q ∨ r) ∧ s] Solución: Que la proposición deducir el valor de verdad de (p →∼ q) ∨ (∼ r → s) → sea falsa signica que (p entonces que ∼ q) es F also y (∼ r → s) es F also (p →∼ q) sea f also implica que p es verdadero y que ∼ q es f also→ q verdadero.Verifícalo como ejercicio. 4. r f also.¾ Cuáles de las siguientes proposiciones son verdaderas ?. Del mismo modo que (∼ r → s) sea f also implica que ∼ r es verdadero y s es f also. con estos valores tenemos a)(∼ b)[(∼ p∧ ∼ q)∨ ∼ q≡ (∼ V ∧ ∼ V )∨ ∼ V ≡ (F ∧ F ) ∨ F ≡ F f also r ∨ q) ∧ q] ↔ [(∼ q ∨ r) ∧ s]≡ [(∼ F ∨ V ) ∧ V ] ↔ [(∼ V ∨ F ) ∧ F ]≡ [(V ∨ V ) ∧ V ] ↔ [(F ∨ F ) ∧ F ]≡ V ↔ F ≡ F . entonces es facil vericar los valores de verdad de las sentencia a) y b) que ambas son verdaderas .las expresiones simplicadas son iguales. q. Si se sabe que (q → t) son falsas .Demuestre [(p ∨ q) ∧ (∼ p → q)] →∼ q equivale a  Cesar no trabaja [(p ∨ q) ∧ (∼ p → q)] →∼ q≡ [(p ∨ q) ∧ (p ∨ q)] →∼ q≡(p ∨ q) →∼ q≡∼ (p ∨ q)∨ ∼ q≡∼ [(p ∨ q) ∧ q]≡∼ q siendo ∼ q : cesar notrabaja 2 . s f also. con q verdadero entonces (p ∧ q) falso se reduce a un solo → p f also. (p ∧ q) y 3. Considere las proposiciones que el esquema Solución: Simplicamos la expresión p : Cesar Estudia. q : Cesar trabaja. 2. f also. q verdadero. cuando q es vert falso. En resumen tenemos los siguientes valores p verdadero. entonces equivalentes.

6. III. II. Solución: Simbolizamos cada una de las frases deniendo p : El caf e es agradable. ∃y : (x > y ) Solución: I. 2.? I. y . Determine el valor de verdad de p. El café es agradable a menos que se le añada azucar. q → p ≡∼ q ∨ p IV. q. ´ q : El caf e tiene tiene azucar ´ I. ∼ q → p ≡ q ∨ p III. El café es con azucar o el café es agradable. q ∨ p Como se puede apreciar II y IV son equivalentes.∃x. IV. ∀y : (x − y > −10) ∧ (x > y + 1) 2 2 III. 3} el dominio de x. Sea I. ∀x. De el valor de verdad de las siguientes proposiciones : (∀h ∈ H)(∃p ∈ H)(p es padre de H) (∃p ∈ H)(∀h ∈ H)(p es padre de H) Solución: Discútalo con su profesor si H es el conjunto de humanos 8. p ∧ q II. tiene el conectivo ∨ que la hace verdadera si 3 . entonces p es verdadero y q es falso. A = {0. 7.5. r sabiendo que la proposición ∼ (p → q) ∧ (r ∨ q) Solución: es verdadera ∼ (p → q) ∧ (r ∨ q) sea verdadera signica que ∼ (p → q) es verdadero (r ∨ q) es verdadero que ∼ (p → q) sea verdadero implica que (p → q) es falso. Cuales de las siguientes proposiciones son equivalentes .Señalar el valor de verdad de las siguientes proposiciones: ∀x. con q falso y (r ∨ q) verdadero necesariamente r es Que y verdadero. Observe que la sentencia I . 1.Si añadimos azucar entonces el café es agradable. El café es agradable si no añadimos azucar. ∃y : (x2 − y 2 < 10) ∨ (x2 < y + 1) 2 2 2 II.

y = 0 no es verdadera Para TODO se tiene x y para TODO y. el cual hace falsa la proposi- II. 2 de debemos chequear el valor de verdad de(x − y 2 < 10). 3} y al menos un valor de y ∈ {0. q p Solución: p ∧ (q∨ ∼ p) p q r Solución : (p ∧ q)∨ {[(∼ p) ∨ r] ∧ ∼ q} 1 1 Ejercicios resueltos de lógica por Osvaldo Carvajal 4 q p ≈ ≈ p ≈ .para el valor y = 0 se tiene 32 > 02 ← V erdadero.analizamos la componente primera (x2 − y 2 < 10). 2. III. 1. Hay que hallar el valor de verdad de de x y al menos un valor de y Para x2 > y 2 para al menos un valor el valor x = 3. pues si 02 02 + 1← F also. 9. concluyendóse que III es verdadero. 2. concluyendo que II es falso. ∧ concluyendo que I es verdadera. 3} 2 2 para x = 0 existe y = 0 tal que 0 − 0 < 10← V erdadero 2 2 para x = 1 existe y = 0 tal que 1 − 0 < 10← V erdadero 2 2 para x = 2 existe y = 0 tal que 2 − 0 < 10← V erdadero 2 2 para x = 3 existe y = 0 tal que 3 − 0 < 10← V erdadero por lo tanto si una de las componentes es verdaera del conectivo ∨. La sentencia II tiene el conectivo ción si una de las componentes es falsa . Represente mediante funciones Booleanas los siguientes circuitos. para cada uno los valores de x ∈ {0.al menos una de las componentes es verdadera. 1. verdad de la otra componente es verdadera la composición completa siendo innecesario estudiar el valor de x2 < y + 1. veremos que la componente x2 > y + 1 x = 0.

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