MATEMÁTICA DISCRETA I

Lic. Marco A. Colque

UMSA-FCPN

2021
ii
Índice general

1. Lógica Matemática 1
1.1. Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Proposiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2.1. Proposiciones Atómicas y Compuestas . . . . . . . . . 2
1.3. Conectivos Lógicos . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3.1. La negación . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3.2. Conjunción . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3.3. Disyunción . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3.4. Implicación . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3.5. Bicondicional . . . . . . . . . . . . . . . . . . . . . . . 7
1.3.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.4. Equivalencia Lógica . . . . . . . . . . . . . . . . . . . . . . . . 10
1.5. Leyes lógicas . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.5.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.6. Algebra de Proposiciones . . . . . . . . . . . . . . . . . . . . . 15
1.6.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.7. Circuitos Lógicos . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.7.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.8. Razonamiento Deductivo Válido . . . . . . . . . . . . . . . . . 25
1.8.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . 36

2. Teorı́a de Conjuntos 39
2.1. Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.1.1. Por extensión . . . . . . . . . . . . . . . . . . . . . . . 39
2.1.2. Por comprensión . . . . . . . . . . . . . . . . . . . . . 40
2.1.3. Diagramas de Venn . . . . . . . . . . . . . . . . . . . . 42
2.2. Inclusión de conjuntos . . . . . . . . . . . . . . . . . . . . . . 43
2.3. Operaciones con conjuntos . . . . . . . . . . . . . . . . . . . . 45

iii
iv ÍNDICE GENERAL

2.3.1. Complemento . . . . . . . . . . . . . . . . . . . . . . . 45
2.3.2. Unión de Conjuntos . . . . . . . . . . . . . . . . . . . . 46
2.3.3. Intersección de Conjuntos . . . . . . . . . . . . . . . . 48
2.3.4. Diferencia de Conjuntos . . . . . . . . . . . . . . . . . 49
2.4. Producto Cartesiano . . . . . . . . . . . . . . . . . . . . . . . 53
2.5. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
2.6. Cardinalidad de Conjuntos . . . . . . . . . . . . . . . . . . . . 58
2.7. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
Capı́tulo 1

Lógica Matemática

1.1. Introducción
La Lógica es la ciencia que trata de los principios válidos del razonamiento
y la argumentación. El estudio de la lógica es el esfuerzo por determinar las
condiciones que justifican a una persona para pasar de unas proposiciones
dadas, a una conclusión que se deriva de aquéllas. La validez lógica es la
relación entre las premisas y la conclusión de tal forma que si las premisas
son verdaderas la conclusión es verdadera.
La importancia de la Lógica viene siendo reconocida desde la antigüedad, ya
los griegos clásicos sabı́an que el razonamiento es un proceso sujeto a ciertos
esquemas y que, al menos parcialmente, está gobernado por leyes perfecta-
mente formulables. Pero su importancia en la actualidad se debe, sin duda, al
destacado papel que ha tomado recientemente en los más diversos campos de
la Informática (análisis, sı́ntesis y verificación de programas, programación
lógica, inteligencia artificial, control de procesos, robótica, etc.) y todo ello
como un intento de mecanizar los procesos de razonamiento.
El presente capı́tulo es una breve guı́a hacia las herramientas más básicas de
esta disciplina.

1.2. Proposiciones
En Lógica Simbólica los juicios se denominan Proposiciones o sentencias. En
Gramática, se llaman oraciones. En cualquier caso diremos que: una pro-
posición describe un fenómeno. Por ahora nos podemos contentar diciendo

1
2 CAPÍTULO 1. LÓGICA MATEMÁTICA

que:

Una PROPOSICIÓN es una sentencia al cual le po-

demos asignar un valor de verdad, pudiendo ser esta
verdadera o falsa.

Por ejemplo:

Hace calor, Es Lunes, etc.

Una sentencia del tipo: ¿Qué dı́a es?, ¿tengo miedo?, etc. no son proposiciones
pues no podemos decir si son ciertas o no a diferencia de las anteriores.
Utilizaremos sı́mbolos para representar proposiciones, por ejemplo:

p : Pedro va a la escuela.
q : Es Martes.
r : Las rosas son rojas.

En el presente capı́tulo utilizaremos letras minúsculas para representar propo-

siciones y sus posibles valores de verdad se designan con las letras V (verdad)
y F (falso).

1.2.1. Proposiciones Atómicas y Compuestas

La TABLA DE VERDAD de una proposición p es simplemente los posibles
valores de verdad que esta puede asumir:

p
V
F

Este tipo de proposiciones se denominan proposiciones atómicas.

Proposiciones como ser: Hoy es Lunes y hace frı́o se denominan compuestas
pues su valor de verdad depende del valor de verdad de las proposiciones Hoy
es Lunes y hace frı́o.
1.3. CONECTIVOS LÓGICOS 3

Un momento de reflexión deberı́a ser suficiente para notar que si es Verdad

que hoy es lunes y también que hace frı́o podemos afirmar que la sentencia
Hoy es Lunes y hace frı́o es verdadera, además este es el único caso en el
cual esta proposición es verdadera.
Ası́ dada las proposiciones p, q podemos formar una nueva proposición: p y
q, y considerar la siguiente tabla de posibilidades ó TABLA DE VERDAD:

p q pyq
V V V
V F F
F V F
F F F
Por ejemplo si p es falso y q verdad, es decir si no es lunes y hace calor la
sentencia Hoy es lunes y hace calor es falsa. Formalizaremos estas ideas a
continuación.

1.3. Conectivos Lógicos

En general se puede escribir una proposición como una colección de proposi-
ciones ATÓMICAS y formar a partir de estas últimas otras COMPUESTAS,
los enlaces para hacer este tipo de operaciones se denominan conectivos lógi-
cos y se pueden reducir a unas pocas que son esenciales y construir las otras
a partir de esas. El primer conectivo que consideraremos es:

1.3.1. La negación
Si p es una proposición ‘no p´ es también una proposición la cual denotaremos
con ‘∼ p´ , esta es tal que si p es verdadera ∼ p es falsa y si p es falsa, ∼ p
es verdadera.
Por ejemplo si p : llueve, entonces ∼ p: no llueve. Podemos representar los
valores de verdad de esta nueva proposición mediante la siguiente tabla:

p ∼p
V F
F V
4 CAPÍTULO 1. LÓGICA MATEMÁTICA

Se debe ser cuidadoso al momento de negar una proposición no solo basta

poner no antes de la oración, como por ejemplo:

p: las elecciones fueron violentas

la proposición ∼ p será

∼p: las elecciones NO fueron violentas

El conectivo ‘∼´ se denomina Negación.

1.3.2. Conjunción
Dos enunciados cualesquiera se pueden relacionar mediante el conectivo: y,
para formar un nuevo enunciado (compuesto). El cual se denomina CONJUN-
CIÓN , simbólicamente la conjunción de dos proposiciones p, q se denotará
con:
p∧q
el cual se lee p y q.
Los valores de verdad de p ∧ q se definen en la siguiente tabla de verdad:

p q p∧q
V V V
V F F
F V F
F F F
Notemos que la conjunción es verdadera solo en un caso, cuando los valores
de verdad de p y q son verdaderos.

Observación 1. Podemos combinar estos conectivos para obtener nuevas

proposiciones compuestas, algunas de estas son por ejemplo:

∼ p∧ ∼ q, p∧ ∼ p, p∧ ∼ q, ∼ p ∧ q, ∼ (p ∧ q).

Cada una de estas es una nueva proposición y podemos estudiar sus valores
de verdad viendo todas las posibilidades en una Tabla de verdad como las
anteriores. Veamos algunas de ellas:
1.3. CONECTIVOS LÓGICOS 5

p q ∼q p ∧∼q
V V F F
V F V V
F V F F
F F V F

La negación de esta nueva proposición tiene los siguientes valores de verdad

de acuerdo a los posibles valores de verdad de la proporciones p, q.

p q p∧ ∼ q ∼ (p ∧ ∼ q)
V V F V
V F V F
F V F V
F F F V

Observación 2. En nuestro idioma la conjunción preserva la misma lógica

que el conectivo excepto en algunos casos como la siguiente proposición:

El paciente recibió la vacuna y murió

esta por supuesto es verdad si es verdad que el paciente recibió la vacuna y

murió, pero a causa de la vacuna. Por ejemplo si el paciente luego de recibir
la vacuna murió por una causa accidental, le cayó un piano, la proposición
es falsa y no se puede estudiar como una proposición del tipo p ∧ q.
Notemos que las tablas de verdad de p ∧ q y q ∧ p son idénticas, sin embargo
no podemos decir que:

‘ Metió un gol y murió´ Sea equivalente a ‘ murió y metió un gol.´

Este tipo de ‘ contradicciones´ surgen debido a que la lógica que trabajamos

no es herencia de nuestra cultura y por lo tanto idioma, ası́ no nos queda
otra alternativa que ajustar nuestra lengua a esta forma de razonamiento.
6 CAPÍTULO 1. LÓGICA MATEMÁTICA

1.3.3. Disyunción
La Disyunción de dos proporciones p, q se define como la proposición
∼ (∼ p∧ ∼ q)
y se la denota como p ∨ q es decir: p ∨ q =∼ (∼ p∧ ∼ q).
Es claro que su tabla de verdad es la siguiente: (no necesitamos definir la
tabla de verdad de la disyunción pues conocemos la de la conjunción y ası́ es
fácil deducirla.):

p q ∼ p∧ ∼ q ∼ (∼ p ∧ ∼ q)
V V F V
V F F V
F V F V
F F V F
es decir

p q p∨q
V V V
V F V
F V V
F F F

Conceptualmente este conectivo nos dice que la nueva proposición p ∨ q es

verdadera solamente si alguna de las proporciones p ó q es verdadera. A
diferencia de la conjunción en donde ambas tienen que ser verdaderas.
Por ejemplo en la proposición Hoy es lunes o hace frı́o basta que sea lunes
o que haga frı́o para que la sentencia sea verdadera y el único caso en la que
es falsa es cuando no sea lunes y que no haga frı́o.

1.3.4. Implicación
Uno de los más importantes conectivos lógicos es el de la implicación el cual
se define de la siguiente manera: p → q =∼ p ∨ q y se lee p implica q ó si
ocurre p entonces q. Veamos su tabla de verdad:
1.3. CONECTIVOS LÓGICOS 7

p q ∼p ∼p∨q
V V F V
V F F F
F V V V
F F V V

Es decir
p q p→q
V V V
V F F
F V V
F F V
Notemos que el único caso en la cual la implicación es falsa en cuando p (La
hipótesis) es verdadera y q (La Tesis) es falsa.
La importancia de la implicación radica en su uso para el modelamiento
del razonamiento, esta nos dice que si nuestra hipótesis es correcta la única
forma de llegar a una conclusión (Tesis) falsa es que nuestro razonamientos
(la implicación) haya sido incorrecto (falso). Analizaremos esto con cuidado
más adelante.

1.3.5. Bicondicional
Este enunciado es de la forma p si y solamente q y se define como

p ↔ q = (p → q) ∧ (q → p)
La tabla de verdad de esta nueva proposición es la siguiente:

p q p→q q→p (p → q) ∧ (q → p) p↔q

V V V V V V
V F F V F F
F V V F F F
F F V V V V
8 CAPÍTULO 1. LÓGICA MATEMÁTICA

La nueva sentencia es verdadera solamente si ambas tienen el mismo valor

de verdad.

Observación 3. Una proposición muy útil es la negación de la bicondicional

también denominada DISYUNCIÓN EXCLUYENTE simbolizada por p∨q,
ası́
∼ (p ↔ q) = p ∨ q

Ejemplo 1. Determinar la tabla de verdad de las siguientes proposiciones.

1. [(p →∼ q) ∧ p]∨(∼ p ∧ q).

