1. Sean p: El es alto y q: El es galán.

Escribir A) VFF B) VFV C) FFF

los siguientes enunciados en forma simbólica D) FVV E) VVV
con p y q.
“El es alto, o el es bajo y galán” 7. La proposición (p ∨ ∼ q) → ∼ p es falsa.
A) ∼ (∼ p ∨ q) B) p ∨ (∼ p ∧ q) Señale el valor de verdad de las siguientes
C) p ∧ ∼ q D) ∼ p ∧ ∼ q proposiciones:
E) ∼ (∼ p ∨ ∼ q) I.(∼ p ∧ q) → p
II.∼ (p ∧ q) → p
*2. Respecto a los enunciados III. ∼ p ∧ (q → p)
. Los alumnos de EUREKA son inteligentes. A) FVF B) FVV C) VFF
. Los números primos terminan en 2. D) VVV E) VVF
. Está garuando.
. 2 = 1,4142. *8. Si la sgte. proposición compuesta es falsa:
Indique el número de proposiciones. (p ∆ q) → (q → r)
A) 0 B) 1 C) 2 Luego:
D) 3 E) 4 I. (p ↔ q) no es falsa
II. q ∨ s es verdadera
*3. Determinar el valor de verdad de cada una III. q → p es verdadera
de las siguientes proposiciones: Son ciertas:
p: Si 3 + 2 = 7, entonces 4 + 4 = 8 A) solo I y II B) solo I y III
q: No es verdad que: 2 + 2 = 5 si y solo si 4 + 4 C) solo II y III D) solo II
= 10. E) I, II y III
r: París está en Inglaterra o Londres está en
Francia. 9. Sabiendo que la proposición p es verdadera.
A) VVV B) FFF C) VFF ¿En cuáles de los siguientes casos es suficiente
D) VVF E) FFV dicha información para determinar el valor de
verdad de las siguientes fórmulas lógicas?
4. Si r y s son proposiciones falsa y verdadera I.(p ∨ q) ↔ (∼ p ∧ ∼ q)
respectivamente, señalar cuáles de las II.(p ∧ q) → (p ∨ r)
siguientes proposiciones son verdaderas: III.(p → q) → r
I.(r ∨ s) → r A) solo I B) solo II C) I y II
II.∼ s → r D) I y III E) todas
III.∼ r → s
IV.∼ r → (r ∧ s) *10. Si la proposición:
A) solo I B) solo II C) solo III { [p ∆ ∼ q] ∧ [p ∨ q] } → { r ↔ s} es falsa, hallar
D) solo II y IV E) solo II y III el valor de verdad de:
I.(p → ∼ q) ∧ (r ↔ p}
5. Si p ∧ q ≡ F y q → r ≡ F II.(∼ p ∨ r) → (r ∨ s)
Determine el valor de verdad de: III.(r ∧ s) → (p ∆ r)
I.(∼ p ∨ r) ∨ ∼ q A) VVV B) FVF C) VVF
II.∼[p ∨ (∼ q ∨ ∼ p)] D) FVV E) VFV
III.[(p → q) ∧ ∼ (q ∧ r)] ↔
[∼ p ∨ (q ∧ ∼ r)] *11. Si p(x): x2 = 16
A) VVV B) VFF C) FVV q(x): x ⎯ 4 = 8
D) VFV E) FFV r(x): x2 ⎯ 4 > 5
Hallar el valor de verdad de:
*6. Si la proposición: (∼ p → q) ∨ (r → ∼ s) es I. (p(1) ∧ p(3)) ↔ (r(2) ∨ p(3))
falsa, indique el valor de verdad de las II. [p(2) ∧ ∼ q(12)] ↔ r(4)
siguientes proposiciones III. [ ∼ p(4) → r(5)] ∨ ∼ q(4)
I.p ∧ {[∼q → r] ∨ s} A) VFV B) VFF C) VVF
II.(∼ r ∨ p) ↔ (p ∧ ∼ s) D) VVV E) FVV
III.[(s ∧ ∼ p) ∨ q] → (q ∨ ∼ p)
12. Si la proposición ∼ (p ∧ q) → r es falso, p → r es falso
señale el valor de verdad de las siguientes Determine el valor de verdad de:
proposiciones lógicas: I. ( s ∆ r ) ↔ p
I.p ∧ ∼ (∼ q ∨ r) II. ( p → r ) → s
II.(∼ p → q) ∧ (∼ q → r) ∧ p III. ( p ∆ r ) ∆ s
III.∼ (∼ p → q) ∧ ∼ (q → r) ∧ (p ∨ q)
A) FVV B) VFF C) FVF
A) VFF B) VFV C) FFF
D) VVF E) FFV
D) FFV E) VVV
19. Si la proposición:
13. Si el esquema molecular siguiente:
(r ∨ s ) → [ ( p ∧ ∼ s) → ( p ∧ ∼ q) ] es falsa
(q → p) → (r ∨ p)
es no verdadero, determine el valor de verdad Encuentre el valor de verdad de las
de cada una de las siguientes proposiciones: proposiciones:
t1 : (p ∧ x) → (m ↔ y) I. ( p ∧ ∼ q ) ↔ r
t2 : [p ∧ (∼ q ∆ r)] → (r ∨ q) II. q ∧ ( ∼ p ∨ ∼ s )
t3 : (r ↔ p) → (s ∨ q) III. ( ∼ p → r ) ∨ ∼ s
A) VFF B) VFV C) VVF A) VVV B) VFV C) VFF
D) VVV E) FFF D) FVV E) FVF

