1

Universidad del Valle

Matemáticas Básicas 111023C - 11
Taller de Lógica

1. Si A = {1, 2, 3, 4}, determine el valor de verdad de las proposiciones:

a) ∀x ∈ A (x + 3 < 6).
b) ∃x ∈ A (2x + x2 = 15).
c) ∀x ∈ A ∀y ∈ A (x2 + y es par).
d ) ∃x ∈ A ∀y ∈ A (x2 + y es par).
e) ∀y ∈ A ∃x ∈ A (x2 + y es par).
f ) ∀x ∈ A ∃y ∈ A (x2 + y es impar).

2. Niegue cada una de las proposiciones dadas.

a) ∀x ∈ A (x ≤ 9)
b) ∀x ∈ A (x > 1 → x = 2)
c) ∃x ∈ A (x > 2 ∧ x2 6= 3)
d ) ∀x ∈ A ∃y ∈ A (y > x)
e) ∃x ∈ A ∀y ∈ A (x ≤ y)
f ) ∃x ∈ A ∃y ∈ A (x + y = 3).
g) ∀x ∈ A ∃y ∈ A (x + y ∈ A)

3. Traduzca al lenguaje simbólico las siguientes proposiciones.

a) Todo número natural es mayor que cinco.

b) Si un número real es mayor que tres, entonces su cuadrado es mayor que
ocho.
c) Dado cualquier número natural, existe un número natural menor que él.
d ) Existe un número real mayor que tres y menor que siete.

4. Construya la tabla de verdad de cada proposión y diga si es una tautologı́a,

una contradicción o una contingencia.

a) [(p ↔ q) ∨ (p → r)] → (q ∧ p)
b) [(∼ p ∧ q) ∨ (p ∨ r) → [(p∨ ∼ q) ∨ (p∨ ∼ r)]

5. Utilice el método indirecto para mostrar que cada una de las siguientes pro-
posiciones es una tautologı́a.

a) [(p → q) ∧ (q → r)] ⇒ (p → r)
b) (p → q) ⇒ [(p ∨ r) → (q ∨ r)]
c) (p → q) ⇒ [(p ∧ r) → (q ∧ r)]
d ) (p → q) ⇒ [(q → r) → (p → r)]
2

e) [(p → q) ∧ (r → s)] ⇒ [(p ∨ r) → (q ∨ s)]

f ) [(p → q) ∧ (r → s)] ⇒ [(p ∧ r) → (q ∧ s)]
g) [(p → q) ∧ (r → s)] ⇒ [(∼ q ∨ ∼ s) → (∼ p ∨ ∼ r)]
h) [(p → q) ∧ (r → s)] ⇒ [(∼ q ∧ ∼ s) → (∼ p ∧ ∼ r)]

6. En cada uno de los siguientes razonamientos, demostre que la conclusión es

consecuencia lógica de las premisas dadas.

P1 : ∼ t ∨ r, P1 : ∼ p,
P2 : ∼ s −→ ∼ r, P2 : q ∨ ∼ r,
a)
P3 : t, d ) P3 : q ←→ p,
C: s P4 : t −→ r.
C: ∼t
P1 : q,
P2 : q −→ ∼ s, P1 : ∼ s −→ (t −→ u),
b) P 3 : ∼ s −→ t, P2 : s ∨ (∼ r ∨ t),
e)
P4 : ∼ t ∨ p. P3 : ∼ s,
C: p∧q C : ∼r∨u
P1 : f −→∼ t, P1 : p −→ t,
P2 : ∼ f −→ (h −→ ∼ g), P2 : t −→ ∼ q,
P3 : (∼ i ∨ ∼ h) −→ ∼ (∼ t), P3 : ∼ p −→ (r −→ ∼ q),
c) f)
P4 : ∼ i ∨ ∼ d, P4 : (∼ s ∨ ∼ r) −→ q,
P5 : d ∧ h. P5 : ∼ s.
C: ∼g C: ∼r

7. Luego de un crimen, se comprueban los siguientes hechos:

a) El asesino de Don Juan es su hijo Pedro o su sobrino Diego.

b) Si Pedro asesinó a su padre entonces el arma está escondida en la casa.
c) Si Diego dice la verdad entonces el arma no está escondida en la casa.
d ) Si Diego miente entonces a la hora del crimen, él se encontraba en la casa.
e) Diego no estaba en la casa a la hora del crimen.

Escriba estas proposiciones en lenguaje simbólico y determine quién es el ase-

sino.