2. [(∼ p∨ ∼ q) ∧ (p →∼ q)]∨ ∼ (∼ p ↔ q).

Solución.-

1. El conectivo principal es la disyunción excluyente

p q [(p → ∼ q) ∧ p] ∨ (∼ p ∧ q)
V V F F F F F F V
V F V V V V F F F
F V V F F V V V V
F F V V F F V F F

2. El conectivo principal es la disyunción:

p q [(∼ p ∨ ∼ q) ∧ (p → ∼ q)] ∨ ∼ (∼ p ↔ q)
V V F F F F F F V V F F V
V F F V V V V V V F F V F
F V V V F V V F V F V V V
F F V F V F V V V V V F F

notemos que es una tautologı́a.

1.3. CONECTIVOS LÓGICOS 9

1.3.6. Ejercicios
1. Sea p :Hace frı́o y q :Está lloviendo. Describir con un enunciado verbal
las siguientes proposiciones:

a) ∼ p.
b) p ∨ q.
c) q ∧ p.
d ) p → q.
e) ∼ q →∼ p.
f ) ∼ p∨q.
g) p ↔∼ q.

2. Si p :El es alto y q :El es galán. Escribir los siguientes enunciados en

forma simbólica:

a) El es alto y galán.
b) El es alto pero no es galán.
c) El no es alto ni galán.
d ) No es verdad que él es bajo o que no es galán.

3. Si el valor de verdad las proposiciones p, q, r, s son V, F, V, V respecti-

vamente, deducir el valor de verdad de las siguientes proposiciones;

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

4. Una proposición se denomina Tautologı́a si su valor de verdad es siem-

pre verdadero y Contradicción si su valor de verdad es siempre Falso.
Determinar cuales de las siguientes proposiciones son tautologı́as y con-
tradicciones.

a) ∼ p ∨ ∼ (∼ p∧ ∼ p)
b) ∼ p → (p ↔ q)
10 CAPÍTULO 1. LÓGICA MATEMÁTICA

c) p ∨ ∼ (p ∨ ∼ q)
d ) (p →∼ q) ∨ (p ∧ q)

5. Sabiendo que q ∨ p es verdad y que ∼ q es falso, determinar el valor de

verdad de

[(p ∨ q) ∧ q] →∼ q, [(∼ p ∧ ∼ q) ∧ (r → q)] ∧ q

6. Determine el valor de verdad de los siguientes enunciados:

a) No es verdad que si 2 + 2 = 4 entonces 3 + 3 = 5 ó 1 + 1 = 2.

b) Si 2 + 2 = 4, entonces no es verdad que 2 + 1 = 3 y 5 + 5 = 8.
c) 2 + 7 ̸= 9 si y solo si, 2 + 1 = 5 implica 5 + 5 = 8.
d ) Si ∼ (2 > 4) entonces o 1 + 1 = 2 ó ∼ (2 = 4).
e) Si 3 < 5, entonces −3 < −5.

7. Calcular la tabla de verdad de las siguientes proposiciones.

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

8. Sabiendo que ∼ (r → p) es una proposición verdadera, hallar el valor

de verdad de las proposiciones:

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

1.4. Equivalencia Lógica

Diremos que dos proposiciones p, q son equivalentes o lógicamente equivalen-
tes si tienen los mismos valores de verdar (o la misma tabla de verdad) en
este caso escribiremos: p ≡ q.
1.5. LEYES LÓGICAS 11

Denotamos con P (p1 , p2 , ..., pn ) una proposición compuesta por las proposi-
ciones p1 , p2 , ..., pn por ejemplo:

P (p, q) : p ∧ q.

Ası́, si las proposiciones P (p1 , p2 , ..., pn ) y Q(p1 , p2 , ..., pn ) son lógicamente

equivalentes escribiremos:

P (p1 , p2 , ..., pn ) ≡ Q(p1 , p2 , ..., pn )

Notemos que P (p1 , p2 , ..., pn ) ≡ Q(p1 , p2 , ..., pn ) es equivalente a afirmar que
los valores de verdad de P (p1 , p2 , ..., pn ) ↔ Q(p1 , p2 , ..., pn ) son siempre (V)
es decir es una tautologı́a.
Luego es fácil ver que las siguientes proposiciones son equivalencias lógicas:

1. p ≡∼ (∼ p).

2. p ∧ q ≡∼ (∼ p ∨ ∼ q).

3. p ∨ q ≡∼ (∼ p∧ ∼ q).

4. p ↔ q ≡ (p → q) ∧ (q → p).

5. p → q ≡∼ p ∨ q.

Algunas equivalencias son particularmente útiles y se denominan Leyes lógi-

cas o leyes del álgebra de proposiciones.

1.5. Leyes lógicas

Diremos que una proposición compuesta P (p1 , p2 , ..., pn ) es una Tautologı́a si
su valor de verdad siempre es verdadero, esto independientemente del valor
de verdad de p1 , p2 , ..., pn por ejemplo es fácil comprobar que p ∨ ∼ p siempre
es verdad, independientemente del valor de p, ası́ es una tautologı́a.

p ∼p p∨ ∼ p
V F V
F V V
12 CAPÍTULO 1. LÓGICA MATEMÁTICA

Del mismo modo se dice que una proposición P (p1 , p2 , ..., pn ) es una Contra-
dicción si su valor de verdad es siempre falso (F ), por ejemplo p ∨ ∼ p es
una contradicción.

Si dos proposiciones p, q son equivalentes entonces la proposición

p↔q

es una tautologı́a ası́ para probar que dos proposiciones son equivalentes
basta probar que la Bicondicional entre ambas es una tautologı́a. Es fácil
comprobar que las siguientes proposiciones son lógicamente equivalentes.
1. Ley conmutativa:

p ∨ q ≡ q ∨ p, p∧q ≡q∧p

2. Ley asociativa:

(p ∨ q) ∨ r ≡ p ∨ (q ∨ r), (p ∧ q) ∧ r ≡ p ∧ (q ∧ r)

3. Ley distributiva:

(p ∧ q) ∨ r ≡ (p ∨ r) ∧ (q ∨ r), (p ∨ q) ∧ r ≡ (p ∧ r) ∨ (q ∧ r)

4. Ley de idempotencia:

p ∧ p ≡ p, p∨p≡p

5. Ley del complemento:

p∨ ∼ p ≡ T, p∧ ∼ p ≡ C

6. Leyes de Identidad:

p ∨ C ≡ p, p ∧ C ≡ C,
p ∨ T ≡ T, p∧T ≡p

7. Ley de la Doble negación:

∼ (∼ p) ≡ p
1.5. LEYES LÓGICAS 13

8. Ley de Morgan:

∼ (p ∧ q) ≡∼ p ∨ ∼ q, ∼ (p ∨ q) ≡∼ p ∧ ∼ q

9. Ley de Absorción:

p ∨ (p ∧ q) ≡ p, p ∧ (p ∨ q) ≡ p

10. Ley del contra recı́proco:

p → q ≡∼ q →∼ p

11. Ley de Implicación:

p → q ≡∼ p ∨ q.

12. Ley de Bicondicional:

p ↔ q ≡ (p → q) ∧ (q → p)

Para la demostración de estas Leyes Lógicas basta hacer la tabla de verdad.

Veamos por ejemplo la ley distributiva.

Ejemplo 2. Como tenemos tres proposiciones hay en total 23 = 8 posibili-

dades para los posibles valores de verdad de estas tres proposiciones:

p q r p ∧ (q ∧ r) ↔ (p ∧ q) ∧r
V V V V V V V V
V V F F F V V F
V F V F F V F F
V F F F F V F F
F V V F V V F F
F V F F F V F F
F F V F F V F F
F F F F F V F F
14 CAPÍTULO 1. LÓGICA MATEMÁTICA

Ası́ la proposición P (p, q, r) : (p ∧ q) ∧ r ↔ p ∧ (q ∧ r) tiene como único

valor de verdad V por lo tanto es una tautologı́a entonces hemos demostrado
la que
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
es una ley lógica.

Ejemplo 3. Veamos una de las leyes de identidad:

p C (p ∨ C) ↔ p
V F V V
F F F V

Ası́ tenemos que p ∧ C ≡ p.

Ejemplo 4. Otra forma de demostrar estas propiedades es utilizando las

leyes lógicas ya demostradas. Para ilustrar esto vamos a demostrar la Ley
del contrarecı́proco:
p → q ≡∼ q →∼ p
Empecemos a partir de

∼ q →∼ p ≡ ∼ (∼ q)∨ ∼ p L. Implicación
≡ q∨ ∼ p L. doble negación
≡ ∼p∨q L. conmutativa
∼ q →∼ p ≡ p→q L. Implicación

Ası́ hemos probado que

∼ q →∼ p ≡ p → q.

Una propiedad que suele ser bastante útil es:

Teorema 1. Si p, q son proposiciones entonces

p ∨ (∼ p ∧ q) ≡ p ∨ q, p ∧ (∼ p ∨ q) ≡ p ∧ q.

Demostración. Vamos a demostrar la primera equivalencia:

1.6. ALGEBRA DE PROPOSICIONES 15

p ∨ (∼ p ∧ q) ≡ (p∨ ∼ p) ∧ (p ∨ q) L. Distributiva
≡ T ∧ (p ∨ q) L. Comp.
≡ p∨q L. Comp.
p ∨ (∼ p ∧ q) ≡ p∨q
La segunda identidad es evidente y se deja para el lector.

1.5.1. Ejercicios
1. Determinar la tabla de verdad de las siguientes proposiciones e indicar
cuales son tautologı́as.

a) p ∧ (∼ p ∨ q).
b) ∼ p ∨ (∼ p ∧ q).
c) ∼ [q∧ ∼ (p ∧ r)]
d ) [(p →∼ q) ∧ p]∨(∼ p ∧ q).
e) [(∼ p∨ ∼ q) ∧ (p →∼ q)]∨ ∼ (∼ p ↔ q).
f ) [(∼ p ∨ q) ∧ (q → r)] →∼ (p∧ ∼ r)

2. Determinar la tabla de verdad de las siguientes proposiciones e indicar

cuales son contradicciones.

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

b) [(p ∧ q) ∨ [p ∧ (∼ p ∨ q)]] ∨ ∼ (p →∼ q).

3. Demostrar, usando las tablas de verdad la Ley de idempotencia, Ley

de Morgan y la Ley de absorción.

1.6. Algebra de Proposiciones

Dada una proposición compuesta a veces resulta conveniente escribirla de
una forma equivalente, para esto se utilizan las equivalencias lógicas que
estudiamos en la sección anterior. Por ejemplo:

Ejemplo 5. Dada la proposición ∼ (p ∧ q) ∧ (p → q) vamos a mostrar que

esta es equivalente a ∼ p:
16 CAPÍTULO 1. LÓGICA MATEMÁTICA

∼ (p ∧ q) ∧ (p → q) ≡ (∼ p∨ ∼ q) ∧ (p → q) L. de Morgan
≡ (∼ p∨ ∼ q) ∧ (∼ p ∨ q) L. Implicación
≡ ∼ p ∨ (∼ q ∧ q) L. Distrib.
≡ ∼p∨C L. Comp.
≡ ∼p L. Id.

Ası́ podemos concluir que:

∼ (p ∧ q) ∧ (p → q) ≡∼ p (1.1)

si se quiere demostrar una equivalencia usando las leyes lógicas, suele ser
conveniente empezar del lado que en apariencia parece más complicada.

Ejemplo 6. Demostrar que (∼ p → q)∨ ∼ (p∧ ∼ q) ≡ T .

Solución.-

(∼ p → q)∨ ∼ (p∧ ∼ q) ≡ [∼ (∼ p) ∨ q] ∨ [∼ p∨ ∼ (∼ q)] L.I. y L.M.