14. Si la proposición lógica mostrada: 20. Si q es una proposición verdadera y sabi-

[(∼ p ∨ q) ∨ [(p → q) ∧ t]] ∧ q endo que la proposición
es verdadero. Señale el valor de verdad de: (∼ r ∨ q ) ∧ ( ∼ q ∨ p ) ∧ ( p → q ) es verdadera
I.p → q II.t ∨ q III.∼ q ∧ (t ∨ p) Determinar el valor de verdad de p y r
A) VFV B) VVF C) FFV respectivamente.
D) FVF E) VVV A) Son verdaderos
B) Son falsos
*15. Sean p, q, x y t proposiciones y además p ∆ C) p es verdadero, r arbitrario
∼ t ≡ V, halle el valor de verdad de las siguientes D) p es falso, r verdadero
proposiciones E) Ambos pueden ser verdaderos o falsos
I.(p → t) ∨ (x ∆ q)
II.(p ∆ t) → (q ∆ x) 21. Sean p, r y s enunciados tales que
III.(p ↔ t) ↔ (x ∨ ∼ x) r ∨ ∼ s es verdadero y p ∨ s es verdadero
A) VVV B) VVF C) FVV Halle el valor de verdad de: p ∨ r
D) FVF E) FFF A) V B) F C) p
D) r E) contingencia
*16. Si la proposición compuesta
p ∧ ( p → q ) es verdadera 22.Indicar la tabla de verdad de la proposición
Entonces podemos afirmar que: p → (p ∨ q)
A) p; q son verdaderas A) V B) F C) V
B) p; q son falsas F V V
C) p es verdadera, q es falsa V F V
D) p es falsa, q es verdadera F V V
E) p es verdadera, q es arbitrario D) F E) F
F F
17. Dados los enunciados p, q, r y t tales que: F V
( p ∧ r ) ↔ (t → q ) es verdadero y F V
( ∼ t → ∼ q ) es falso
Hallar los valores de verdad de p, q, r y t. *23. Indicar la tabla de verdad de la
A) VFVF B) VVVF C) VVFF proposición compuesta: (p ∧ q) → (p ↔ q)
D) FVFV E) FFFV A) F B) V C) V
F V V
18. Sean p, r y s enunciados tales que: F V F
r ∨ ∼ s es verdadera F V F
 A) p B) q C) p ∨ q
D) F E) F D) p ∧ q E) V
F V
V V 32.Si la sgte. proposición compuesta es verdadera
V F [(∼p ∨ q) → (q ∧ ∼p)] ∧ ∼[(r →q) ∨ (∼p ∨ q)]
Determine los valores de verdad de p, q, r (en
24. Respecto a la proposición compuesta ese orden)
s: ( p ∧ q ) ↔ ( q → ∼ p ) A) VVF B) FVF C) VFF
Podemos afirmar que: D) FVV E) VFV
s es una tautología
s es una contradicción 33. Simplificar: p ∨ ( p ∆ q)
s es una contingencia A) V B) F C) p ∧ q
A) VFF B) FVF C) FFV
D) p ∨ q E) ∼ p
D) VFV E) FFF

25. Simplificar: *34. Simplificar

[(∼ p ∧ q) → (q → p)] ∧ (∼ q) p ∧ ( p ∆ q)
A) p B) q C) ∼p A) V B) F C) p ∧ q
D) ∼q E) p ∧ q D) p ∧ ∼ q E) p ∨ q

*26. Simplificar: 35. Se define

