I.

- Ejercitación Básica y General

1.- Escriba en forma simbólica los siguientes enunciados

a) Si las exportaciones disminuyen entonces bajarán las utilidades

p: Exportaciones disminuye
q: Bajaran las utilidades
La representación es: p ⇒ q

b) Los precios son altos si y sólo sí los costos aumentan:

p: Los precios son altos
q: Los costos aumentan
La representación es: p ⇔ q

c) Si la producción aumenta entonces bajarán los precios:

p: producción aumenta
q: bajan los precios
La representación es: p ⇒ q

d) Si aumenta la demanda esto implica que aumenta la oferta y

viceversa:
p: Aumenta la manda
q: Aumenta la oferta
La representación es: p ⇔ q

e) Si la contaminación aumenta entonces existirá restricción

vehicular adicional:
p: aumenta la contaminación
q: existirá restricción vehicular
La representación es: p ⇒ q
2.- Si p y r son proposiciones verdaderas y q es falsa, determine el
valor de verdad de:
a) [ (p ∧ ∼ q) v ∼ r] ⇒ q
b) [ (∼ r v q) ∧ (r v ∼ p)] ⇔ ∼ r
c) [ (∼ p ⇒ q) ⇒ ∼ r] v [ ∼ q ⇒r]

p= V r=V q= F en el polinomio

a. [ (V ∧ ∼ F) ∨ ∼F] ⇒ F,
[(V ∧ V) ∨ V] ⇒ F,
[ V ∨ V] ⇒ F,
V ⇒ F,
el resultado es F, falso.

b. [(∼V v F) ∧ (V ∨ ∼V)] ⇔ ∼V,

[(F v F) ∧ (V∨ F)] ⇔ F,
F ∧ V ⇔ F ⇔F
el resultado es V, verdadero.

c. [(∼V ⇒ F) ⇒ - V] ∨ [∼F ⇒ V],

[(F⇒ F) ⇒ F] ∨ [V ⇒ V],
(V ⇒ F) ∨ V,
F v V,
el resultado es V.

3.- ¿Qué condiciones debe satisfacer p y q para que la siguiente

proposición sea:
a) [ (q ⇔ p) ∧ ∼ q] ⇒ (p ∧ ∼ q) Falsa
b) [ (∼ p ⇒ q) ⇒∼ r] v [ ∼ q ⇒ r] Falsa
c) {~p ∧ (p v q)} ∧ [ p ⇔ q] Verdadera

a. [(F ⇔ F) ∧ V] ⇒ (F ∧ V), [ V ∧ V] ⇒ F, eso es V ⇒ F.

p es falsa y q es falso

b. No existe condición para que sea falso porque es una tautología.

c. El resultado es una contradicción ya que p y q no cumplen con las

condiciones.

4.- Sean p, q, r, tres proposiciones tales que r es falsa, p ⇔ ∼ q y q ⇒

r son verdaderas, deducir el valor de verdad de p.

p⇔ (∼ q ∧ p) ⇒ r

p⇔ (f ∧ v) ⇒ f

p ⇔ (f) ⇔ f
p⇔ v
v⇔ v
v

Respuesta.
El valor de p es verdadero

5.- Cuál de las siguientes expresiones son lógicamente equivalentes a

(∼ p v ∼ q) ∧ r
a) p ⇒ (∼ q ∧ r)
b) (p ⇒ q) ∧ r
c) (p ⇒ ∼ q) ∧ r
d) p ⇒ (q v r)
La respuesta es la c.
Puesto que (p ⇒ ∼ q), por una propiedad dice que (p⇒q) equivale a
∼p⇒∼q o ∼p v q. equivale a (∼p v ∼q),
luego: “(p ⇒ ∼ q) ∧ r" sería "(∼p v ∼q) ∧ r"

6.- Considere la proposición p (x): x es un número mayor o igual que

-2 y menor que 3. Determine los valores de verdad de.
a) (∀ x) (x ∈ E) p(x) si E = {-2, -1, 0}
b) (∃ x) (x ∈ F) p (x) si F = {3,4,5}
a. Falsa. p(x) = {-2,.1,0,1,2}

b. (∃ x) (x ε F) p (x) si F = {1,3,4,5}
Verdadera. P(x) = {1} E F

7.- Si la proposición p es verdadera y la proposición q es falsa,

entonces de las siguientes afirmaciones es (son) correcta (s):
I p ⇒ q es una proposición verdadera
II p ⇔ q es una proposición falsa
III ∼p v q es una proposición verdadera

I. La afirmación no es correcta

II. La afirmación es correcta

III. La afirmación es incorrecta

8.- La negación de la proposición p v q es:

I ∼p v q
II ∼p ∧ ∼q
III. ∼p v ∼q

9.- Sean p y q dos proposiciones distintas, si (p v q) es falsa

entonces
a) p es verdadera y q es falsa
b) p es verdadera y q es verdadera
c) p es falsa y q es falsa
d) p es falsa y q es verdadera
e) Ninguna de las anteriores

10.- Dada la proposición q = " a ningún niño le gustan las" entonces

escriba la preposición ∼q
Rta: “No es cierto que a ningún niño le gustan las”

11.- Si la proposición p es verdadera (V) y la proposición q es

verdadera (V). De las expresiones siguientes cuál (es) es(son)
correcta(s):
a) p ⇒q = V – Correcta.
b) p ∧ q = F - Incorrecta.
c) p v q = F – Incorrecta.
d) ∼ p ∧ q = V – Incorrecta.

12.- Sea P(x) = x + 5 ≤ 9, x ∈ IN. Señale el conjunto validez de P (x).

RTA: E {0, 1, 2, 3, 4}

13.- Dadas las proposiciones: p = José es rico; q = José es avaro. La

proposición simbólica que expresa: " Si José es rico, entonces es
avaro "
RTA: p ⇒q
14.- Sea P (x) = " x aumentado en 9, es mayor o igual que 13". De
acuerdo a esta proposición es incorrecto señalar que:
a) ∃ '. x que cumple p(x)
b) ∀ x > 4 se cumple p(x)
c) ∃ x ≤ 4 se cumple p(x)
d) ∀ x > 14 se cumple p(x)
15.- Sean las proposiciones:
p: la computación es fácil
q: los ingenieros deben saber computación
Entonces, traduzca a lenguaje verbal las proposiciones siguientes y
¿Cuál(es) a su juicio representa(n) una expresión aceptable en el
sentido cotidiano?
a) p ∧ q
Rta: la computación es fácil y los ingenieros deben saber computación.

b) ∼ (p v q)
Rta: no debe ser cierto que, la computación fácil o los ingenieros deben
saber computación.

c) ∼ (q v ∼p)
Rta: No debe ser cierto que, los ingenieros deben saber computación o
la computación no es fácil.

d) ∼ (p v ∼q)
Rta: no debe ser cierto que, la computación es fácil o los ingenieros no
deben saber de computación.

e) p ⇒ q
Rta: La computación es fácil entonces los ingenieros deben saber
computación.

¿Cuál(es) a su juicio representa(n) una expresión aceptable en el

sentido cotidiano?
c) ∼ (q v ∼p): No debe ser cierto que, los ingenieros deben saber
computación o la computación no es fácil
16.- Se sabe que la proposición: [(p v q) ∧ p] ⇒ [ (r v q) ⇔ p] es falsa.
Determinar los valores veritativos de las proposiciones:
a) p, q, r
p=v q=f r=f
Si dice que es falso, por condicional la primera parte tiene que ser
necesariamente verdadera y la segunda falsa.
1: [(p v q) ∧ p] = (V v F) = V ∧ V = V
2: [(r v q) ⇔ p] = F v F=F ⇔ V= F
b) [(p ∧ ∼ q) ⇒ (r v p)] ⇔ [ ∼ q (r v p)] = V
[(V ∧ V) ⇒ (F v V)] ⇔ [ V (F v V)]
V ⇒ V ⇔ V (V)
V ⇔ V
V
17.- Construir las tablas de verdad de y verificar cuales de ellas son
tautologías.
a) [(p ∧ ∼q) ⇒ q]⇔ (p ⇒ q)
p q (p ∧ ∼q) ⇒ q ⇔ (p ⇒ q)
V V F V V V V
V F V F F V F
F V F V V V V
F F F V F V V
TAUTOLOGIA

b) (p ⇒ q) ⇔ [(∼p ⇒∼ q)]
p q (p ⇒ q) ⇔ [(∼p ⇒∼ q)]
V V V V V
V F F F V
F V V F F
F F V V V
CONTINGENCIA

c) [p ∧ (p ⇒ q)] ⇒q
 p q p ∧ (p ⇒ q) ⇒ q
V V V V V V V
V F V F F V F
F V F F V V V
F F F F V V F
TAUTOLOGIA

18.- Deduzca utilizando propiedades conocidas que la proposición:

[(p ∧ ∼q) v (p ∧ r)] ⇒ (q ∧ r) es la negación de: ∼ (p ⇒ q)

Para verificar la equivalencia debemos reducir la primera expresión hasta