≡ (p ∨ q) ∨ (∼ p ∨ q) L. Doble Negación.
≡ (p∨ ∼ p) ∨ (q ∨ q) L.As. y L. Conm.
≡ T ∨q L.Cm.
≡ T L. Id.

∴ (∼ p → q)∨ ∼ (p∧ ∼ q) ≡ T.

Observación 4. Notemos que en (p ∨ q) ∨ (∼ p ∨ q) todos los conectivos son

la disyunción, ası́ por la propiedad conmutativa y asociativa se obtiene

(p ∨ q) ∨ (∼ p ∨ q) ≡ (p∨ ∼ p) ∨ (q ∨ q)
 
Ejemplo 7. Simplificar ∼ (p ∨ q) ∧ (∼ p →∼ q) .

Solución.-
1.6. ALGEBRA DE PROPOSICIONES 17

 
∼ (p ∨ q) ∧ (∼ p →∼ q) ≡ ∼ (p ∨ q)∨ ∼ (p∨ ∼ q) L.M. y L.Im.
≡ (∼ p∧ ∼ q) ∨ (∼ p ∧ q) L.M.
≡ ∼ p ∧ (∼ q ∨ q) L.D.
≡ ∼p∧T L.Cm.
≡ ∼p L. Id.
 
∴ ∼ (p ∨ q) ∧ (∼ p →∼ q) ≡∼ p.

Ejemplo 8. Simplificar [∼ (p ∨ q)∧ ∼ q] → [(p∧ ∼ q)∨ ∼ q]. Veamos:

[∼ (p ∨ q)∧ ∼ q] → [(p∧ ∼ q)∨ ∼ q] ≡ [∼ (p ∨ q)∧ ∼ q] →∼ q L. Abs.

≡ [(∼ p∧ ∼ q)∧ ∼ q] →∼ q L. Morgan
≡ [∼ p ∧ (∼ q∧ ∼ q)] →∼ q L. As.
≡ (∼ p∧ ∼ q) →∼ q L. Idem.
≡ ∼ (∼ p∧ ∼ q)∨ ∼ q L. I.
≡ (p ∨ q)∨ ∼ q L. M.
≡ p ∨ (q∨ ∼ q)
≡ p∨T
≡ T

Luego la proposición [∼ (p ∨ q)∧ ∼ q] → [(p∧ ∼ q)∨ ∼ q] es equivalente a T

y podemos escribir:

[∼ (p ∨ q)∧ ∼ q] → [(p∧ ∼ q)∨ ∼ q] ≡ T.

Por supuesto las equivalencias lógicas que enunciamos en la sección anterior

solo son las más comunes, todas las equivalencias demostradas son también
leyes lógicas. Las siguientes son bastante útiles

Teorema 2. Si p, q son proposiciones, entonces

1. p ∨ q ≡ (p ∧ ∼ q) ∨ (q ∧ ∼ p).

2. p ∨ q ≡ (p ∨ q) ∧ ∼ (p ∧ q).
18 CAPÍTULO 1. LÓGICA MATEMÁTICA

Demostración. Vamos a probar la primera propiedad:

p∨ q ≡ ∼ (p ↔ q) Definición de ∨.
≡ ∼ [(p → q) ∧ (q → p)] Def. de ↔
≡ ∼ (p → q)∨ ∼ (q → p) L.M.
≡ ∼ (∼ p ∨ q)∨ ∼ (∼ q ∨ p) L.I.
≡ (p∧ ∼ q) ∨ (q∧ ∼ p) L.M y L.DN.

Notemos que con esto hemos demostrado la primera equivalencia del teorema.
Para la la segunda continuamos con:

p∨ q ≡ (p∧ ∼ q) ∨ (q∧ ∼ p) Teorema 2(1)

≡ [(p∧ ∼ q) ∨ q] ∧ [(p∧ ∼ q)∨ ∼ p] L.D.
≡ (p ∨ q) ∧ (∼ q ∨ ∼ p) Teorema 1
≡ (p ∨ q) ∧ ∼ (q ∧ p) L.M.

con lo que hemos terminado la demostración.

 
Ejemplo 9. Simplificar ∼ (r → p)∨ (r∧ ∼ p) ∨ r .
Solución.-
 
∼ (r → p)∨ (r∧ ∼ p) ∨ r ≡ ∼ (r → p)∨ r L.Abs.
≡ (r∧ ∼ p)∨ r L.M. y L.Imp.

Ahora por el T. 2 (2) que acabamos de demostrar tenemos:

   
(r∧ ∼ p)∨ r ≡ (r∧ ∼ p) ∨ r ∧ ∼ (r∧ ∼ p) ∧ r
≡ r∧ ∼ [ (r ∧ r)∧ ∼ p] L.Abs.
≡ r∧ ∼ (r∧ ∼ p)
≡ r ∧ (∼ r ∨ p) L.M.
≡ r∧p T.1.

 
∴ ∼ (r → p)∨ (r∧ ∼ p) ∨ r ≡ r ∧ p.
1.6. ALGEBRA DE PROPOSICIONES 19

1.6.1. Ejercicios
1. Demostrar que

a) (p∨ ∼ q) ∧ (p ∨ q) ≡ p.
b) (∼ p ∧ r) ∨ (∼ p∧ ∼ r) ≡∼ p
c) [(p ∨ r) → q] ∧ [(∼ p∧ ∼ r)∨ ∼ q] ≡∼ p∧ ∼ r
d ) (p ∨ q)∨ ∼ q ≡ T
e) (p ∨ q) ∨ p ≡ T
f ) (p∧ ∼ q) ∧ (∼ q∧ ∼ p) ≡ C.

2. Demostrar que:

a) (∼ p∨ ∼ q) → p ≡ p
b) [(p →∼ q) ∧ (∼ q ∨ p)]∨(∼ p∧ ∼ q) ≡∼ q ∧ p
c) [(∼ q →∼ r)∧ ∼ (∼ p ∨ r)] → (p∧ ∼ r) ≡ T
d ) (p ∨ ∼ q) ∧ (∼ p →∼ q) ≡ p∨ ∼ q
e) [∼ p ∨(∼ r ∨ p)] ∧ [∼ (∼ q ∨ p) → (p ∧ ∼ q)] ≡ (p ∨ r) ∧ (p∨ ∼ q).
f ) (∼ q ∨ p) ∧ (p ∨ ∼ r) ∧ (p ∨ r) ∧ (q ∨ r) ≡ C.

3. Simplificar las siguientes proposiciones:

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

4. Simplificar los siguientes enunciados:

a) No es verdad que, las rosas son rojas implica que las violetas son
azules.
b) No es verdad que, hace frio y esta lloviendo.
c) No es verdad que, hace frı́o o que esta lloviendo.
d ) No es verdad que, las rosas son rojas si y solo si las violetas son
azules.
20 CAPÍTULO 1. LÓGICA MATEMÁTICA

1.7. Circuitos Lógicos

Supongamos que se tiene una conexión de corriente eléctrica del siguiente
tipo

si además ponemos un interruptor en la conexión por ejemplo

podemos observar dos estados, encendido y apagado:

Este comportamiento es similar al de una proposición, entonces diremos que

si p es una proposición,el circuito asociado a esta proposición es

Ası́ los conectivos lógicos se pueden modelar del siguiente modo:

p
p q

p q
q

pvq
1.7. CIRCUITOS LÓGICOS 21

Un circuito en serie para la conjunción y un circuito en paralelo para la

disyunción. Por ejemplo la proposición p ∧ (∼ p∨ ∼ q) se puede representar
como
p

y puesto que p ∧ (∼ p∨ ∼ q) ≡ p∧ ∼ q por el T.1 entonces este circuito es

equivalente a
p q

Los demás conectivos se pueden representar considerando que p → q ≡∼ p∨q

es decir
p p p

q q q

p q
p q

Ejemplo 10. Consideremos la siguiente proposición

∼ p ∧ [∼ q → (p∨ ∼ q)]
esta se pude representar mediante el siguiente circuito:
q

q
22 CAPÍTULO 1. LÓGICA MATEMÁTICA

pues ∼ p ∧ [∼ q → (p∨ ∼ q)] ≡∼ p ∧ [q ∨ (p∨ ∼ q)] simplificando tenemos

que

∼ p ∧ [q ∨ (p∨ ∼ q)] ≡ ∼ p ∧ [(q∨ ∼ q) ∨ p] L. As.

≡ ∼ p ∧ [T ∨ p] L.Comp.
≡ ∼p∧T L. Comp.
≡ ∼p

ası́ el circuito anterior es equivalente a

p

Ejemplo 11. Notemos que

[p ∧ (q ∨ r)] ∨ [∼ p ∨ (q∧ ∼ r)] ≡ [p ∧ (q ∨ r)]∨ ∼ p ∨ (q∧ ∼ r),

el circuito asociado a esta proposición es:

q
p
r

q r

Simplificando tenemos:

[p ∧ (q ∨ r)]∨ ∼ p ∨ (q∧ ∼ r) ≡ (q ∨ r)∨ ∼ p ∨ (q∧ ∼ r) T.1

≡ (r ∨ q) ∨ (q∧ ∼ r)∨ ∼ p L.As., L.C.
≡ r ∨ [q ∨ (q∧ ∼ r)]∨ ∼ p L.As., L.C.
≡ r ∨ q∨ ∼ p L.Ab.

Ejemplo 12. Sea la proposición

[∼ p ∧ (q∨ ∼ q)] → [∼ (p ∨ q) ∨ (q∧ ∼ p)]

1.7. CIRCUITOS LÓGICOS 23

notemos que si:

[∼ p ∧ (q∨ ∼ q)] → [∼ (p ∨ q) ∨ (q∧ ∼ p)]

≡∼ [∼ p ∧ (q∨ ∼ q)] ∨ [(∼ p∧ ∼ q) ∨ (q∧ ∼ p)]
≡ [p ∨ (∼ q ∧ q)] ∨ [(∼ p∧ ∼ q) ∨ (q∧ ∼ p)]
≡ p ∨ (∼ q ∧ q) ∨ (∼ p∧ ∼ q) ∨ (q∧ ∼ p)

entonces el circuito asociado a esta proposición es:

q q

p q

q p

simplificando la última expresión tenemos:

p ∨ (∼ q ∧ q) ∨ (∼ p∧ ∼ q) ∨ (q∧ ∼ p) ≡ p ∨ C ∨ [∼ p ∧ (∼ q ∨ q)] L.C, L.D

≡ p ∨ (∼ p ∧ T ) L.C, L.I.
≡ p∨ ∼ p
≡ T

1.7.1. Ejercicios
1. Construir los circuitos lógicos de las siguientes proposiciones y simpli-
ficarlos:

a) p∨q.
b) [(∼ p∨ ∼ q) ∧ q] ∨ (∼ p ∨ q)
c) [p ∧ (q ∨ r)] ∨ [∼ p ∨ (q∧ ∼ r)]
d ) [∼ p ∧ (q∨ ∼ q)] → [∼ (p ∨ q) ∨ (q∧ ∼ p)]
24 CAPÍTULO 1. LÓGICA MATEMÁTICA

e) [(∼ p ∨ q)∧ ∼ q] ∧ [(∼ p ∨ q)∧ ∼ p]

2. Escriba la proposición asociada a cada una de los siguientes circuitos y

simplificar.

a)
p r

p q

p
q

b) q

p q p q

p
q

q p

c)
p q p

p q p q
1.8. RAZONAMIENTO DEDUCTIVO VÁLIDO 25

q
q q
p

d)
p p

p
p q
q

q q
q
p p

e)
p q p
p
p

q
q
p
p

f) r p
p
p
p
r
r

1.8. Razonamiento Deductivo Válido

