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

Verifícalo como ejercicio. s f also. q verdadero.¾ Cuáles de las siguientes proposiciones son verdaderas ?. entonces es facil vericar los valores de verdad de las sentencia a) y b) que ambas son verdaderas . cuando q es vert falso. f also. q : Cesar trabaja. 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 . En resumen tenemos los siguientes valores p verdadero. 2. conocidos los valores de p. Del mismo modo que (∼ r → s) sea f also implica que ∼ r es verdadero y s es f also. con q verdadero entonces (p ∧ q) falso se reduce a un solo → p f also. Si se sabe que (q → t) son falsas . 4. r 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 .las expresiones simplicadas son iguales. t.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 . Considere las proposiciones que el esquema Solución: Simplicamos la expresión p : Cesar Estudia. 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. (p ∧ q) y 3. entonces equivalentes. q.

El café es agradable si no añadimos azucar. III. entonces p es verdadero y q es falso. 3} el dominio de x. ∀x. 2. Observe que la sentencia I .5.? I.Si añadimos azucar entonces el café es agradable. 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. q. ∃y : (x2 − y 2 < 10) ∨ (x2 < y + 1) 2 2 2 II.Señalar el valor de verdad de las siguientes proposiciones: ∀x. ∼ q → p ≡ q ∨ p III. 6. Determine el valor de verdad de p. ´ q : El caf e tiene tiene azucar ´ I. 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. con q falso y (r ∨ q) verdadero necesariamente r es Que y verdadero. p ∧ q II. IV.∃x. A = {0. Cuales de las siguientes proposiciones son equivalentes . II. ∃y : (x > y ) Solución: I. q ∨ p Como se puede apreciar II y IV son equivalentes. q → p ≡∼ q ∨ p IV. Sea I. El café es agradable a menos que se le añada azucar. Solución: Simbolizamos cada una de las frases deniendo p : El caf e es agradable. ∀y : (x − y > −10) ∧ (x > y + 1) 2 2 III. y . 1. 7. El café es con azucar o el café es agradable. tiene el conectivo ∨ que la hace verdadera si 3 .

el cual hace falsa la proposi- II.analizamos la componente primera (x2 − y 2 < 10). Represente mediante funciones Booleanas los siguientes circuitos. 3} y al menos un valor de y ∈ {0. III. La sentencia II tiene el conectivo ción si una de las componentes es falsa . concluyendo que II es falso. veremos que la componente x2 > y + 1 x = 0. 9. verdad de la otra componente es verdadera la composición completa siendo innecesario estudiar el valor de x2 < y + 1. 2 de debemos chequear el valor de verdad de(x − y 2 < 10). para cada uno los valores de x ∈ {0. 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.al menos una de las componentes 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 ∨.para el valor y = 0 se tiene 32 > 02 ← V erdadero. 2. ∧ concluyendo que I es verdadera. concluyendóse que III es verdadero. 1. 1. y = 0 no es verdadera Para TODO se tiene x y para TODO y. pues si 02 02 + 1← F also. 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 ≈ . 2.

Sign up to vote on this title
UsefulNot useful