llegar a la negación de la segunda.
La negación de ¬ (p ⇒ q) = ¬¬ (p ⇒ q) = p ⇒ q
Por lo tanto:
[(p ∧ ¬q) v (p ∧ r)] ⇒ (q ∧ r) ≅ p ⇒ q
¬ [(p ∧ ¬q) v (p ∧ r)] ∨ (q ∧ r) Equivalencia de la condición
[¬ (p ∧¬q) ∧ ¬ (p ∧ r)] ∨ (q ∧ r) Propiedad de la negación
[(¬p ∨ q) ∧ (¬p ∨ ¬r)] ∨ (q ∧ r) Propiedad de la negación
¬p ∨ [ (q ∧ ¬r) ∨ (q ∧ r)] Propiedad distributiva inversa.
¬p ∨ [q ∧ (¬r ∨ r)] Asociativa
¬p ∨ [q ∧ 1] Tercero excluido
¬p ∨ q Identidad
p→q Equivalencia de la disyunción

Se verifica la equivalencia la proposición es la negación de ¬ (p ⇒ q)

 II.- Tautología, Contingencia o Contradicción
Demuestre por medio de tablas de verdad si las siguientes proposiciones son
Tautología (T) Contingencia (k) o Contradicción (C)
19.- [(p ⇒ q) ∧ ~p] ⇒~q
p q (p ⇒ q) ∧ ~p ⇒ ~q
V V V F F V F
V F F F F V V
F V V V V F F
F F V V V V V
CONTIGENCIA (K)

20.- [(p v q) r] ⇔ [(p’ ⇔ q’) v r’]

p q r (p v q) v r ⇔ (p’ ⇔ q’) v r’
V V V V V V V V V F
V V F V V F V V V V
V F V V V V F F F F
V F F V V F V F V V
F V V V V V F F F F
F V F V V F V F V V
F F V F V V V V V F
F F F F F F F V V V
CONTIGENCIA (K)

21.- ∼ {[∼p ∧ (∼q v p)] ⇒ q}

p q ∼p ∼q ∧ (∼q v ⇒ q ∼ {[∼p ∧ (∼q v p)] ⇒ q}
p)
V V F F F V V V F

V F F V F V V F F

F V V F F F V V F
F F V V V V F F V
CONTINGENCIA(K)

22.- [(a v b) ∧ (a v c)] ⇔ [a v (b ∧ c)]

a b c (a v b) ∧ (a v c) ⇔ a v (b ∧ c)
1 1 1 1 1 1 1 1 1 0
1 1 0 1 1 1 1 1 1 0
1 0 1 1 1 1 1 1 1 0
 1 0 0 1 1 1 1 1 1 0
0 1 1 1 1 1 1 0 1 1
0 1 0 1 0 0 1 0 0 0
0 0 1 0 0 1 1 0 0 0
0 0 0 0 0 0 1 0 0 0
TAUTOLOGIA(T)

23.- [(a ⇒ b) ∧ (b ⇒c)] ⇔ (a ⇒ c)

a b c (a ⇒ b) ∧ (b ⇒c) ⇔ (a ⇒ c)
1 1 1 1 V 1 1 1
1 1 0 1 0 0 1 0
1 0 1 0 0 1 0 1
1 0 0 0 0 1 1 0
0 1 1 1 0 1 0 1
0 1 0 1 0 0 0 1
0 0 1 1 1 1 1 1
0 0 0 1 1 1 1 1
CONTINGENCIA(K)

III.- Esquemas Equivalentes

Se dice que son esquemas equivalentes cuando los valores veritativos de ambas
tablas son iguales. Determine si las siguientes proposiciones son equivalentes o
no.
25.- [(p ∧ ∼q) v ∼ (q ∧ ∼p)] con [(p ⇒ q) ⇒ (q ⇒ p)]
p q ¬q ¬p (p ∧ ¬q) (q ∧ ¬p) (p ∧ ¬q) ∨ ¬ (q ∧ ¬p)
V V F F F F F
V F V F V F V
F V F V F V V
F F V V F F V

p q p⇒q q⇒p (p ⇒ q) ⇒ (q ⇒ p)
V V V V V
V F F V V
F V V F F
F F V V V
NO EQUIVALENTES
26.- (p ⇔ q) con (∼p ⇔ ∼q)
p q p⇔q
V V V
V F F
F V F
F F V

p q ¬p ¬q ¬p ⇔ ¬q
V V F F V
V F F V F
F T V F F
F F V V V
SON EQUIVALENTES

27.- [p ⇒ (q v r)] con [(p⇒ q) v (q⇒ r)]

p q r qvr p -> (q v r)
V V V V V
V V F V V
V F V V V
V F F F F
F V V V V
F V F V V
F F V V V
F F F F V

p q r p -> q q -> r (p -> q) v (q -> r)