Dada una proposición de la forma
P (p1 , p2 , ..., pn ) → Q(p1 , p2 , ..., pn )
Que es una tautologı́a, esta se denomina un Razonamiento deductivo válido
(RDV) o una Regla de inferencia.
Analicemos por un momento una tautologı́a de este tipo.
26 CAPÍTULO 1. LÓGICA MATEMÁTICA

Observación 5. Si P fuese verdadera entonces al ser P → Q una tautologı́a

la única opción que le queda a Q es ser verdadera (ver la tabla de verdad de
la implicación).
P Q P →Q
V V V
V F F
Esta es precisamente la forma que se necesita para modelar una demostración
en matemática es decir si partimos de proposiciones verdaderas (teoremas,
axiomas, etc.) y a través de un RDV logramos concluir Q entonces esta tiene
que ser verdadera. Ahı́ radica una de las principales importancia acerca de
los DRV’s.
Llamaremos al antecedente la hipótesis y al consecuente la tesis o conclusión.
Veamos algunos ejemplos:
Ejemplo 13. Sea la proposición (p ∧ q) → p. Vamos a demostrar que es un
RDV.
Para empezar notemos que el antecedente o hipótesis es: (p ∧ q) y el conse-
cuente o Tesis es: p
Entonces para demostrar que (p ∧ q) → p es un RDV basta ver que es una
tautologı́a:

p q (p ∧ q) → p
V V V V
V F V V
F V V V
F F F V
Por supuesto esta no es la única forma también podrı́amos a ver procedido
de la siguiente forma:
(p ∧ q) → p ≡ ∼ (p ∧ q) ∨ p L. Implicación
≡ (∼ p∨ ∼ q) ∨ p L. Morgan
≡ (∼ p ∨ p) ∨ q L. Asoc.
≡ T ∨q L. Iden.
≡ T L. Iden.
1.8. RAZONAMIENTO DEDUCTIVO VÁLIDO 27

A continuación daremos algunas notaciones a fin de facilitar el trabajo con

los RDV. Si la proposición

P (p1 , p2 , ..., pn ) → Q(p1 , p2 , ..., pn )

es un RDV entonces se suelen utilizar las siguiente notaciones:

P (p1 , p2 , ..., pn )
∴ Q(p1 , p2 , ..., pn )

ó de manera alternativa

{P (p1 , p2 , ..., pn )} ⊢ Q(p1 , p2 , ..., pn ) (1.2)

Si
P (p1 , p2 , ..., pn ) ≡ p1 ∧ p2 ∧ ... ∧ pn

es la conjunción de dos o más proposiciones entonces se suele denotar:

p1
..
.
pn
∴ Q(p1 , p2 , ..., pn )

ó usando la notación (1.2) podemos escribir

{p1 , p1 , . . . pn } ⊢ Q(p1 , p2 , ..., pn )

Al igual que en el algebra de proposiciones existen algunos RDV elemen-

tales, los cuales nos ayudan a probar que otras proposiciones también son
RDV, sin necesidad de diseñar las tablas de verdad. ni mostrar que son tau-
tologı́as usando las leyes lógicas. Estas se denominan Reglas de Inferencia,
las principales son:
28 CAPÍTULO 1. LÓGICA MATEMÁTICA

Modus Ponendo Ponens(P.P.) Modus Tollendo Tollens (T.T.)

p→q p→q
p ∼q
∴ q ∴ ∼p

Silogismo Hipotético (S.H.) Silogismo Disyuntivo (S.D.)

p→r p∨q
r→q ∼p
∴ p→q ∴ q

Regla de Conjunción (R.C.) Regla de Simplificación (R.S.)

p
p∧q
q
∴ p
∴ p∧q

Regla de Contradicción (R.D.C.) Regla de Dem. por Casos (R.Cs.)

p→r
∼p→C
q→r
∴ p
∴ (p ∨ q) → r

Dilema Constructivo (D.C.) Dilema Destructivo (D.D.)

p→r p→r
q→s q→s
p∨q ∼ r∨ ∼ s
∴ r∨s ∴ ∼ p∨ ∼ q

Regla de Adición (R.A.) Regla de Dem. por casos (R.D.Cs.)

p → (q → r)
p
p∧q
∴ p∨q
∴ r
1.8. RAZONAMIENTO DEDUCTIVO VÁLIDO 29

Cada una de estas es un RDV, la demostración se la puede realizar a través

de la elaboración de una tabla de verdad o bien usando las leyes lógicas: Por
ejemplo ya mostramos que (p ∧ q) → p ≡ T es decir hemos demostrado la
ley de simplificación,que en términos de la notación para RDV se escribe:

p∧q
∴ p

ó de manera alternativa {p, q} ⊢ p.

Ejemplo 14. Para demostrar la REGLA DEL DILEMA CONSTRUCTIVO
notemos primero que:

p→r
q→s
≡ [(p → r) ∧ (q → s)] ∧ (p ∨ q) → (r ∨ s)
p∨q
∴ r∨s

de acuerdo a la notación que definimos. Entonces para mostrar que este es

efectivamente un RDV tenemos que mostrar que

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

es una tautologı́a veamos:

[(p → r) ∧ (q → s) ∧ (p ∨ q)] → (r ∨ s) ≡ ∼ [(∼ p ∨ r) ∧ (∼ q ∨ s) ∧ (p ∨ q)] ∨ (r ∨ s)

≡ (p∧ ∼ r) ∨ (q∧ ∼ s) ∨ (∼ p∧ ∼ q) ∨ (r ∨ s)
≡ [(p∧ ∼ r) ∨ r] ∨ [(q∧ ∼ s) ∨ s] ∨ (∼ p∧ ∼ q)
≡ (p ∨ r) ∨ (q ∨ s) ∨ (∼ p∧ ∼ q)
≡ (r ∨ q ∨ s) ∨ [p ∨ (∼ p∧ ∼ q)]
≡ (r ∨ q ∨ s) ∨ (p∨ ∼ q)
≡ r ∨ s ∨ p ∨ (q∨ ∼ q)
≡ r∨s∨p∨T
≡ T
30 CAPÍTULO 1. LÓGICA MATEMÁTICA

Ası́ queda demostrado que es un RDV.

Del mismo modo se puede probar que todas son un RDV.

Observación 6. Otra forma de demostrar que una proposición compuesta

es un RDV es utilizar los RDV ya conocidos: Vamos a demostrar REGLA
DEL DILEMA DESTRUCTIVO (DD):

1. p→r
2. q→s
3. ∼ r∨ ∼ s
4. ∼ r →∼ p 1, LCR
5. ∼ s →∼ q 2, LCR
6. ∴∼ p∨ ∼ q, 4,5,3, LDC.

Ejemplo 15. Demostrar que las siguientes conclusiones son correctas:

a) v →∼ p b) r→q c) v →∼ u
p∧ ∼ t ∼ s → (t ∧ u) p∧ ∼ q
s→t p∧ ∼ q (∼ v ∨ m) → (r ∧ t)
q→u (p ∧ t) → v q∨w
s ∨ (q ∧ r) r∨ ∼ s p → (u∨ ∼ w)
∴ u∧ ∼ v ∴ v∧u ∴ r∨s

Solución.-
1.8. RAZONAMIENTO DEDUCTIVO VÁLIDO 31

1. r→q
1. v →∼ p 2. ∼ s → (t ∧ u)
2. p∧ ∼ t 3. p∧ ∼ q
3. s→t 4. (p ∧ t) → v
4. q→u 5. r∨ ∼ s
5. s ∨ (q ∧ r) 6. p 3, RS
6. p 2, RS 7. ∼q 3, RS
7. ∼v 1, 6 MT 8. ∼r 1, 7, MT
8. ∼t 2 RS 9. ∼s 5, 8 SD
9. ∼s 3, 8 MT 10. t∧u 2, 9, MP
10. q∧r 5, 9 SD 11. t 10, RS
11. q 10, RS 12. p∧t 11, 6 RC
12. u 11, 4 MP 13. v 4, 12, MP
13. u∧ ∼ v 11, 7 RC 14. u 10, RS
15. v∧u 13, 14 RC

1. v →∼ u
2. p∧ ∼ q
3. (∼ v ∨ m) → (r ∧ t)
4. q∨w
5. p → (u∨ ∼ w)
6. p 2, RS
7. ∼q 2, RS
8. u∨ ∼ w 6, 5 MP,
9. w 4, 7, SD
10. u 9, 8, SD
11. ∼v 10, 1, MT
12. ∼v∨m 11, R.Ad.
13. r∧t 3, 12, MP
14. r 13, RS
15. r∨s 14, R.Ad.

Una técnica muy útil para hacer estos razonamientos se basa en el siguiente
teorema:

Teorema 3. Si p1 , p2 , ..., pk , p, q son proposiciones entonces

(p1 ∧ p2 ∧ p3 ∧ ... ∧ pk ) → (p → q) ≡ (p1 ∧ p2 ∧ p3 ∧ ... ∧ pk ∧ p) → q

32 CAPÍTULO 1. LÓGICA MATEMÁTICA

Demostración.

(p1 ∧ p2 ∧ ... ∧ pk ) → (p → q) ≡ ∼ (p1 ∧ p2 ∧ ... ∧ pk ) ∨ (p → q)

≡(∼ p1 ∨ ∼ p2 ∨ ...∨ ∼ pk ) ∨ (∼ p ∨ q)
≡(∼ p1 ∨ ∼ p2 ∨ ...∨ ∼ pk ∨ ∼ p) ∨ q
≡ ∼ (p1 ∧ p2 ∧ ... ∧ pk ∧ p) ∨ q
≡(p1 ∧ p2 ∧ ... ∧ pk ∧ p) → q

El T.3 es útil en el siguiente sentido: Si queremos demostrar que

(p1 ∧ p2 ∧ p3 ∧ ... ∧ pk ) → (p → q)

es un RDV, es equivalente demostrar que

(p1 ∧ p2 ∧ p3 ∧ ... ∧ pk ∧ p) → q

es un RDV. es decir:

p1 p1
p2 p2
p3 ..
≡ .
..
. pn
pn p
∴ p→q ∴ q

Muchas veces es más fácil probar esto último. Veamos un ejemplo.

Ejemplo 16. Vamos a demostrar que {p → (q ∧ t), p ∨ r} ⊢ ∼ (r ∨ s) → q

es decir queremos demostrar que:

1. p → (q ∧ t)
2. p ∨ r
∴ ∼ (r ∨ s) → q

por el Teorema 3 esto es equivalente a probar que

1.8. RAZONAMIENTO DEDUCTIVO VÁLIDO 33

1. p → (q ∧ t)
2. p∨r
3. ∼ (r ∨ s)
∴ q
entonces podemos proceder de la siguiente manera:
1. p → (q ∧ t)
2. p∨r
3. ∼ (r ∨ s)
4. ∼ r∧ ∼ s 4,LM
5. ∼r 4, R.S.
6. p 2,5 S.D.
7. q∧t 1, 6, M.P.
8. ∴q 7, R.S.
por lo tanto hemos probado que {p → (q ∧ t), p ∨ r} ⊢ ∼ (r ∨ s) → q es un
razonamiento deductivo válido.
Observación 7. La regla de demostración por contradicción (RDC) merece
algún comentario adicional. Recordemos que esta regla afirma que
∼p→C
∴ p
Supongamos que queremos demostrar que {p1 , p2 , . . . , pn } ⊢ p la regla nos
dice que si probamos
{p1 , p2 , . . . , pn } ⊢∼ p → C (1.3)
entonces podemos deducir p, pero notemos que, por el T. 3 probar (1.3) es
equivalente a probar
{p1 , p2 , . . . , pn , ∼ p} ⊢ C (1.4)
ası́ para probar la tesis p podemos suponer ∼ p como una hipótesis adicional
y concluimos la demostración cuando deducimos una contradicción (C), que
por lo general es de la forma P ∧ ∼ P .
Veamos un ejemplo para aclarar ideas: Vamos a probar:
p → (q ∧ t)
p∨r
∼ (r ∨ s)
∴ q
34 CAPÍTULO 1. LÓGICA MATEMÁTICA

