Lenguaje Matema Tico
Lenguaje Matema Tico
Lenguaje Matema Tico
Gua Lógica
Álgebra
2016
0.1. Ejercicios
3. Verificar, utilizando tablas de verdad, cuáles de las siguientes proposiciones son equiva-
lentes:
a) pY ∼ q
b) ∼ p ∨ q
c) (p ∧ q) ∨ (∼ p∨ ∼ q)
d ) (p∨ ∼ q) ∧ (∼ p ∨ q)
[∼ (p ⇒ q) ∧ (∼ p ∧ q)] ∨ (r ⇒∼ p)
a) [p ∨ (p ∧ q) ⇔ p]
b) (p ∧ q) ⇒∼ (∼ p∧ ∼ q)
c) q ⇒ (p ⇒ q)
d ) (p ∧ q) ⇒ r ⇔ (p ⇒ r) ∨ (q ⇒ r)
e) p ⇒ [q ⇒ (p ∧ q)]
f ) (p ⇒ (q ∧ r)) ⇔ (p ⇒ q) ∧ (p ⇒ r)
g) p ∨ (p ∧ q) ⇔ p
a) p Y (q Y r) ≡ (p Y q) Y r
b) p ∧ (q Y r) ≡ (p ∧ q) Y (p ∧ r)
c) p ∨ q ≡ (p Y q) Y (p ∧ q)
d ) p ∧ q ≡ p Y (p∧ ∼ q)
e) p ∧ (p ∨ q) ≡ p
f ) ∼ (p ∧ q) ≡∼ p∨ ∼ q
g) p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
(p ∧ q) ⇒ r ó [(p ⇒ r) ∧ (q ⇒ r)]
a) p es V, q es V, r es F
b) p,r son F, q es V
c) p es F, q es F, r es V
d ) si todas son verdaderas
a) p ∧ (q∧ ∼ p)
b) (p ∧ q) ∨ p
c) (p ⇒ q)∨ ∼ p
3
d ) (p ⇒ q) ∨ p
e) (q ⇒ p) ⇒ p
f ) (p ⇒ q) ⇒ p
g) (p ⇒∼ q) ∨ q
h) p∧ ∼ (q ⇒ p)
i ) [p ∨ (q ⇔∼ p)] ⇒∼ q
j ) [∼ (p ⇒ q) ∧ (∼ p ∨ q)] ∨ [r ⇒ (p ∨ r)]
k ) ∼ p ∧ (q ∧ p)
l ) [p ⇒ (∼ p ∨ r)] ∧ [r ⇒∼ p]
m) [∼ (p ⇒ q) ⇒∼ (q ⇒ p)] ∧ (p ∨ q)
p q p~q
V V F
V F V
F V F
F F F
a) p ∨ (p ∧ q) ≡ p
b) p ∧ (p ∨ q) ≡ p
c) ∼ (p ∨ q) ∨ (∼ p ∨ q) ≡∼ p
d ) (∼ (p ⇒∼ q)) ≡ (p ∧ q)
e) (p∧ ∼ q) ⇒ r ≡∼ p ∨ (q ∨ r)
f ) [{(p ⇒ q) ∧ (p ⇒ t)} ∨ {(r ⇒ p) ∧ (r ⇒ t)}] ≡ {(p ∧ r) ⇒ (q ∧ t)}
15. Sea A = {0, 1, 2, 3, 4, 5, 6}. Escribir en sı́mbolos y averiguar el valor de verdad de:
a) (p ⇒ q) ≡ {(p∧ ∼ q) ⇒ q}
b) (p ⇔ q) ≡ (∼ p ⇔∼ q)
c) {p ⇒ (q ∧ r)} ≡ {(p ⇒ q) ∧ (p ⇒ r)}
d ) {(p ∧ q) ⇒ r} ≡ {(p∧ ∼ r) ⇒∼ q}
e) {p ⇒ (p∧ ∼ (q ∨ r))} ≡∼ p ∨ (∼ q∧ ∼ r)
f ) [(∼ p ∨ q) ∨ (∼ r∧ ∼ p)] ≡ (q∨ ∼ p)
5
21. Indique en cuáles de los siguientes casos p es condición suficiente para q; y en cuales p
es condición necesaria y suficiente para q.
p : A es múltiplo de 4
a)
q : A es número par
p : A y B son pares
b)
q : A + B es par.
22. Si las proposiciones compuestas
i) p ⇔ (∼ q∨ ∼ r) y
ii) ∼ p Y q
a) ∀x∃y(x + y = 5 ⇒ y = −x)
b) ∀x∀y[(x + y es impar) ⇒ (x es impar ∨ y es impar))]
c) ∃x∀y(x < y ∧ x2 ≥ y)
d ) ∀x∀y∃z(x < y ⇒ x + z = y)
28. Demostrar:
a) ∀x ∈ R : x2 ≥ x
b) ∃x ∈ R : 2x = x
2x−1 1
c) ∀x ∈ R : 4x−2 = 2
d ) ∃x ∈ R : x2 + 2x + 1 ≤ 0
e) ∀x ∈ R : −x2 + 4x − 5 > 0
30. Sea A = N, sean p(x) : x es par, q(x) : x es divisible por 3; r(x) : x < 6, s(x) : x ≥ 7,
t(x) : x es múltiplo de 6.
Determine el valor de verdad de