p ∧ ( q ∨ r )  ∨ ( p ∨ q) ∧ ( q ∨ r )  ∨ r ∧ ( p ∨ q)  P q p q
V V F
A) p ∨ (q ∧ r) B) p ∧ (q ∨ r)
V F V
C) q ∧ (p ∨ r) D) q ∨ (p ∧ r)
F V F
E) r ∨ (p ∧ q) F F V
Simplificar
27. Al simplificar la proposición:
[(p ∼ q) ∨ (∼ p q)] → p
(p → q) ↔ (p ∧ ∼ q)
A) p B) q C) ∼p
Se tiene:
D) ∼ q E) p ∨ q
A) p ∧ q B) ∼ p ∧ ∼ q
C) tautología D) contradicción
*36. Si se define p + q, por la tabla:
E) ∼ q
p q p+q
V V V
28. La siguiente proposición lógica:
V F V
[(∼ p ∨ q) ∨ ∼ (p ∧ ∼ q)] ∧ (p ∧ ∼ r) es F V F
equivalente a:
F F V
A) (p ∨ q) ∧ ∼ r B) (p ∧ q) ∨ ∼ r Simplificar : (p + q) + p
C) (p ∧ q) → ∼ r D) ∼ [(p ∧ q) → r] A) ∼ p B) ∼ q C) p ∨ q
E) ∼ p ∧ q ∧ ∼ r D) p ∧ q E) V
37. Si p q ≡ [(q ∧ p) → ∼ p] ∧ ∼ q
29.Al simplificar la sgte. Proposición compuesta: Indique el valor de verdad de las sgte. Proposi-
[∼p→∼(p→q)] ∨ [(p ∧(p→q))→p], se obtiene: ciones.
A) p B) q C) V
D) F E) ∼q I.(p q) ∨ q
II.[(p ∨ q) q] → ∼ q
30. Simplificar:
III.[(q p) p] ∧ p
{( p → q) ∨ (∼ q → p} ∧ {(r ∧ t ) ∨ (∼ r ∨ ∼t )} A) VFV B) VFF C) VVF
A) F B) V C) p ∨ q D) FFV E) FVV
D) p ∧ q E) p → q
*38. Al simplificar la sgte. Proposición compuesta
*31. Simplificar: [ ( p → q) → p ] → (q → p)
[p↔(q∨∼r)] ∧ {[p → (q ∧ ∼r)] ∧ [p∧(q→r )]}, D) p ∨ q E) p
se obtiene:
A) p B) q C) r 46. Se define la operación “*” por la tabla
D) V E) F p q p * q
V V V
39.Al simplificar la sgte. Proposición compuesta
∼{[(∼q→∼p) ∧ ∼(∼p→∼q)] ∨ (p→∼q)}se obtiene V F V
A) p ∧ q B) p ∨ q C) ∼(p ∧ q) F V F
D) ∼p ∨ q E) p ∨ ∼q F F V Simplificar (p*q)*p
A) ∼ p B) ∼ q C) p ∨ q
*40. Si * es un operador lógico definido
D) p ∧ q E) V
mediante la tabla adjunta tal que (s * t) * (t * s)
es verdadero
p q p*q *47. Definamos la siguiente función:
V V F  2, si p es verdadera

V F F f (p) = 0, si p es una contingencia
F V V  2, si p es falsa
F F F 
Determine el valor de:
entonces la proposición ∼(s*t), es: E = f[(p ∧ ∼p) → r] + 2f[p ↔ ∼p] + 2f[∼p → q]
A) verdadera D) s ∧ t + 3f[((p → q) → p) → (q → p)]
B) Falsa E) t A) −2 B) 0 C) 2
C) s D) 4 E) 6

41. Empleando las leyes de la lógica *48. La proposición equivalente de:

proposicional, simplifique: ( p ∧ q ) ↔ p Es:
r ∧ [p → (q ∨ r)] A) p ∨ q B) ∼ p ∨ q C) p ∧ q
A) r B) p C) q D) p ∧ ∼ q E) V
D) r → p E) p ∨ q
49. Si: ( p → ∼ q ) ∨ ( ∼ r → s ) es falso
42. Muestre el equivalente de: Deducir el valor de verdad de:
( p ∨ q) → ( p ∧ q) (∼ p → ∼ q ) ∨ ∼ p
A) p ∧ q B) p → q C) p ↔ q A) V B) F C) Contingencia
D) p ↔ ∼ q E) ∼ p ↔ q D) p E) Faltan datos

*43. Si se define al operador * por p * q = q ∧ 50.Al simplificar la sgte.proposición compuesta

∼p, simplifique: [(p → ∼q) ∧ (q → p)] ∧ [p ∧ (p ∨ ∼r)
E = [(p * q) * p] * [(q * p) * q] se obtiene:
A) p B) q C) p ∧ ∼q A) p → q B) ∼q → p C) p ∧ q
D) ∼p E) p * q D) ∼(p → q) E) ∼p ∧ r

*44. Si * y # son dos operadores lógicos

definidos por: p * q ≡ ∼p → ∼q
p # q ≡ ∼p ∧ q
entonces la proposición equivalente a (∼p * q)
# (∼q # p) es:
A) p → q B) q → p C) p ∧ q
D) p ∨ q E) p ↔ q

45. Simplificar:
( p ∧ q) ∨ (∼ p ∧ q) ∨ ( p ∧ ∼ q ) ∨ ( ∼ p ∧ ∼ q)
A) V B) F C) p ∧ q