usaremos la RDC, para esto asumimos la negación de la Tesis como una

hipótesis adicional, y nuestro objetivo es concluir una contradicción C, es
decir
p → (q ∧ t)
p∨r
∼ (r ∨ s)
∼q
∴ C
la conclusión (C) que buscamos por lo general aparecerá de la forma P ∧ ∼ P
1. p → (q ∧ t)
2. p∨r
3. ∼ (r ∨ s)
4. ∼q
5. ∼r 3, LM y R.S.
6. p 5,2 SD.
7. ∼ q∨ ∼ t 4, LAd.
8. ∼ (q ∧ t) 7, LM.
9. ∼p 1,8, TT.
10. ∼p∧p≡C 6,9 RC.
∴ C
por lo tanto usando la RDC esto es equivalente a demostrar
p → (q ∧ t)
p∨r
∼ (r ∨ s)
∴ q
Veamos algunos ejemplos más:
Ejemplo 17. Demostrar
p∨q
r →∼ s
p→q
p→r
∼p→r
t →∼ s
∼r
p∨t
∴ q
q→s
∴ r
1.8. RAZONAMIENTO DEDUCTIVO VÁLIDO 35

Solución.-

1. p∨q
2. r →∼ s
3. p→r
1. p → q 4. t →∼ s
2. ∼ p → r 5. p∨t
3. ∼ r 6. q→s
4. ∼∼ p 2,3 TT 7. r∨ ∼ s 3,4,5 DC
5. p 4 LDN 8. ∼ r∨ ∼ s 2, LI
∴ q 1,5 MP 9. ∼s 8,7 RC, LD
10. ∼q 6,9, MT
11. p 1,10, SD
12. ∴ r 3,11,MP

Ejemplo 18. Demostrar que los siguientes son razonamientos deductivos

válidos

a) {p → (q ∧ t), p ∨ r, ∼ (r ∨ s)} ⊢ q

b) {p ∨ q, p → r, r → s, q → s, (s ∨ t) → u, p →∼ u, } ⊢ q

Solución.- Es decir queremos probar que:

p∨q
p→r
p → (q ∧ t)
r→s
p∨r
q→s
∼ (r ∨ s)
(s ∨ t) → u
∴ q
p →∼ u
∴ q

veamos entonces
36 CAPÍTULO 1. LÓGICA MATEMÁTICA

1. p∨q
2. p→r
3. r→s
1. p → (q ∧ t)
4. q→s
2. p∨r
5. (s ∨ t) → u
3. ∼ (r ∨ s)
6. p →∼ u
4. ∼ r∧ ∼ s 4,LM
7. r∨s 1,2,4 DC
5. ∼r 4, LS
8. ∼r∨s 3, LI
6. p 2, SD
9. s 7,8, RC, LD
7. q∧t 1,6, MP
10. s∨t 9, RAd
8. ∴q 7,LS
11. u 10, 5, MP
12. ∼p 11, 6, MT
12. ∴q 12,1, SD

1.8.1. Ejercicios
1. Demostrar que los siguientes son razonamientos deductivos válidos

a) {r →∼ t, s → r, s} ⊢∼ t.
b) {a → (b ∧ d), b ∧ d → c, a} ⊢ c.
c) {∼ p →∼ q, ∼ p, ∼ q → r} ⊢ r.

2. Simbolizar cada uno de los siguientes razonamientos y demostrarlos

a) Si 2 es mayor que 1, entonces 3 es mayor que 1.

Si 3 es mayor que 1, entonces 3 es mayor que 0.
2 es mayor que 1.
Por lo tanto, 3 es mayor que 0.
b) a + 1 = 2.
Si a + 1 = 2 entonces b = 1 + 2.
Si b + 1 = 2 entonces a = b.
Por lo tanto a = b.
c) Esta ley será aprobada en esta sesión si y solo si es apoyada por
la mayorı́a. Es apoyada por la mayorı́a o el gobernador se opone a
ella. Si el gobernador se opone a ella, entonces será pospuesta en
las deliberaciones del comité. Por lo tanto, est ley será aprobada
en esta sesión o será pospuesta en las deliberaciones del comité.
1.8. RAZONAMIENTO DEDUCTIVO VÁLIDO 37

d ) Un lı́quido es un ácido si y solo si colorea de azul el papel de

tornasol rojo. Un lı́quido colorea de azul el papel de tornasol rojo
si y solo si contiene iones de hidrógeno libres. Por lo tanto, un
lı́quido es un ácido si y solo si contiene iones de hidrógeno libres.

3. Demostrar que los siguientes son razonamientos deductivos válidos

a) {s →∼ t, t, ∼ s → r} ⊢ r.
b) {p → s, ∼ s, ∼ p → t} ⊢ t.
c) {s → (p ∨ q), s, ∼ p} ⊢ q.
d ) {p ∧ r, p → s, r → t} ⊢ s ∧ t.
e) {s ∧ p, q∨ ∼ r, s → r} ⊢ q ∧ p.
f ) {t → r, r →∼ s, t} ⊢ ∼ s.
g) {∼ q ∨ s, ∼ s, ∼ (r ∧ s) → q} ⊢ r.
h) {v →∼ p, p∧ ∼ t, s → t, q → u, s ∨ (q ∧ r)} ⊢ u∧ ∼ v.

4. Demostrar que las siguientes conclusiones son correctas:

a) v →∼ p b) r → q c) v →∼ u
p∧ ∼ t ∼ s → (t ∧ u) p∧ ∼ q
s→t p∧ ∼ q (∼ v ∨ m) → (r ∧ t)
q→u (p ∧ t) → v q∨w
s ∨ (q ∧ r) r∨ ∼ s p → (u∨ ∼ w)
∴ u∧ ∼ v ∴ v∧u ∴ r∨s

5. Demostrar que las siguientes conclusiones son correctas:

i) a=b∨a<b ii) b ̸> 2 → a ̸> 2

(a < 3 ∧ b = a + 1) → b ̸= 8 a ̸> 5 ∨ b ̸= 2
a=3∨b=8 a=b+3∧b<4
a ̸= b ∧ b = a + 1 (b > 2 ∧ b < 4) → a > 5
∼ (a < 3) →∼ (a < b) a ̸= b + 3 ∨ a > 2
∴ a=3∨b<2 ∴ b ̸= 2
38 CAPÍTULO 1. LÓGICA MATEMÁTICA

iv) a > b ∨ b = 3
iii) a ̸= 7 →∼ (c > a)
a > 4 → b ̸> 1
a<6∨a=3
a>b→a>4
a=3→c>a
a = b → b ̸> 1
a<6→c>a
a>b∨a=b
a = 5 ∨ a ̸= 7
b=3→b>1
∴ a=5∨c>5
∴ a>4

6. Establecer si el argumento es válido o no.

a) Si voy en auto a mi trabajo, entonces llegaré cansado. Yo no voy

en auto a mi trabajo. Por lo tanto no llegaré cansado
b) Me volveré famoso o no me convertiré en escritor. Me convertiré
en escritor, por lo tanto me volveré famoso
c) Si lo intento con ahı́nco y tengo talento, me convertiré en músico.
Si me convierto en músico, entonces seré feliz. Luego si no voy a
ser feliz, entonces no intentaré con ahı́nco o no tengo talento.
Capı́tulo 2

Teorı́a de Conjuntos

En este capı́tulo vamos a estudiar la noción de conjuntos, para lo cual utili-

zaremos las ideas de la Lógica simbólica.

2.1. Conjuntos
Diremos que un conjunto es una colección de elementos, si A es un conjunto
y a es un elemento de A escribiremos
a ∈ A que se lee ”a pertenece al conjunto A”.
Y si a no es un elemento del conjunto A entonces ∼ (a ∈ A) ≡ a ̸∈ A.
Por ejemplo N es el conjunto de los números naturales y 1 ∈ N, 2 ∈ N.
Los conjuntos se pueden representar de las siguientes maneras:

2.1.1. Por extensión

Un conjunto esta representado por Extensión si se representan todos sus
elementos explı́citamente, por ejemplo:
1. A = {a, b, c, d, e, f }
2. B = {1, 2, 3, 4}
3. C = {♢, ♡, ♠, z}
el problema de esta representación es que la cantidad de elementos que debe
tener el conjunto para poder representarlo debe ser finita y en una cantidad
reducida.

39
40 CAPÍTULO 2. TEORÍA DE CONJUNTOS

2.1.2. Por comprensión

Un conjunto esta representado por comprensión si se da una regla explı́cita
o implı́cita mediante la cual se generan sus elementos ó una propiedad que
los caracteriza completamente. Por ejemplo:
1. N = {1, 2, 3, 4, 5, 6, ...}
2. B = {a, b, c, d, e, f, g, h, ...}
3. C = {2, 3, 5, 7, 11, 13, ...}
son conjuntos en los cuales la regla de generación queda implı́cita. Ası́ debe
ser claro que 7 ∈ N, i ∈ B, 17 ∈ C. Los conjuntos:

1. A = {Fn : Fn−1 + Fn−2 , F0 = 0, F1 = 1, n ∈ N}.

2. B = {an : an = (−1)n 2n , n ∈ N}.
Están dados a partir de una regla que genera sus elementos. Resulta claro
que para el conjunto A:
0 ∈ A,1 ∈ A
0 + 1 =1 ∈ A
1 + 1 =2 ∈ A
2 + 1 =3 ∈ A
3 + 2 =5 ∈ A
..
.
entonces podemos afirmar: A = {0, 1, 1, 2, 3, 5, ...}
Del mismo modo para el conjunto B podemos ver que:
n = 1 → a1 = (−1)1 · 21 = −2 ∈ B
n = 2 → a2 = (−2)2 · 22 = 4 ∈ B
n = 3 → a3 = (−3)3 · 23 = −8 ∈ B
.. .. .. .. ..
. . . . .
Ası́ podemos escribir B = {−2, 4, −8, 16, ...}.
También se los puede representar mediante una propiedad que caracterice a
sus elementos. Por ejemplo
{x ∈ N : n es un número primo}
2.1. CONJUNTOS 41

Dada una proposición abierta p(x) cuyo conjunto universal es U (es decir el
conjunto de elementos para los cuales p(x) es una proposición ó en el cual
nos interesa a p(x) como una proposición), podemos definir el conjunto:

A = {x ∈ U : p(x) es verdad } (2.1)

por ejemplo si p(x) : x < 4 y su conjunto universal es N entonces

A = {x ∈ N : x < 4} = {1, 2, 3}

Ejemplo 19. Veamos algunos ejemplos:

1. M = {x ∈ N : ∃k ∈ N, x = 3k} = {3, 6, 9, 12, ....} el conjunto de los
múltiplos de tres
2. P = {x ∈ N : xtiene exactamente dos divisores positivos}
= {2, 3, 5, 7, 11, 13, 17, ...} el conjunto de los números primos.
El conjunto universal (de discurso) se refiere al conjunto de todos elementos
que se consideran en un determinado tema de estudio, por ejemplo dada la
proposición abierta
x2 + y 2 = z 2
podemos considerar como su conjunto universal: Z si la vemos en el ámbito
de la aritmética, R si la vemos el cálculo de varias variables ó C en el cálculo
de variable compleja.
Notación 1. Denotaremos con U el conjunto universal (de discurso). Cuan-
do se sobre entienda el conjunto universal al cual nos referimos escribiremos

{x ∈ U : p(x)} = {x : p(x)}

Ejemplo 20. En los siguientes conjuntos el conjunto universal es Z