V V V V V V
V V F V F V
V F V F V V
V F F F V V
F V V V V V
F V F V F V
F F V V V V
F F F V V V
NO EQUIVALENTES
28.- [p ⇒ (q ∧ r)] con [∼p v (q ∧ r)]
p q r qvr p ⇒ (q v r)
V V V V V
V V F V V
V F V V V
 V F F F F
F V V V V
F V F V V
F F V V V
F F F F V

p q r p⇒q q⇒r (p⇒q) v (q⇒r)

V V V V V V
V V F V F V
V F V F V V
V F F F V V
F V V V V V
F V F V F V
F F V V V V
F F F V V V
NO EQUIVALENTES

29.- [∼ (p v q)] con (∼p v ∼q)

p q
V V
V F
F V
F F
pvq ∼ (p v q)
V F
V F
V F
F V

p q ∼p ∼q ∼p v ∼q
V V F F F
V F F V V
F V V F V
F F V V V
NO EQUIVALENTES

30.- Probar que las tres proposiciones siguientes son equivalentes:

p ⇒ (q v r)
(p ∧ ∼q) ⇒ r
(p ⇒q) v (p ⇒ r)
p q r qvr p ⇒ (q v r)
V V V V V
 V V F V V
V F V V V
V F F F F
F V V V V
F V F V V
F F V V V
F F F F V
p q r ∼q p ∧ ∼q (p ∧ ∼q) ⇒ r
V V V F F V
V V F F F V
V F V V V V
V F F V V F
F V V F F V
F V F F F V
F F V V F V
F F F V F V

p q r (p ⇒q) (p ⇒ r) (p ⇒q) v (p ⇒ r)
V V V V V V
V V F V F V
V F V F V V
V F F F F F
F V V V V V
F V F V V V
F F V V V V
F F F V V V

31.- Probar que ∼ p es equivalente con [(p v q) ⇒ (∼p ∧ q)] ∧ (p ⇒ q)

p q ∼p p v q ∼p ∧ q (p v q) ⇒ (∼p ∧ q) p ⇒ q [(p v q) ⇒ (∼p ∧ q)] ∧ (p ⇒ q)
V V F V F F V F
V F F V F F F F
F V V V V V V V
F F V F F V V V

32.- Transformar la proposición: p ⇒ ∼ (∼q ⇒r) en otra equivalente que

contenga sólo conectivos "∧ " y "∼"
IV.- Simplificar
Simplifique las siguientes proposiciones usando álgebra lógica:
33.- p ⇒ [∼q ⇒ (p v q)]
p ⇒ [∼q ⇒ (p v q)] Equivalente
∼p v [ q v (p ∧ q)]Absorción
∼p v q

34.- (∼q ⇔ r) v ∼r
(∼q ⇔ r) v ∼r Ley Bicondicional
[(∼q ⇒ r)] ∧ (r ⇒∼q)] v ∼r Condicional
[(q v r)] ∧ (∼r v∼q)] v ∼r Conmutativa
[(q v r)] ∧ (∼q v∼r)] v ∼r Absorción
(q v r) v ∼r Absorción
q v ∼r

35.- ∼ [(∼p ⇒ q) ⇔ ∼ (p v ∼q)]

∼ [(∼p ⇒ q) ⇔ ∼ (p v ∼q)] Bicondicional-Condicional

∼ [(p v q) ⇒ ∼ (p v ∼q) ∧ ∼ (∼p v ∼q) ⇒ (p v q)] Condicional

∼ [∼ (p v q) v ∼ (p v ∼q) ∧ (p v ∼q) v (p v q)] Negación-Asociativa

∼ [(∼p ∧ ∼q) v ∼ (∼p ∧ q) ∧ (p v p) v (∼q v q)] Formas normales

∼ [(∼p ∧ ∼q) v ‘1’ ∧ (p v p) v ‘1’]
∼ [ ‘1’ ∧ ‘1’]
∼1
0
36.- p ∧ [(q ∧ ∼p) ⇒ (p v ∼q)] Condicional
p ∧ [∼ (q ∧ p) v (p v ∼q)] Negación
p ∧ [(∼q v∼p) v (p v ∼q)] Asociativa
p ∧ [(∼q v ∼q) v (p v ∼p)] Formas normales
p ∧ [(∼q v ∼q) v ‘1’] Tercero excluido
p ∧ ‘1’ = p
37.- a v [(b ⇒ ∼b) ∧ (a ⇒ ∼a)]
a v [(b ⇒ ∼b) ∧ (a ⇒ ∼a)] Condicional
a v [(∼b v b) ∧ (∼a v a)] Formas normales
a v [ ‘1’ ∧ ‘1’]
a v ‘1’ = a