Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Material Bueno Luis Zegarra
Material Bueno Luis Zegarra
Introducción a la lógica
matemática y a la teorı́a de
conjuntos
1.1. Introducción
En estas notas, que no pretenden ser más que una introducción, no ten-
drı́a sentido extenderse en la consideración de los problemas de la lógica
matemática sobre los cuales el lector interesado podrá consultar obras de
buen nivel indicadas en la bibliografı́a.
1
Luis Zegarra A. Introducción a la lógica matemática y a la teorı́a de conjuntos 2
Por tanto, se dice que las proposiciones son bivalentes, conviene observar que
no compete a la lógica establecer el valor de verdad de las proposiciones, es
decir, se considerarán las proposiciones simples con su valor ya asignado.
∼ : Negación
∧ : Conjunción
∨ : Disyunción
⇒ : Implicación
⇔ : Doble implicación
∨ : Disyunción excluyente
p q ∼ p p ∧ q p ∨ q p∨q
V V F V V F
V F −− F V V
F V V F V V
F F −− F F F
Lo anterior se resume en
p q p⇒q
V V V
V F F
F V V
F F V
Luis Zegarra A. Introducción a la lógica matemática y a la teorı́a de conjuntos 5
El uso del condicional para vincular proposiciones sin relación entre si, puede
hacer ver como paradojales, por ejemplo,
p q p ⇒ q q ⇒ q ∼ p ⇒∼ q ∼ q ⇒∼ p
V V V V V V
V F F V V F
F V V F F V
F F V V V V
Si n es impar ⇒ n = 2k − 1 ⇒ n2 = 4k 2 − 4k + 1, k ∈ N
⇒ n2 = 2(2k 2 − 2k) + 1
⇒ n2 = 2p + 1, p = 2k 2 − 2k, p ∈ N0
p ⇔ q ≡ (p ⇒ q) ∧ (q ⇒ p)
Notemos por último que en una proposición como (*) que es verdadera,
todos los teoremas: directo, recı́proco, inverso y contrarecı́proco son ver-
daderos. No ocurre ası́ en un teorema directo del tipo p ⇒ q (verdadero),
tal es el caso del ejemplo siguiente:
En resumen:
1. Forma directa: p1 ∧ p2 ∧ . . . ∧ pn ) ⇒ q
| {z } |{z}
Hipótesis Tesis
Ejemplos.
Forma directa:
(p ∧ q) ⇒∼ (∼ p∧ ∼ q) ≡ ∼ (p ∧ q) ∨ (p ∨ q)
≡ (∼ p∨ ∼ q) ∨ (p ∨ q)
≡ (∼ p ∨ p) ∨ (∼ q ∨ q) ≡ V
Forma indirecta:
(∼ p∧ ∼ q) ∧ (p ∧ q) ⇒∼ (p ∧ q) ≡ (∼ p ∧ p) ∧ (∼ q ∧ q) ⇒∼ (p ∧ q)
≡ F ⇒∼ (p ∧ q)
≡ V ∨ ∼ (p ∧ q) ≡ V
√
2. (Clásico). Vamos a probar que 2 no es un número racional. La de-
mostración es por el método por reducción al absurdo (forma indirec-
ta).
√
Suponemos que 2 es racional, existen p y q primos entre sı́, p, q ∈ Z,
q 6= 0, tal que
p √ √
= 2 ⇔ p = 2q ⇔ p2 = 2q 2 ⇒ p2 par ⇒ p es par.
q
Luis Zegarra A. Introducción a la lógica matemática y a la teorı́a de conjuntos 10
Hemos visto como vincular entre sı́ dos proposiciones simples mediante los
simbolos: ∼, ∨, ∧, ∨, ⇒ y ⇔. A estas nuevas proposiciones les hemos llama-
do compuestas y naturalmente en este mismo contexto se pueden estudiar
proposiciones compuestas de tres o más proposiciones simples, por ejemplo:
∼ (p ∧ q) ⇒ (p∨q) ∨ (∼ q)
(p ∧ q) ⇔ (q∨ ∼ p)
((p ∨ q) ∧ r) ⇔ (p ∧ r) ∨ (q ∧ r)
Definiciones
1. p ∧ V ≡ p; p ∧ F ≡ F
Luis Zegarra A. Introducción a la lógica matemática y a la teorı́a de conjuntos 11
2. p ∨ V ≡ V ; p ∨ F = p
3. p ∧ p ≡ p; p ∨ p ≡ p
4. ∼ (∼ p) ≡ p; ∼ F ≡ V ; ∼ V ≡ F
5. p ∧ (∼ p) ≡ F ; p ∨ (∼ p) ≡ V
6. p ∧ q ≡ q ∧ p; p ∨ q ≡ q ∨ p
7. p ∧ (q ∧ r) ≡ ((p ∧ q) ∧ r); p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r
8. p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r);
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
9. ∼ (p ∧ q) ≡∼ p∨ ∼ q; ∼ (p ∨ q) ≡∼ p∧ ∼ q
10. p ∧ (p ∨ q) ≡ p; p ∨ (p ∧ q) ≡ p
a) x + 1 = 3
b) x2 − 5x + 6 = 0
c) x2 − 9 = (x − 3)(x + 3)
d) x2 = 25 ∧ x + 1 = 6
Observaciones.
1.4. Cuantificadores
∀ x ∈ U : px ⇒ qx (*)
∃ x ∈ U : x2 = 4, px (px : x2 = 4)
Otro ejemplo, hay un elemento en U que es mayor que todos los demás, asi,
p : ∀ x ∈ Q, ∃ y ∈ Q : 2x + y = 0
q : ∃ y ∈ Q, ∀ x ∈ Q : 2x + y = 0
Para p:
1
Si x = 2
∃ y = −1 : 2 12 + (−1) = 0 (V )
Si x = −5 ∃ y = 10 : 2(−5) + 10 = 0 (V ),
Ejemplos.
1. ∼ {∀ x ∈ U, ∃ y ∈ U : x + y = 5 ⇒ x = y} ≡ ∃ x ∈ U, ∀ y ∈ U :
∼ [∼ (x + y) = 5 ∨ (x = y)] ≡ ∃ x ∈ U, ∀ y ∈ U : x + y = 5 ∧ x 6= y
2. ∼ {∀ x ∈ U, ∀ y ∈ U, ∃ z ∈ U (x < y ⇒ x + z = y)}
≡ ∃ x ∈ U, ∃ y ∈ U, ∀ z ∈ U (x < y ∧ x + z 6= y).
Luis Zegarra A. Introducción a la lógica matemática y a la teorı́a de conjuntos 16
∼ (∼ p∨ ∼ (∼ q))∧ ∼ (∼ p)
Solución.
Notemos previamente que:
∼ (∼ p∨ ∼ (∼ q))∧ ∼ (∼ p) ≡ (p∧ ∼ q) ∧ p ≡ p ∧ (∼ q ∧ p) ≡
p ∧ (p∧ ∼ q) ≡ (p ∧ p)∧ ∼ q ≡ p ∧ (∼ q)
Asi, (*) es equivalente a afirmar: tengo un loro y no tengo un gato.
3. Pruebe que:
Luis Zegarra A. Introducción a la lógica matemática y a la teorı́a de conjuntos 17
a) (p ∧ q) ⇔∼ (p ⇒ (∼ q))
b) [p ⇒ (q ∨ r)] ⇔ [p ∧ (∼ q) ⇒ r]
Solución.
La haremos mediante tablas de verdad, luego:
a)
(p ∧ q) ⇔ ∼( p ⇒ ∼ q)
V V V V V V F F
V F F V F V V V
F F V V F F V F
F F F V F F V V
b)
[p ⇒ (q ∨ r)] ⇔ [(p ∧ ∼ q ) ⇒ r]
V V V V V V V F F V V
V V V V F V V F F V F
V V F V V V V V V V V
V F F F F V V V V F F
F V V V V V F F F V V
F V V V F V F F F V F
F V F V V V F F V V V
F V F F F V F F V V F
4. Pruebe que:
a) [(a ⇒ b) ∧ (b ⇒ c)] ⇒ (a ⇒ c)
b) (a ⇒ b) ⇒ [(c ∨ a) ⇒ (c ∨ b)]
Solución.
La haremos también por medio de Tablas de Verdad.
Luis Zegarra A. Introducción a la lógica matemática y a la teorı́a de conjuntos 18
a)
[(a ⇒ b) ∧ (b ⇒ c)] ⇒ (a ⇒ c)
V V V V V V V V V V V
V V V F V F F V V F F
V F F F F V V V V V V
V F F F F V F V V F F
F V V V V V V V F V V
F V V F V F F V F V F
F V F V F V V V F V V
F V F V F V F V F V F
b)
(a ⇒ b) ⇒ [(c ∨ a) ⇒ (c ∨ b)]
V V V V V V V V V V V
V V V V F V V V F V V
V F F V V V V V V V F
V F F V F V V F F F F
F V V V V V F V V V V
F V V V F F F V F V V
F V F V V V F V V V F
F V F V F F F V F F F
Solución.
Construyendo su tabla de verdad, tenemos:
Luis Zegarra A. Introducción a la lógica matemática y a la teorı́a de conjuntos 19
(p ⇒ q) ⇔ [(p ∨ q) ⇔ q]
V V V V V V V V V
V F F V V V F F F
F V V V F V V V V
F V F V F F F V F
a) p ∧ (∼ q)) ⇒ r ≡ (∼ p) ∨ (q ∨ r)
b) [(p ∧ q) ∨ r] ∧ (∼ q) ≡ (r ∧ (∼ q))
Solución.
Solución.
p q p∆q
V V F
V F F
F V F
F F V
b) i) p ∼ p p∆p
V F F
F V V
ii) Por i) p ∨ q ≡∼ (p∆q), por tanto,
p q p ∨ q p∆q ∼ (p∆q)
V V V F V
V F V F V
F V V F V
F F F V F
iii) Por i) es suficiente probar p ∧ q ≡∼ p∆ ∼ q
p q ∼ p ∼ q p ∧ q ∼ p∆ ∼ q
V V F F V V
V F F V F F
F V V F F F
F F V V F F
Luis Zegarra A. Introducción a la lógica matemática y a la teorı́a de conjuntos 21
iv) p ⇔ q∧ ∼ (p ∧ q) ≡ [p ⇒ q ∧ q ⇒ p] ∧ (∼ p∨ ∼ q)
≡ (∼ p ∨ q) ∧ (∼ q ∨ p) ∧ (∼ p∨ ∼ q)
≡ (∼ p ∨ q) ∧ [∼ q ∨ (p∧ ∼ p)] ≡ (∼ p ∨ q) ∧ (∼ q)
≡ (∼ p∧ ∼ q) ∨ (q∧ ∼ q) ≡∼ p∧ ∼ q ≡∼ (p ∨ q)
≡∼ (∼ (p∆q) ≡ p∆q
9. Simplifique la siguiente expresión: [(∼ p) ∨ (∼ q ⇔ p)] ⇒ q.
Nosotros usaremos que: (∼ q ⇔ p) ≡ (∼ q ⇒ p) ∧ (p ⇒∼ q). Usted
verifı́quelo a modo de ejercicio, luego:
[(∼ p) ∨ (∼ q ⇒ p) ∧ (p ⇒∼ q)] ⇒ q; y como a ⇒ b ≡∼ a ∨ b
∼ [∼ p ∨ (q ∨ p) ∧ (∼ p∨ ∼ q)] ∨ q ≡∼ [(∼ p ∨ q) ∨ p ∧ (∼ p∨ ∼ q)] ∨ q
≡∼ [(q∨ ∼ p)∨p∧(∼ p∨ ∼ q)]∨q ≡∼ [q∨(∼ p∨p)∧(∼ p∨ ∼ q)]∨q ≡
≡∼ [q ∨ V ∧ (∼ p∨ ∼ q)] ∨ q ≡∼ [V ∧ (∼ p∨ ∼ q)] ∨ q ≡∼ (∼ p∨ ∼
q) ∨ q ≡
≡ (p ∧ q) ∨ q ≡ (p ∧ q) ∨ (V ∧ q) ≡ (p ∨ V ) ∧ q ≡ V ∧ q ≡ q
10. Simplifique las siguientes expresiones:
a) (p ∨ q) ⇒ (∼ p ∧ q)
b) [(p ∧ q) ∨ r] ∧ (∼ q)
c) [(p ⇒ q) ⇒ q] ⇒ (p ∨ q)
Solución.
a) ∼ (p ∨ q) ∨ (∼ p ∧ q) ≡ (∼ p∧ ∼ q) ∨ (∼ p ∧ q) ≡∼ p ∧ (∼
q ∨ q) ≡∼ p ∧ V ≡∼ p.
b) [(p ∧ q) ∨ r] ∧ (∼ q) ≡ (p ∧ q) ∧ (∼ q) ∨ (r∧ ∼ q) ≡ p ∧ (q∧ ∼
q) ∨ (r∧ ∼ q)
≡ (p ∧ F ) ∨ (r∧ ∼ q) ≡ F ∨ (r∧ ∼ q) ≡ (r∧ ∼ q).
c) [(p ⇒ q) ⇒ q] ⇒ (p ∨ q) ≡∼ [(p ⇒ q) ⇒ q] ∨ (p ∨ q) ≡
≡∼ [∼ (∼ p ∨ q) ∨ q] ∨ (p ∨ q) ≡∼ [(p∧ ∼ q) ∨ q] ∨ (p ∨ q) ≡
≡ [∼ (p∧ ∼ q) ∧ (∼ q)] ∨ (p ∨ q) ≡ [(∼ p ∨ q) ∧ (∼ q)] ∨ (p ∨ q) ≡
≡ [(∼ p∧ ∼ q) ∨ (q∧ ∼ q)] ∨ (p ∨ q) ≡ [(∼ p∧ ∼ q) ∨ F ] ∨ (p ∨ q) ≡
≡ (∼ p∧ ∼ q) ∨ (p ∨ q) ≡∼ (p ∨ q) ∨ (p ∨ q) ≡ V ,
esto quiere decir que la proposición es una tautologı́a.
Luis Zegarra A. Introducción a la lógica matemática y a la teorı́a de conjuntos 22
a) ∀ x : x + 3 < 6
b) ∀ x : x2 − 10 ≤ 8
c) ∃ x : 2x2 + x = 15
d ) ∃ x : x2 > 1 ⇒ x + 2 = 0
Solución.
Solución.
Solución.
Sean p: Pedro es alumno de la U.C.
q: Juan es alumno de la U.Ch.
r: Juan es alumno de la U.C.
Sabemos que:
{[(∼ p ∨ r) ⇒ q] ∧ [(p∧ ∼ q) ⇒ r]} ≡ V
{[∼ (∼ p ∨ r) ∨ q] ∧ [∼ (p∧ ∼ q) ∨ r]} ≡ V
{[∼ (∼ p ∨ r) ∨ q] ∧ [(∼ p ∨ q) ∨ r]} ≡ V
{[∼ (∼ p ∨ r) ∧ (∼ p ∨ r)] ∨ q} ≡ V
[F ∨ q] ≡ V ⇔ q ≡ V
Luego, Juan es alumno de la U.Ch.
Solución.
Previamente:
p : 2 es par
q : 5 es dividor de 9
r : 11 es primo
y el argumento se expresa por:
{[(p ⇒∼ q) ∧ (∼ r ∨ q)] ∧ r} ⇒∼ p
{[(p ⇒∼ q) ∧ (∼ r ∨ q)] ∧ r}
⇔ {[[∼ (∼ q) ⇒ (∼ p)] ∧ (r ⇒ q)] ∧ r} contrarecı́proco
⇔ {(q ⇒∼ p) ∧ [(r ⇒ q) ∧ r]}
⇔ {r ∧ (r ⇒ q) ∧ (q ⇒∼ p)} conmutatividad
16. Demuestre:
a) p∨q ≡ (p ∨ q)∧ ∼ (p ∧ q)
b) ∼ [p ⇒∼ (q∨ ∼ p)] ⇔ (p ∧ q)
Demostración.
a) Es simple, verificar mediante tablas.
b) Tenemos que:
∼ [p ⇒∼ (q∨ ∼ p)] ⇔ [p ∧ (q∨ ∼ p)∧ ∼ (q∧ ∼ p)]
⇔ [p ∧ (q∨ ∼ p) ∧ (∼ q ∨ p)]
⇔ {[(p ∧ q) ∨ (p∧ ∼ p)] ∧ (∼ q ∨ p)}
⇔ (p ∧ q) ∧ (∼ q ∨ p) ⇔ p ∧ [q ∧ (∼ q ∨ p)]
⇔ p ∧ [(q∧ ∼ q) ∨ (q ∧ p)] ⇔ p ∧ (q ∧ p) ⇔ p ∧ q
Respuestas.
a) p ∧ (∼ q)
b) (∼ p) ∧ q
c) ∼ p∧ ∼ q
d ) ∼ (q ∨ p)
Respuesta.En a)
a) p∨ ∼ 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∨(q∨r) ≡ (p∨q)∨r
b) p ∧ (q∨r) ≡ (p ∧ v)∨(p ∧ r)
c) p ∨ q ≡ (p∨q)∨(p ∧ q)
d ) p ∧ q ≡ p∨(p∧ ∼ q)
e) p ∧ (p ∨ q) ≡ p
f ) ∼ (p ∧ q) ≡∼ p∨ ∼ q
g) p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ 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 y r es F
d ) si todas son verdaderas
a) p ∧ (q∧ ∼ p)
b) (p ∧ q) ∨ p
c) (p ⇒ q)∨ ∼ p
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)
Respuestas.
a) F h) F
b) p i) ∼p
c) p ⇒ q j) V
d) V k) F
e) p ∨ q l) ∼p
f) ∼ q m) q
g) V
11. Derive a partir de las equivalencias elementales, las siguientes equiv-
alencias:
Luis Zegarra A. Introducción a la lógica matemática y a la teorı́a de conjuntos 28
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 ⇒ q) ∧ (r ⇒ t)}] ≡ {(p ∧ r) ⇒ (q ∧ t)}
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)
a) p: A es múltiplo de 4
q: A es número par
Luis Zegarra A. Introducción a la lógica matemática y a la teorı́a de conjuntos 30
b) p: A y B son pares,
q: A + B es par.
Respuestas.
i) p ⇔ (∼ q∨ ∼ r) y
ii) ∼ p∨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)
a) ∀ x ∈ R (x < 0 ⇒ x < 3)
b) ∃ x ∈ R (x2 ≥ 0 ⇒ x4 = x3 )
c) ∀ x ∈ R, ∃ y ∈ R (x2 + y 2 = 1)
d ) ∀ x ∈ R, ∀ y ∈ R (y < x ⇒ 2y < 10)
Respuestas. a) V b) V c) F d) F
27. Demostrar:
a) ∀ x ∈ R : x2 ≥ x
b) ∃ x ∈ R : 2x = x
2x−1 1
c) ∀ x ∈ R : 4x−2
= 2
2
d ) ∃ x ∈ R : x + 2x + 1 ≤ 0
e) ∀x ∈ R : −x2 + 4x − 5 > 0