1. A = {x : x2 − 1 = 1} = {−2, 2}
2. B = {x : x ̸= x}
3. C = {x : −2 < x ≤ 6} = {−1, 0, 1, 2, 3, 4, 5, 6}
Notemos que el conjunto B carece de elementos.
Definición 4. Un conjunto que carece de elementos se denomina Conjunto
vacı́o y se lo denota por ∅.
42 CAPÍTULO 2. TEORÍA DE CONJUNTOS

2.1.3. Diagramas de Venn

Una representación en diagramas de Venn, es una representación gráfica del
siguiente tipo:

U
A

ası́ si a ∈ A y b ̸∈ A representaremos:

Ejemplo 21. Consideremos el conjunto A = {x ∈ N : n divide a 15}, es

claro entonces que:
N
6...
3 A
4 5
1
15
2

Ejercicios
1. Escribir los siguiente conjuntos por extensión:

a) A = {n ∈ N : n divide a 9}.
b) B = {an : an = (−1/n)n + 1, n = 1, 2, 3, 4, 5}.
c) C = {x ∈ Z : x2 − 2x + 1 = 0}.
d ) D = {x ∈ Z : −2 ≤ x < 3}.
2.2. INCLUSIÓN DE CONJUNTOS 43

2. Dado que U = {1, 2, 3, ..., 10} y A = {3, 9, 10} , B = {1, 2, 6, 7}, C =

{2, 5, 7, 9}. Ubicarlos en un Diagrama de Venn conveniente.
3. Dado que U = {a, b, c, d, e, f, g, h, i, j, k} y A = {e, g, h} , B = {f, g, i, j}, C =
{a, e, i}. Ubicarlos en un Diagrama de Venn conveniente.

2.2. Inclusión de conjuntos

Dados los conjuntos A y B diremos que A esta incluido en B ó que A es
subconjunto de B, si la siguiente proposición es verdadera:
∀x : x ∈ A entonces x ∈ B (2.2)
en este caso escribiremos A ⊆ B. en términos de diagramas de Venn tenemos:
B
A

Ejemplo 22. Sean B = {1, 2, 3, 4, 5, 6, 7, 8} y A = {x ∈ N : x divide a 6},

luego como A = {1, 2, 3, 6} entonces A ⊆ B.
B
A 2
1
4
6 3 8
5
7

Decir que A no es subconjunto de B es equivalente a la negación de (2.2) es

decir
A * B ≡ ∃x : x ∈ A ∧ x ̸∈ B
B A

a
44 CAPÍTULO 2. TEORÍA DE CONJUNTOS

Definición 5. Si un elemento b no es un elemento del conjunto A, diremos

que a no pertenece al conjunto A y escribiremos ∼ (a ∈ A) ó de manera
equivalente a ̸∈ A.

Ası́ si A = {1, 2, 3, 4} y B = {1, 2, 3, 4, 7} entonces A ⊆ B pues todo elemento

de A es también un elemento de B y B * A pues existe 7 ∈ B tal que 7 ̸∈ A.
En diagrams de Venn:

B
A
2
7 1 3
4

Observación 8. Si A es un conjunto entonces es claro que:

1. A ⊆ A.

2. ∅ ⊆ A.

Definición 6. Diremos que dos conjuntos A y B son iguales si A ⊆ B y

B ⊆ A, es decir

A=B si y solo si ∀x : x ∈ A ⇔ x ∈ B (2.3)

Teorema 7. Sean A, B y C conjuntos, entonces

1. A = A.

2. A ⊆ B y B ⊆ C entonces A ⊆ C.

Demostración. 1. Es evidente pues A ⊆ A.

2. Dada a ∈ A un elemento cualquiera, como A ⊆ B entonces a ∈ B y

como B ⊆ C entonces a ∈ C luego A ⊆ C.
2.3. OPERACIONES CON CONJUNTOS 45

Ejercicios
1. Dados los conjuntos

A = {n ∈ N : n es divisor de 6}, B = {n ∈ Z : n es divisor de 12}

determinar si A ⊆ B ó B ⊆ A.

2. Para el ejercicio anterior hacer un diagrama de Venn.

2.3. Operaciones con conjuntos

2.3.1. Complemento
Dado un conjunto A definimos

Ac = {x ∈ U : x ̸∈ A}

el complemento de A. En diagramas de Venn tenemos:

U
c
A
A

Ejemplo 23. Sea U el conjunto de las vocales y A = {a, e, u} entonces

Ac = {i, o}

Ejemplo 24. Sea U = R entonces

1. Si (a, b) = {x : a < x < b} entonces

(a, b)c = {x :∼ (a < x < b)} = {x : x ≤ a ∨ x ≥ b}

a b a b
(a,b) (a,b)c
46 CAPÍTULO 2. TEORÍA DE CONJUNTOS

2. Si [a, ∞) = {x : a ≤ x} entonces

(−∞, a)c = {x : x < a}

Teorema 8. Si A, B y C son conjuntos, entonces

1. (Ac )c = A
2. A ⊆ B si y solo si B c ⊆ Ac .
Demostración. 1. Notemos que:

a ∈ (Ac )c ↔ a ̸∈ Ac
↔∼ (a ∈ Ac )
↔∼ (a ̸∈ A)
↔∼∼ (a ∈ A)
↔a∈A

luego ∀x : x ∈ (Ac )c ↔ x ∈ A por lo tanto (Ac )c = A.

2. basta ver que

∀x : x ∈ A ⇒ x ∈ B ≡ ∀x : x ̸∈ B ⇒ x ̸∈ A
≡ ∀x : x ∈ B c ⇒ x ∈ Ac

2.3.2. Unión de Conjuntos

Si A, B son conjuntos, definimos el conjunto

A ∪ B = {x : x ∈ A ∨ x ∈ B} (2.4)

la unión de A y B. En diagramas de Venn:

A B

AUB
2.3. OPERACIONES CON CONJUNTOS 47

Ejemplo 25. Ası́ si A = {1, 2, 3, 4}, B = {4, 5, 7} entonces

A ∪ B = {1, 2, 3, 4, 7}

A B
2 5
1 4
3 7

Teorema 9. Sea A, B, C, D conjuntos entonces:

1. A ∪ A = A.

2. A ∪ (B ∪ C) = (A ∪ B) ∪ C.

3. A ∪ B = B ∪ A.

4. A ∪ ∅ = A, A ∪ U = U .

5. Si A ⊆ C y B ⊆ D entonces A ∪ B ⊆ C ∪ D.

6. A ⊆ A ∪ B.

Demostración. 1. Sea a ∈ A entonces:

a ∈ A ⇔ a ∈ A ∨ a ∈ A L.Idem.
⇔ a ∈ A ∪ A, Def.

por lo tanto A = A ∪ A

3.
a ∈ A ∪ B ⇔ a ∈ A ∨ a ∈ B Def.
⇔ a ∈ B ∨ a ∈ A, L.C.
⇔ a ∈ B ∪ A, Def.
por lo tanto A ∪ B = B ∪ A.

5.
a ∈ A ∪ B ⇔ a ∈ A ∨ a ∈ B Def.
⇒ a ∈ C ∨ a ∈ D, pues A ⊆ C, B ⊆ D
⇔ a ∈ C ∪ D, Def.
por lo tanto A ∪ B ⊆ C ∪ D.
48 CAPÍTULO 2. TEORÍA DE CONJUNTOS

2.3.3. Intersección de Conjuntos

Si A, B son conjuntos definimos el conjunto

A ∩ B = {x : x ∈ A ∧ x ∈ B} (2.5)

la intersección de A y B. En diagramas de Venn

A B

U
A B

Ası́ si A = {1, 2, 3, 4}, B = {3, 4, 5, 7} entonces

A ∩ B = {3, 4}

Las siguientes propiedades se deducen de las leyes lógicas ya conocidas.

Teorema 10. Sea A, B, C, D conjuntos entonces:

1. A ∩ A = A.

2. A ∩ B = B ∩ A.

3. A ∩ (B ∩ C) = (A ∩ B) ∩ C.

4. A ∩ ∅ = ∅, A ∩ U = A.

5. Si A ⊆ C y B ⊆ D entonces A ∩ B ⊆ C ∩ D.

6. A ∩ B ⊆ A.

Teorema 11 (Ley de Morgan). Dados los conjuntos A y B

(A ∩ B)c = Ac ∪ B c , (A ∪ B)c = Ac ∩ B c .
2.3. OPERACIONES CON CONJUNTOS 49

Demostración. Vamos a probar la primera propiedad:

a ∈ (A ∩ B)c ⇔ a ̸∈ (A ∩ B), Def.
⇔ ∼ (a ∈ A ∩ B), Def.
⇔ ∼ (a ∈ A ∧ a ∈ B), Def.
⇔ ∼ (a ∈ A)∨ ∼ (a ∈ B) L.M. para prop.
⇔ a ̸∈ A ∨ a ̸∈ B Def.
⇔ a ∈ Ac ∨ a ∈ B c Def.
⇔ a ∈ Ac ∪ B c Def.
por lo tanto (A ∩ B)c = Ac ∪ B c .
Las siguientes propiedades son las que relacionan todas la operaciones vistas
hasta ahora. Las demostraciones se apoyan en las leyes lógicas correspon-
dientes.
Teorema 12. Sean A, B, C conjuntos, entonces
1. A ∩ Ac = ∅, A ∪ Ac = U .
2. A ∩ U = A, A ∩ ∅ = ∅
3. Propiedad Distributiva
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)

4. Propiedad de Absorción
A ∩ (A ∪ B) = A
A ∪ (A ∩ B) = A

2.3.4. Diferencia de Conjuntos

Dados los conjuntos A y B definimos:
La diferencia de conjuntos: A − B = A ∩ Bc.

A B
50 CAPÍTULO 2. TEORÍA DE CONJUNTOS

La diferencia Simétrica: A△B = (A − B) ∪ (B − A).

A B

Notemos que por definición podemos escribir:

A − B = {x : x ∈ A ∧ x ̸∈ B}
A△B = {x : (x ∈ A ∧ x ̸∈ B) ∨ (x ∈ B ∧ x ̸∈ A)}
= {x : x ∈ A ∨ x ∈ B}.

Ejemplo 26. Sean A = {a, b, c, d, e, f, g, h} y B = {a, e, i, o, u} entonces

a) A − B = {b, c, d, f, g, h}

b) B − A = {i, o, u}

c) A△B = {b, c, d, f, g, h, i, o, u}
Proposición 13. Demostrar que:
1. (A − B) ∩ (A ∩ B) = ∅.

2. A = (A − B) ∪ (A ∩ B).
Demostración. Veamos que:
1.
(A − B) ∩ (A ∩ B) = (A ∩ B c ) ∩ (A ∩ B), Def.
= A ∩ (B ∩ B c ), T.12
= A∩∅ T. 12
= ∅ T.12

2.
(A − B) ∪ (A ∩ B) = (A ∩ B c ) ∪ (A ∩ B)
= A ∩ (B c ∪ B) = A ∩ U
= A
2.3. OPERACIONES CON CONJUNTOS 51

Ejemplo 27. Sean U = {1, 2, 3, ..., 10} y

A = {n : n divide a 8}, B = {n : n es impar}, C = {n : n es múltiplo de 3}.

i) Hallar (Ac − B)△(C − A).

Solución.- Primero notemos que A = {1, 2, 4, 8}, B = {1, 3, 5, 7, 9}, C =

{3, 6, 9}, entonces si el conjunto universal es U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
tenemos que

Ac = {3, 5, 6, 7, 9, 10} ⇒ Ac − B = {6, 10}

del mismo modo C − A = {3, 6, 9} entonces

(Ac − B)△(C − A) = {3, 9, 10}

ii) En un diagrama de Venn ubicar (A − B)△(C − Ac ).

Solución.- Primero notemos que A ∩ C = ∅ entonces tenemos que:

U
A B C
2 5
3
4 1 6
9
8 7

10

y como A − B = {2, 4, 8} y C − Ac = C ∩ A = ∅ entonces

(A − B)△(C − Ac ) = A − B

por lo tanto:
52 CAPÍTULO 2. TEORÍA DE CONJUNTOS

U
A B C
2 5
3
4 1 6
9
8 7

10

Ejemplo 28. Sean U = {1, 2, 3, ..., 10} y

A = {2, 4, 6, 8, 10}, B = {2, 3, 5, 7}, C = {1, 2, 3, 5, 7}.
i) Hallar (B − A) − C.

Solución.- Primero notemos que B − A = {3, 5, 7} entonces

(B − A) − C = ∅

ii) Hallar B − (A − C).

Solución.- Primero notemos que A − C = {4, 6, 8, 10} entonces
B − (A − C) = {2, 3, 5, 7}

Teorema 14. Si A, B son conjuntos, entonces

1. (A − B) ∩ B = ∅
2. (A − B) ∪ B = A ∪ B
Demostración. 1.
(A − B) ∩ B = (A ∩ B c ) ∩ B
= A ∩ (B c ∩ B) = A ∩ ∅
(A − B) ∩ B = ∅

2.
(A − B) ∪ B = (A ∩ B c ) ∪ B
= (A ∪ B) ∩ (B c ∪ B) = (A ∪ B) ∩ U
(A − B) ∪ B = (A ∪ B)
2.4. PRODUCTO CARTESIANO 53

2.4. Producto Cartesiano

Dados los conjuntos A y B si a ∈ A y b ∈ B el par ordenado de a y b se
define como
(a, b) = {a, {a, b}}

ası́ es evidente que si a, c ∈ A y b, d ∈ B entonces

(a, b) = (c, d) ⇔ a=c ∧ b=d

Definición 15. Dados los conjuntos A y B definimos el producto cartesiano

de A con B como el conjunto

A × B = {(a, b) : a ∈ A ∧ b ∈ B}

Ejemplo 29. Sean los conjuntos A = {a, b, c} y B = {1, 2} entonces

1. A × B = {(a, 1), (a, 2), (b, 1), (b, 2), (c, 1), (c, 2)}

2. B × A = {(1, a), (1, b), (1, c), (2, a), (2, b), (2, c)}

por supuesto (a, 1) ∈ A × B pero (a, 1) ̸∈ A × B.

B B
A B B A
c
(c,2) (2,b)
2 b
1 a
A A
a b c 1 2

Teorema 16. Si A = ∅ ó B = ∅ entonces A × B = B × A = ∅.

Ejemplo 30. Demostrar que

(A ∪ B) × C = (A × C) ∪ (B × C).
54 CAPÍTULO 2. TEORÍA DE CONJUNTOS

Entonces
(a, c) ∈ (A × C) ∪ (B × C) ⇔ (a, c) ∈ (A × C) ∨ (a, c) ∈ (B × C)
⇔ (a ∈ A ∧ c ∈ C) ∨ (a ∈ B ∧ c ∈ C)
⇔ (a ∈ A ∨ a ∈ B) ∧ c ∈ C
⇔ (a ∈ A ∪ B) ∧ c ∈ C
⇔ (a, c) ∈ (A ∪ B) × C

∴ ∀ (x, y) : (x, y) ∈ (A × C) ∪ (B × C) ⇔ (x, y) ∈ (A ∪ B) × C.

2.5. Ejemplos
Ejemplo 31. Determinar los elementos de A, B y C sabiendo que:
A ∪ B = {a, b, c, e, f, g, h}, A ∩ C = {a, e, f }, B ∩ C = {c, f },
A ∩ B = {h, f }, A ∪ C = {a, b, c, d, e, f, h},
Solución.- Notemos que (A ∩ B) ∩ (A ∩ C) = A ∩ B ∩ C = {f } entonces
podemos considerar el siguiente diagrama m de Venn:
A B

e f
a c

Para determinar los elementos de A, podemos usa A ∪ B, es decir falta ver

a donde pertenecen b y g.
b ∈ (A ∪ B) ∩ (A ∪ C) = A ∪ (B ∩ C), luego como b ̸∈ B ∩ C entonces b ∈ A.
Del mismo modo g ∈ A ∪ B pero g ̸∈ A ∪ C luego g ̸∈ A ası́ g ∈ B. Haciendo
un análisis similar podemos concluir que d ∈ C luego
A B

b h
g
e f
a c

d
C
2.5. EJEMPLOS 55

Ejemplo 32. Si A =] − 5, 3[, B = [2, 5], C =] − 3, 3[ son intervalos de la

recta determinar:
1. (Ac ∪ B C ∪ C C )c .
2. [(A − B) ∪ C c ]c △(A ∩ B ∩ C)
Solución.- Notemos que
-5 -3 0 2 3 5

entonces
1. (Ac ∪ B c ∪ C c )c = A ∩ B ∩ C = [2, 3[.

-5 -3 0 2 3 5

2. Como
[(A − B) ∪ C c ]c △(A ∩ B ∩ C) = [C ∩ (Ac ∪ B)]△(A ∩ B ∩ C)
entonces tenemos que:

-5 -3 0 2 3 5

ası́ C ∩ (Ac ∪ B) =] − 3, 3[ ∩ {] − ∞, −5] ∪ [3, ∞[∪[2, 5]} = [2, 3[ luego

[C − (Ac ∪ B)]△(A ∩ B ∩ C) = [2, 3[△[2, 3[= ∅

Ejemplo 33. Simplificar

[(A − B c ) ∪ (B c − A)] − B
veamos
[(A − B c ) ∪ (B c − A)] − B ≡ [(A ∩ (B c )c ) ∪ (B c ∩ Ac )] ∩ B c Dif. de conj.
≡ [(A ∩ B) ∩ B c ] ∪ [(B c ∩ Ac ) ∩ B c ] Distr.
≡ [A ∩ (B ∩ B c )] ∪ [Ac ∩ (B c ∩ B c )] Idemp. Teo.
≡ [A ∩ ∅] ∪ (B c ∩ Ac ) Teo.
≡ ∅ ∪ (B c ∩ Ac ) Teo.
≡ B c ∩ Ac Teo.
56 CAPÍTULO 2. TEORÍA DE CONJUNTOS

Ejemplo 34. Demostrar que (A ∪ B) − C = (A − C) ∪ (B − C)

Demostración. Vamos a usar las propiedades de los conjuntos.

(A ∪ B) − C = (A ∪ B) ∩ C c
= (A ∩ C c ) ∪ (B ∩ C c )
= (A − C) ∪ (B − C)

Ejemplo 35. Demostrar que A − B = ∅ si y solo si A ⊆ B.

Demostración. ⇒) Por la Proposición.13 sabemos que (A−B)∪(A∩B) = A,
si A − B = ∅ entonces A ∩ B = A luego si a ∈ A entonces a ∈ B por
lo tanto A ⊆ B.

⇐) Si A ⊆ B como B c ⊆ B c por el Teorema.10 tenemos

A − B = A ∩ Bc ⊆ B ∩ Bc = ∅

ası́ A − B = ∅.

Ejemplo 36. Demostrar que A△B = ∅ si y solo si A = B

Demostración. Supongamos que A△B = ∅ si y solo si (A − B) ∪ (B − A) = ∅
esto ocurre si y solo si A − B = ∅ y B − A = ∅ , por el ejemplo 35 esto es
equivalente a A ⊆ B y B ⊆ A es decir A = B.
Ejemplo 37. Demostrar que A − (B − C) = (A − B) ∪ (A ∩ C).

A − (B − C) ≡ A ∩ h(B ∩ C c )c i Dif. de conj.

≡ A ∩ B c ∪ (C c )c L.M.
≡ A ∩ (B c ∪ C) L.D.N.
≡ (A ∩ B c ) ∪ (A ∩ C) P.D.
≡ (A − B) ∪ (A ∩ C) Dif. de conj.

Ejemplo 38. Simplificar:

{[(Ac − B) ∪ (B c − Ac )]c ∩ [A△(Ac ∪ B)c ]}△(B − A)c

2.5. EJEMPLOS 57

Solución.-Notemos que si:

{[(Ac − B) ∪ (B c − Ac )]c ∩ [A△(Ac ∪ B)c ]}△(B − A)c (2.6)

| {z } | {z }
(i) (ii)

simplificando (i):

[(Ac − B) ∪ (B c − Ac )]c = [(Ac ∩ B c ) ∪ (B c ∩ A)]c

= [B c ∩ (Ac ∪ A)]c
= [B c ∩ U ]c
=B

en (ii)

A△(Ac ∪ B)c = A△(A ∩ B c )

= [A − (A ∩ B c )] ∪ [(A ∩ B c ) − A]
= [A ∩ (A ∩ B c )c ] ∪ [(A ∩ B c ) ∩ Ac ]
= [A ∩ (Ac ∪ B)] ∪ [(A ∩ Ac ) ∩ B c ]
= (A ∩ B) ∪ [∅ ∩ B c ]
= (A ∩ B) ∪ ∅
=A∩B

reemplazando estos en (2.6) tenemos :

{[(Ac − B) ∪ (B c − Ac )]c ∩ [A△(Ac ∪ B)c ]}△(B − A)c = [B ∩ (A ∩ B)]△(B ∩ Ac )c

| {z } | {z }
(i) (ii)

= (A ∩ B)△(B c ∪ A)
= [(A ∩ B) − (B c ∪ A)] ∪ [(B c ∪ A) − (A ∩ B)]
= [(A ∩ B) ∩ (B c ∪ A)c ] ∪ [(B c ∪ A) ∩ (A ∩ B)c ]
= [(A ∩ B) ∩ (B ∩ Ac )] ∪ [(B c ∪ A) ∩ (Ac ∪ B c )]
= [(A ∩ Ac ) ∩ (B ∩ B)] ∪ [B c ∪ (A ∩ Ac )]
= [∅ ∩ (B ∩ B)] ∪ [B c ∪ ∅]
= ∅ ∪ Bc
= Bc
58 CAPÍTULO 2. TEORÍA DE CONJUNTOS

Ejercicios
1. Si U = {1, 2, 3, ..., 10} y A = {1, 3, 5, 6}, B = {3, 6, 9, 10}, C = {3, 4, 5, 6, }
determinar los elementos de los siguientes conjuntos:

a) A ∩ (B − C).
b) C − (B − A).
c) (C − B) − A.
d ) (Ac − B) ∩ C c .

2. Con los conjuntos del ejemplo anterior determinar si

a) A ∩ B c ⊆ B.
b) (C − B)c ⊆ A ∩ B

3. Si A = (2, 4], B = [0, 2], C = [1, ∞) son intervalos de la recta determi-

nar

a) Ac − B
b) A ∪ (B ∩ C)c
c) B − (C ∪ Ac ).

4. Simplificar las siguientes expresiones

a) (A ∪ B) − (B ∪ A)c
b) Ac △(B − Ac )c
c) [(A − (B − B c )) ∪ A]c − (A − B)
d ) [A − (B ∪ C)]c ∩ [(A − B c ) ∩ (B − Ac )c ]

2.6. Cardinalidad de Conjuntos

Dado un conjunto finito A diremos que el cardinal de A es

η(A) = N o de elementos de A

ası́ por ejemplo:

1. Si A = {a, b, c, e, g, h} entonces η(A) = 6.
2.6. CARDINALIDAD DE CONJUNTOS 59

2. η(∅) = 0.

3. Si B = {∅, {∅}} entonces η(B) = 2.

Definición 17. Si A y B son conjuntos tales que

A∩B =∅

diremos que son conjuntos disjuntos.

Enunciaremos la siguiente propiedad que aceptaremos sin demostración:

Teorema 18. Si A y B son conjuntos finitos y disjuntos, entonces

η(A ∪ B) = η(A) + η(B) (2.7)

Ejemplo 39. Dados A = {1, 3, 5, 7}, B = {2, 4, 6, 8, 10}, C = {2, 3, 5, 7, 11, 13}
tenemos que

η(A) = 4, η(B) = 5, η(C) = 6

η(A ∪ B) = η(A) + η(B) pues son disjuntos

además η(A) + η(C) ̸= η(A ∪ B) pues no son disjuntos.

Proposición 19. Sea A y B conjuntos finitos entonces

η(A) = η(A − B) + η(A ∩ B)

Demostración. Basta recordar que por la Proposición 13 tenemos que (A −

B) ∩ (A ∩ B) = ∅ y A = (A − B) ∪ (A ∩ B) luego por el Teorema 2.7 tenemos
que
η(A) = η((A − B) ∪ (A ∩ B)) = η(A − B) + η(A ∩ B)

Teorema 20. Sea A y B conjuntos finitos entonces

η(A ∩ B) = η(A) + η(B) − η(A ∩ B)

60 CAPÍTULO 2. TEORÍA DE CONJUNTOS

Demostración. Por el Teorema 14, A − B y B son conjuntos disjuntos,

además (A − B) ∪ B = A ∪ B ası́:

η(A ∪ B) = η(A − B) + η(B)

= η(A) − η(A ∪ B) + η(B)
= η(A) + η(B) − η(A ∪ B)

Ejemplo 40. Demuestre que:

η(A∪B∪C) = η(A)+η(B)+η(C)−η(A∩B)−η(A∩C)−η(B∩C)+η(A∩B∩C)

Solución.- Por el ejercicio anterior tenemos que:

η(A ∪ B ∪ C) = η(A ∪ B) + η(C) − η[(A ∪ B) ∩ C]

= η(A) + η(B) − η(A ∩ B) + η(C) − η[(A ∩ C) ∪ (A ∩ B)]
= η(A) + η(B) + η(C) − η(A ∩ B)
− [η(A ∩ C) + η(A ∩ B) − η[(A ∩ C) ∩ (A ∩ B)]]
= η(A) + η(B) + η(C) − η(A ∩ B)
− η(A ∩ C) − η(A ∩ B) + η(A ∩ C ∩ B)

Ejemplo 41. Demuestre que: η(A△B) = η(A) + η(B) − 2η(A ∩ B).

Solución.- Como A△B = (A−B)∪(B −A) y (A−B)∩(B −A) = ∅ entonces

η(A△B) = η(A − B) + η(B − A)

por el ejercicio 13 tenemos que:

η(A△B) = η(A − B) + η(B − A)

= η(A) − η(A ∩ B) + η(B) − η(A ∩ B)
= η(A) + η(B) − 2η(A ∩ B)
2.7. PROBLEMAS 61

2.7. Problemas
Problema 1. Una encuesta realizada a un grupo de empleados revelo que
1. 277 tenı́an casa propia. 233 automóvil. 405 televisor.
2. 165, automóvil y televisor. 120 automóvil y casa. 190 casa y televisor.
3. 105 tenı́an casa, automóvil y televisor.
Determinar
a) ¿Cuántas personas fueron encuestadas?
b) ¿Cuantas personas tienen solamente casa y televisor?
c) ¿Cuántas personas tienen solamente casa propia?
Solución 1. Sea C el conjunto de las personas que tienen casa propia, A
el de las personas que tienen automóvil y T el de las que tienen televisor.
entonces sabemos que:
η(C) = 277, η(A) = 233, η(T ) = 405, además
η(A ∩ T ) = 165, η(A ∩ C) = 120, η(C ∩ T ) = 190, η(C ∩ A ∩ T ) = 105.
En términos de diagramas de Venn tenemos:
A C

a) Recordemos que
η(A∪T ∪C) = η(A)+η(T )+η(C)−η(A∩T )−η(A∩C)−η(T ∩C)+η(A∩T ∩C)
entonces
η(A ∪ B ∪ C) =η(A) + η(B) + η(C) − η(A ∩ B) − η(A ∩ C) − η(B ∩ C)
+η(A ∩ B ∩ C)
=233 + 405 + 277 − 165 − 120 − 190 + 105
=545
62 CAPÍTULO 2. TEORÍA DE CONJUNTOS

b) η((C ∩ T ) − (C ∩ A ∩ T )) =? para esto basta ver que como C ∩ A ∩ T ∩ C ⊆

C ∩ T entonces:

η((C ∩ T ) − (C ∩ A ∩ T )) = η(C ∩ T ) − η(C ∩ A ∩ T ) = 190 − 105 = 85

Observación 9. Si A y B son dos conjuntos, entonces podemos represen-

tarlos en diagramas de Venn:

U
A B

En el diagrama de Venn podemos identificar algunos conjuntos como ser

A ∩ B, A − B, B − A, (A ∪ B)c . Es claro que cada uno de estos es disjunto
de los demás. Entonces en el diagrama de Venn podemos identificar:
 
η(A ∩ B) = a, η(A − B) = b, η(B − A) = c, η (A ∪ B)c ) = d

U
A B

b a c

ası́ es claro que

η(A ∪ B) = a + b + c, η(A) = a + b

Con esta forma de utilizar los diagramas de Venn podemos resolver de manera
más clara y simple varios problemas. En el ejemplo anterior podemos hacer
2.7. PROBLEMAS 63

A C

a b c

e
d f

g
T

entonces sabemos que:



 b+c+e+f = 277



 a+b+d+e = 233


 d+e+f +g = 405
d+e = 165 (2.8)



 b+e = 120



 e +f = 190

e = 105

entonces queremos determinar

a) a + b + c + d + e + f + g. El cardinal de A ∪ C ∪ T

b) f . El cardinal de η((C ∩ T ) − (C ∩ A ∩ T ))

c) c. El cardinal de C − (A ∪ T ).
Entonces como e = 105 es claro que b = 120 − 105 = 15, c = 277 −
b − (e + f ) = 277 − 15 − 190 = 72 además a = 233 − b − (d + e) =
233 − 15 − 165 = 53 entonces a + b + c + d + e + f + g = 53 + 15 + 72 +
(d + e + f + g) = 555

Ejemplo 42. Según una encuesta: Toman Coca Cola y Pepsi 1/3 de los que
solo toman Pepsi y 1/2 de los que toman Coca Cola . Toman otras bebidas
diferentes tantos como los que toman solo una de las mencionadas. Si el
número de encuestados es 495 ¿Cuántos toman solo Pepsi o solo Coca Cola?
Solución.- Consideremos el siguiente diagrama de Venn:
64 CAPÍTULO 2. TEORÍA DE CONJUNTOS

C P B

a b c

Donde C es el conjunto de las personas que consumen Coca Cola, P es el

conjunto de las personas que consumen Pepsi y B es el conjunto de todas las
personas que fueron encuestadas. Ası́ tenemos que:
c a+b
b= , b= , d = a + c, a + b + c + d = 495
3 2
Queremos determinar a + c.
De la segunda igualdad se tiene que a = b y de las dos ultimas se tiene que
a + 2d = 495 luego obtenemos el sistema:

 3a = c
a + c = d

a + 2d = 495

de la primera y segunda tenemos que 4a = d, y reemplazando esto en la

última tenemos
9a = 495 ⇒ a = b = 55
luego c = 165 por lo tanto
h i
η (P ∪ C) − (P ∩ C) = a + c = 120.

Ejercicios
1. El cajero de una panaderı́a presenta un reporte con la finalidad de
justificar su continuación en el puesto. Le dijo al propietario: de los
500 clientes que tuvimos el dı́a de ayer 281 compraron pan francés, 196
compraron pan francés y tolete, 87 compraron pan integral y tolete,
143 francés e integral, 36 personas compraron los tres tipos de panes.
Le despidieron. ¿Porqué?
2.7. PROBLEMAS 65

2. 13. Una mesera tomo una orden de 38 hamburguesas: 18 con cebolla, 23

con mostaza y 29 con salsa de tomate. De estas, 3 tenı́an solo mostaza
y 8 solo salsa; 9 de las hamburguesas tenı́an solo mostaza y salsa y 5
los 3 ingredientes. Realice un diagrama de Venn y responda:

a) ¿Cuántas hamburguesas llevan cebolla y salsa solamente?

b) ¿Cuántas solo llevan cebolla?
c) ¿Cuántas hamburguesas solo llevan cebolla y mostaza?

3. En la secretarı́a de una Unidad Educativa, se dispone de la siguiente

información sobre 60 estudiantes: 20 estudian Quı́mica, 25 Historia, 15
Francés y Quı́mica, 20 Historia y Francés, 5 Quı́mica e Historia, 18
Francés, Quı́mica e Historia. Determina el número de alumnos que:

a) Estudian francés.
b) Estudian solo francés.
c) Estudian Quı́mica pero no Historia.
d ) Estudian francés pero no Quı́mica.
e) No estudian Quı́mica.

4. En cierta competencia, todos los alumnos gustan de Álgebra, algunos

de Fı́sica y otros de Quı́mica. ¿Si 30 gustan de Álgebra y Fı́sica, y 45
de quı́mica o Álgebra, cuantos no gustan de Fı́sica?.

5. Para estudiar la calidad de un producto se consideran tres tipos de

defectos: A, B y C; como los más importantes. Se analizaron 18 pro-
ductos con los siguientes resultados:7 productos tienen el defecto A, 9
productos tienen el defecto B, 11 productos el defecto C, 9 productos
tienen exactamente un solo tipo de defecto, 4 productos tiene los tres
tipos de defectos, y el resto de los productos no presentan ningún tipo
de defectos. Determinar:

a) ¿Cuántos productos tienen exactamente dos tipos de defectos? .

b) ¿Cuantos productos no tienen defectos?.

6. Un ingeniero que dirige la construcción de un edificio de tres plantas,

distribuye el personal de la siguiente manera: 10trabajan en la primera
planta, 14 en la tercera planta, 8 en la primera y segunda planta, 8 en la
66 CAPÍTULO 2. TEORÍA DE CONJUNTOS

primera y tercera planta, 7 trabajan en las tres plantas. Si 6 trabajan

en una sola planta y 4 en dos plantas a la vez pero no en las tres,
cuantos trabajan:

a) En la primera y segunda, pero no en la tercera.

b) En la segunda o tercera pero no en la primera.
c) Únicamente en la primera.
d ) Cuántos trabajan en total.

7. En una encuesta a 45 estudiantes se halla que 13 se comportan bien,

16 son inteligentes, 18 son habladores. 7 son habladores e inteligentes,
7 se comportan bien y no son inteligentes, 6 se comportan bien y no
son habladores, 4 se comportan bien y son habladores pero no son
inteligentes. ¿Cuántos de los encuestados no se comportan bien, son
habladores y no son inteligentes?

8. Una agencia de autos vendió durante un año 30 unidades con las si-
guientes caracterı́sticas: 10 tenı́a transmisión automática, 20 tenı́a cli-
ma, 6 tenı́a transmisión automática y clima, 2 tenı́a transmisión au-
tomática pero no tenı́a ni clima ni auto estéreo, 3 tenı́a transmisión
automática y clima pero no tenı́a auto estéreo, 3 no tenı́a ninguna
de las tres caracterı́sticas mencionadas, 11 tenı́a clima y auto estéreo.
¿Cuántas de estas unidades tenı́a auto estéreo?

9. En una fábrica de 47 empleados hay: 25 varones, 14 casadas, 27 técnicos

(varones y mujeres), 8 técnicos casados, 7 técnicos varones casados, 14
varones casados, 13 técnicos varones.

a) ¿Cuántas mujeres no casadas trabajan?.

b) ¿Cuántas mujeres técnicas trabajan?.
c) ¿Cuántas mujeres casadas trabajan?.
d ) ¿Cuántas trabajadoras hay en total?.
Índice alfabético

67