Capítulo 1

Lógica y Teoría de Conjuntos

En este capítulo se introducirá al estudio de la lógica matemática analizando sus principales

elementos y características, se estudiará la estructura de los operadores lógicos, las leyes de inferencia,
los circuitos simbólicos, los argumentos matemáticos, los cuantificadores, entre otros, luego se pasará a
trabajar con el área de conjuntos, sus operaciones, sus estructuras y se finalizara analizando los
diferentes tipos de relaciones que se pueden definir sobre estos mismos.

Definición 1. La lógica matemática es aquella rama de las ciencias exactas que se encarga de estudiar y
proporcionar reglas y técnicas para determinar la validez de un enunciado determinado.
Historia. La lógica, como disciplina, comienza a estudiarse en el siglo IV A.C. con los aportes de Euclides,
Platón y principalmente Aristóteles, quien es conocido como el padre de la lógica, sin embargo, este estudio
fue realizado desde un punto de vista más bien filosófico y no matemático, no fue hasta 1847 que la lógica
se introduce al área gracias a las investigaciones de George Boole (1815-1864) y Augustus De Morgan
(1806-1871) con lo que pasa a formar parte de los fundamentos de la matemática.

Generalmente el estudio de la lógica se divide en dos periodos:

Lógica Clásica: Desde IV A.C. hasta 1847. Lógica Matemática: Desde 1847 hasta hoy en día.

Hoy en día el estudio de la lógica se centra en el análisis de enunciados especiales llamados proposiciones,
es por esto que la lógica matemática también se conoce como lógica proposicional.

1.1. Lógica Proposicional

Definición 2. Se define una proposición como aquel enunciado u oración que puede adquirir un valor de
verdad determinado, generalmente todas las proposiciones están formadas por un sujeto, un verbo y un
complemento.
Observación. El valor de verdad o de veracidad de una proposición es la veracidad o falsedad de esta
misma, estos valores se acostumbran a representar con los símbolos V o 1 y F o 0 respectivamente.
Ejemplo.
El enunciado “El sol es una estrella” es una proposición con un valor de veracidad verdadero (V)
El enunciado “Los gatos pueden volar” es una proposición con un valor de veracidad falso (F)
El enunciado “Buenos días estudiantes” no es una proposición
Observación. Toda proposición es un enunciado, pero no todo enunciado es una proposición.

5
Prof. Yordan Aguilar 6

Ejercicio. Determinar si los siguientes enunciados son proposiciones o no, en caso de serlo, calcular su
valor de veracidad:
1) “12+4=16” 6) “x+12=9”
2) “No es verdad que el año tiene 12 meses” 7) “Yo creo que eso es verdad”
3) “Quiero entrar a la universidad” 8) “¿Me puedes prestar tu goma?”
4) “¿Puedes abrir la ventana por favor?” 9) “La prueba de matemática estaba fácil”
5) “! Recoge ese papel ¡” 10) “París es la capital de Francia”

Notación. Toda proposición se puede representar mediante una letra minúscula que, convencionalmente,
va desde la letra “p” en adelante.
Ejemplo.
p= “La región de Los Lagos tiene playas y lagos”
q= “El año tiene 12 meses y el día tiene 24 horas”
r= “Si ordeno mi casa, lavo mi ropa y paseo al perro podré ir al cine y comer palomitas”

Observación. Generalmente nos son proposición los siguientes tipos de enunciados:

• Interrogativos
• Exclamativos
• Imperativos
• Desiderativos

Las proposiciones pueden presentar diferentes formas y estructuras semánticas, en base a esto podemos
diferenciar los siguientes tipos:

Definición 3. Una proposición simple o atómica es aquella que no puede ser dividida en otras más básicas,
en otras palabras, una proposición es simple si y solo si está formada solo por un sujeto, un complemento
y/o un verbo.
Ejemplo.
p= “El niño está jugando futbol con sus amigos”
q= “Daniela está escuchando música”
r= “15+24=39”

Definición 4. Una proposición compuesta o molecular es aquella que puede ser dividida en otras
proposiciones más simples, generalmente presentan conectivos lógicos.
Ejemplo.
p= ”Los perros ladran y el sol es una estrella”
q= “A Daniel le gusta la música, el deporte y las matemáticas”
r= “23+2=25, 12-8=4, 13+6=19 y 23-14=12”

Definición 5. Una proposición cerrada es aquella que tiene el sujeto completamente definido, en otras
palabras, una proposición es cerrada si y solo si no presenta elementos variables.
Ejemplo.
p= “El árbol mide 235 centímetros”
q= “Javier juega fútbol y Escarlet juega basketball”
r= “Chile tiene 16 regiones y Estados Unidos tiene 51 estados”
7

Definición 6. Una proposición abierta es aquella que no tiene el sujeto definido, es decir, presenta términos
que pueden variar su forma.
Ejemplo.
p= “Él está enojado porque lo dejaron en la banca”
q= “x+12=5y+8”
r= “Ella no sabe bailar y Él no le quiere enseñar”

Definición 7. Una paradoja es un enunciado que carece de respuesta lógica, es decir, forma una
contradicción cada vez que toma un valor de verdad determinado, tiene la forma "𝑝 ↔ 𝑝̅ ".
Ejemplo.
p= “Esta oración es falsa”
q= “El sol brilla solo si no brilla”
r= “𝑥 ∈ 𝐴 ↔ 𝑥 ∉ 𝐴”

1.2. Operadores Lógicos

Definición 8. Un operador lógico es un símbolo que permite formar proposiciones compuestas utilizando
proposiciones simples, pueden ser de 2 tipos: Unarios y Binarios.
Definición 9. Una tabla de verdad es una representación tabular del valor de verdad de una proposición
en todas sus posibles interpretaciones.
Notación. La tabla de verdad de una proposición "𝑛" se denota como "𝑉𝑛 ".
Observación. La cantidad de filas de una tabla de verdad es "2𝑛 " donde "𝑛" es la cantidad de proposiciones
simples.
Ejemplo.
p q (𝒑 ∧ 𝒒) p q (𝒑 ↔ 𝒒)
v v v v v v
𝑉(𝑝∧𝑞) : 𝑉𝑝↔𝑞 :
v f f v f f
f v f f v f
f f f f f v

Definición 10. El conectivo de negación es un operador lógico unario que permite cambiar el valor de
veracidad de una proposición dada.
Notación. La negación de una proposición “p” se denota como: “-p”, “¬p”, “~p” o “𝑝̅ ”.
Observación. En el lenguaje común la negación se lee como: Tabla de verdad de la negación
• No …
• No es verdad que … p ̅
𝒑
• Es falso que … v f
• No ocurre que … f v

Ejemplo.
p= “El niño juega con su pelota” -p= ”El niño no juega con su pelota”
q= “El océano es azul” -q= ”Es falso que el océano es azul”
Prof. Yordan Aguilar 8

Definición 11. El conectivo de conjunción es un operador lógico binario que conecta 2 proposiciones
mediante un “y” con la idea de formar una nueva proposición compuesta.

Notación. Sean “p” y “q” dos proposiciones simples, se denota la conjunción entre “p” y “q” como: “𝑝 ∧ 𝑞”.

Observación. En el lenguaje común la conjunción se lee como: Tabla de verdad de la conjunción

• …y…
p q (𝒑 ∧ 𝒒)
• … pero …
v v v
• … sin embargo, …
v f f
• … además …
f v f
• …, aunque …
f f f
• … puesto que …

Ejemplo.
p= “Los peces nadan” y q= ”El sol brilla” 𝑝 ∧ 𝑞= ”Los peces nadan y el sol brilla”
r= “Camila canta” y s= “Jonathan baila” 𝑟 ∧ 𝑠= “Camila canta y Jonathan baila”

Definición 12. El conectivo de disyunción es un operador lógico binario que conecta 2 proposiciones
mediante un “o” con la idea de formar una nueva proposición compuesta.

Notación. Sean “p” y “q” dos proposiciones simples, se denota la disyunción entre “p” y “q” como: “𝑝 ∨ 𝑞”.

Observación. En el lenguaje común la disyunción se lee como: Tabla de verdad de la disyunción

• …o…
p q (𝒑 ∨ 𝒒)
• O … o … o ambas cosas
v v v
• Como mínimo … o …
v f v
f v v
f f f
Ejemplo.
p= “Daniel es alto” y q= “Daniel es delgado” 𝑝 ∨ 𝑞= “Daniel es alto o delgado”
r= “Javiera usa polera” y s= “Javiera usa short” 𝑟 ∨ 𝑠= “O Javiera usa polera o short o ambas cosas”

Definición 13. El conectivo de disyunción exclusiva es un operador lógico binario que conecta 2
proposiciones mediante un “o” condicional con la idea de formar una nueva proposición compuesta.

Notación. Sean “p” y “q” dos proposiciones simples, se denota la disyunción exclusiva entre “p” y “q” como:
“𝑝 ⊻ 𝑞”.
Observación. En el lenguaje común la disyunción E. se lee como: Tabla de verdad de la disyunción E.
• 0…o…
p q (𝒑 ⊻ 𝒒)
• … o … pero no ambos
v v f
• O … o bien …
v f v
f v v
f f f
Ejemplo.
p= “Hace frío” y q= “Hace calor” p ⊻ q= ”O hace frio o hace calor”
r= “n es par” y s= “n es impar” r ⊻ s= “O n es par o bien es impar”
9

Definición 14. El conectivo de condición es un operador lógico binario que conecta 2 proposiciones
mediante un “entonces” con la idea de formar una nueva proposición compuesta.

Notación. Sean “p” y “q” dos proposiciones simples, se denota el condicional entre “p” y “q” como: “𝑝 → 𝑞”.
Observación. En el condicional “𝑝 → 𝑞", “p” recibe el nombre de antecedente y “q” recibe el nombre de
consecuente.
Observación. En el lenguaje común el condicional se lee como: Tabla de verdad del condicional
• Si … entonces …
• … porque … p q (𝒑 → 𝒒)
• … puesto que … v v v
• … cuando … v f f
• … cada vez que … f v v
• … implica … f f v

Ejemplo.
p= “Está lloviendo” y q= “Llevaré chaqueta” p→q= ”Si está lloviendo entonces llevaré chaqueta”
r= “Yo estudio” y s= “Pasaré el ramo” r→s= “Si yo estudio entonces pasaré el ramo”
Definición 15. El conectivo bicondicional es un operador lógico binario que conecta 2 proposiciones
mediante un “si y solo si” con la idea de formar una nueva proposición compuesta.

Notación. Sean “p” y “q” dos proposiciones simples, se denota el bicondicional entre “p” y “q” como la
proposición: “𝑝 ↔ 𝑞”.
Observación. En el lenguaje común el bicondicional se lee como: Tabla de verdad del bicondicional
• … si y solo si …
p q (𝒑 ↔ 𝒒)
• … es condición suficiente y necesaria de …
v v v
• Si … entonces … y recíprocamente.
v f f
• Si … entonces … y …. entonces …
f v f
f f v
Ejemplo.
p= “3+x=5” y q= “x=2” p ↔ q= ”3+x=5 si y solo si x=2”
r= “No me enfermaré” y s= “Me cuidaré” r ↔ s= “No me enfermaré si y solo si me cuido”
Es posible encontrar los valores de verdad de una proposición compuesta analizando tablas de verdad.
Ejemplo 1. Calcular la tabla de verdad de la siguiente proposición: "(𝑝 ∧ 𝑞) → 𝑞̅ ".
Desarrollo:
p q ̅
𝒒 (𝒑 ∧ 𝒒) (𝒑 ∧ 𝒒) → 𝒒
̅
v v f v f
v f v f v
f v f f v
f f v f v
Prof. Yordan Aguilar 10

Ejemplo 2. Sabiendo que la proposición "(𝑝 ∧ 𝑞̅ ) → (𝑟 → 𝑠̅)" es falsa, encontrar los valores de verdad de
las proposiciones “p”, “q”, “r” y “s”.
Desarrollo:
Dado que la proposición "(𝑝 ∧ 𝑞̅ ) → (𝑟 → 𝑠̅)" es un condicional con valor veritativo falso podemos
concluir que:
1) "(𝑝 ∧ 𝑞̅ )" es verdadero, lo que implica que “p” y “𝑞̅” son verdaderos, es decir, “p” es verdadero y “q”
es falso.
2) "(𝑟 → 𝑠̅)" es falso, lo que implica que “r” es verdadero y “𝑠̅” es falso, es decir, “r” es verdadero y “s”
es verdadero.
∴ De 1) y 2) se tiene que “p”, “r” y “s” son verdaderos y “q” es falso.
Ejercicio 1. Calcular la tabla de verdad de las siguientes proposiciones:
1) "(𝑝 ∧ 𝑟̅ ) ∨ (𝑞 ∧ 𝑟̅ )" 5) "(𝑝 → 𝑞) → 𝑟"
2) "𝑟̅ → (𝑝̅ ∨ 𝑞̅ )" 6) "¬(𝑝 ∧ 𝑞) → (𝑠 ∨ 𝑡)"
3) "(𝑝 ∧ 𝑞) ↔ (𝑟̅ → 𝑟)" 7) "~[(𝑝 ∨ 𝑞) ∧ 𝑟̅ ]"
4) "(𝑝̅ → 𝑞) ∧ (𝑝 → 𝑞̅ )" 8) " − (𝑝 ↔ 𝑞) ↔ 𝑟
Ejercicio 2. Encontrar el valor de verdad de cada proposición simple dada la condición general:
1) ̅̅̅̅̅̅̅̅̅
"[(𝑝 ∧ 𝑟) → (𝑞 → 𝑟] ∨ [(𝑝 ⊻ 𝑞) ∨ 𝑠]" es falso
2) " ∼ [(𝑝 ∨ 𝑞) → 𝑠] ∧ [𝑠 ↔ (𝑝 → 𝑞)]" es verdadero
3) "[(𝑟 ∧ 𝑟) → 𝑞] → [(𝑠 ∧ 𝑞) ∨ (𝑟 → 𝑝)]" es falso
4) "[𝑞 ∧ ̅̅̅̅̅̅̅̅̅
(𝑝 ∧ 𝑞)] → [(𝑝 → 𝑟) → (𝑟 ∨ 𝑠)]" es falso
Definición 16. Dos proposiciones se dicen equivalentes si y solo si tienen la misma tabla de verdad.

Notación. La equivalencia entre dos proposiciones compuestas se denota por "𝑝 ≡ 𝑞".
Ejemplo. Demostrar que las proposiciones “~(𝑝 ∧ 𝑞)” y “~𝑝 ∨∼ 𝑞” son equivalentes.
Desarrollo:
1) Calcular la tabla de verdad de la proposición “~(𝑝 ∧ 𝑞)”:

p q (𝒑 ∧ 𝒒) ~(𝒑 ∧ 𝒒)
v v v f
v f f v
f v f v
f f f v

2) Calcular la tabla de verdad de la proposición “~𝑝 ∨∼ 𝑞”:

p q ~𝒑 ~𝒒 ~𝒑 ∨ ~𝒒
v v f f f
v f f v v
f v v f v
f f v v v

∴ de 1) y 2) se tiene que “~(𝑝 ∧ 𝑞)” ≡ “~𝑝 ∨∼ 𝑞”.

11

Definición 17. Una proposición compuesta que es cierta para todos los valores de verdad de sus variables
se llama tautología.

Notación. Una proposición tautológica se denota con la letra "𝜏".

Ejemplo. Demostrar que la proposición “𝑝 ∧ (𝑝 ∨ 𝑞) ↔ 𝑝" es una tautología.
Desarrollo:
Para demostrar que la proposición “𝑝 ∧ (𝑝 ∨ 𝑞) ↔ 𝑝" es una tautología se debe formar su tabla de
verdad y llegar a una secuencia de valores verdaderos:
p q (𝒑 ∨ 𝒒) 𝒑 ∧ (𝒑 ∨ 𝒒) 𝒑 ∧ (𝒑 ∨ 𝒒) ↔ 𝒑
v v v v v
v f v v v
f v v f v
f f f f v

Como la proposición “𝑝 ∧ (𝑝 ∨ 𝑞) ↔ 𝑝" es verdadera para cualquier combinación de valores de verdad

de sus variables se demuestra que dicha proposición es una tautología.
Definición 18. Una proposición compuesta que es falsa para todos los valores de verdad de sus variables
se llama contradicción.

Notación. Una proposición contradictoria se denota por la letra "𝛼".

Ejemplo. Demostrar que la proposición "(𝑝 ∨ 𝑞) ↔ ~(𝑝 ∨ 𝑞)" es una contradicción.
Desarrollo:
Para demostrar que la proposición “(𝑝 ∨ 𝑞) ↔ ~(𝑝 ∨ 𝑞)" es una contradicción se debe formar su tabla
de verdad y llegar a una secuencia de valores falsos:
p q (𝒑 ∨ 𝒒) ~(𝒑 ∨ 𝒒) (𝒑 ∨ 𝒒) ↔ ~(𝒑 ∨ 𝒒)
v v v f f
v f v f f
f v v f f
f f f v f

Como la proposición "(𝑝 ∨ 𝑞) ↔ ~(𝑝 ∨ 𝑞)" es falsa para cualquier combinación de valores de verdad
de sus variables se demuestra que dicha proposición es una contradicción.
Definición 19. Una proposición compuesta que adquiere valores de verdad verdaderos y falsos para
diferentes combinaciones de valores de veracidad de sus variables se llama contingencia.

Ejemplo. Demostrar que la proposición “𝑝 → 𝑞" es una contingencia.

Desarrollo:
Se debe construir la tabla de verdad de la proposición y analizar sus valores de verdad:
p q (𝒑 → 𝒒)
v v v
v f f
f v v
f f v
Prof. Yordan Aguilar 12

Como la proposición "𝑝 → 𝑞" presenta diferentes combinaciones de valores de verdad se demuestra que
dicha proposición es una contingencia.
Es posible transformar el lenguaje natural a lenguaje proposicional mediante un proceso llamado
formalización proposicional, para esto se requiere definir las variables y transformar a proposición.
Se debe aclarar que, dependiendo de cómo se definen las proposiciones, es posible formalizar una oración
de muchas formas.
Ejemplo 1. Transformar la oración “Si ordeno mi pieza y estudio para mi prueba podré ir al cine”.
Desarrollo:
1) Se deben definir las proposiciones simples:
p= “Ordeno mi pieza” q= “Estudio para mi prueba” r= ”Iré al cine”
2) Definidas las variables se procede a formalizar la oración:
“Ordeno mi pieza y estudio para mi prueba” = 𝑝 ∧ 𝑞
“Iré al cine” = 𝑟
“Si ordeno mi pieza y estudio para mi prueba podré ir al cine” = (𝑝 ∧ 𝑞) → 𝑟
Ejemplo 2. Dadas las proposiciones p= “Me quedo en casa”, q= “Me lavo las manos”, r= “Uso mascarilla” y
s= “No me enfermare de Covid-19” transformar la proposición “(𝑝 ∧ 𝑞) ∧ 𝑟 → 𝑠” a lenguaje simbólico.
Desarrollo:
“(𝑝 ∧ 𝑞) ∧ 𝑟” = Me quedo en casa, me lavo las manos y uso mascarilla.
“𝑠” = No me enfermaré de Covid-19.
“(𝑝 ∧ 𝑞) ∧ 𝑟 → 𝑠” = Si me quedo en casa, me lavo las manos y uso mascarilla entonces no me enfermaré
de Covid-19.

1.3. Equivalencias Lógicas y Argumentos Matemáticos

Definición 20. Las equivalencias lógicas son leyes proposicionales que resultan de una previa
demostración matemática, dicha demostración hecha por una tabla de verdad, siempre concluye en una
tautología.

Ejemplo. Demostrar que "~(~𝑝) ≡ 𝑝" es una equivalencia lógica.

Desarrollo:
Para demostrar que la proposición "~(~𝑝) ≡ 𝑝" es una equivalencia lógica se debe formar su tabla de
verdad y probar que se llega a una tautología:

p ~𝒑 ~(~𝒑) ~(~𝒑) ↔ 𝒑
v f v v
f v f v

∴ la proposición "~(~𝑝) ≡ 𝑝" es una equivalencia lógica, esto quiere decir que la proposición "~(~𝑝)"
puede ser reemplazada por "𝑝" sin formar contradicción alguna.
13

Las principales equivalencias lógicas son:

• Involución: "𝑝 ≡ ~(~𝑝)" • Leyes de absorción: "𝑝 ∧ (𝑝 ∨ 𝑞) ≡ 𝑝"
"𝑝 ∨ (𝑝 ∧ 𝑞) ≡ 𝑝"
• Idempotencia: "𝑝 ∨ 𝑝 ≡ 𝑝"
"𝑝 ∧ (∼ 𝑝 ∨ 𝑞) ≡ (𝑝 ∧ 𝑞)"
"𝑝 ∧ 𝑝 ≡ 𝑝"
"𝑝 ∨ (∼ 𝑝 ∧ 𝑞) ≡ (𝑝 ∨ 𝑞)"
• Conmutativas: "𝑝 ∧ 𝑞 ≡ 𝑞 ∧ 𝑝"
• Elemento neutro: "(𝑝 ∧ 𝛼) ≡ 𝛼"
"𝑝 ∨ 𝑞 ≡ 𝑞 ∨ 𝑝"
"(𝑝 ∨ 𝜏) ≡ 𝜏"
"𝑝 ↔ 𝑞 ≡ 𝑞 ↔ 𝑝"
• Tercio excluido: "(𝑝 ∨∼ 𝑝) ≡ 𝜏"
• Asociativas: "(𝑝 ∧ 𝑞) ∧ 𝑟 ≡ 𝑝 ∧ (𝑞 ∧ 𝑟)" "(𝑝 ∧∼ 𝑝) ≡ 𝛼"
"(𝑝 ∨ 𝑞) ∨ 𝑟 ≡ 𝑝 ∨ (𝑞 ∨ 𝑟)"
• Ley de exportación: "(𝑝 ∧ 𝑞) → 𝑟 ≡ 𝑝 → (𝑞 → 𝑟)"
• Distributivas: "𝑝 ∨ (𝑞 ∧ 𝑟) ≡ (𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)"
"𝑝 ∧ (𝑞 ∨ 𝑟) ≡ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)" • Formas normales: "𝜏 ∧ 𝑝 ≡ 𝑝"
"𝛼 ∨ 𝑝 ≡ 𝑝"
• Leyes de Morgan: "~(𝑝 ∧ 𝑞) ≡∼ 𝑝 ∨∼ 𝑞"
" ∼ (𝑝 ∨ 𝑞) ≡∼ 𝑝 ∧∼ 𝑞" • Ley del bicondicional: "𝑝 ↔ 𝑞 ≡ (𝑝 → 𝑞) ∧ (𝑞 → 𝑝)"

• Leyes del condicional: "𝑝 → 𝑞 ≡∼ 𝑝 ∨ 𝑞" • Leyes de transposición: "𝑝 → 𝑞 ≡∼ 𝑞 →∼ 𝑝"

" ∼ (𝑝 → 𝑞) ≡ 𝑝 ∧∼ 𝑞" "𝑝 ↔ 𝑞 ≡ ~𝑞 ↔ ~𝑝"

Las leyes de inferencia son muy útiles para simplificar proposiciones compuestas y obtener su tabla de
verdad de una forma más rápida, este proceso consiste en ir identificando las diferentes equivalencias
lógicas y utilizándolas para reducir la expresión.
Ejemplo. Simplificar la siguiente proposición: "[(~𝑝 ∧ 𝑞) → (𝑠 ∧∼ 𝑠)] ∧∼ 𝑞".
Desarrollo:
"[(~𝑝 ∧ 𝑞) → (𝑠 ∧∼ 𝑠)] ∧∼ 𝑞" (𝑠 ∧∼ 𝑠) ≡ 𝛼
"[(~𝑝 ∧ 𝑞) → 𝛼] ∧∼ 𝑞" (~𝑝 ∧ 𝑞) → 𝛼 ≡ ~(~𝑝 ∧ 𝑞) ∨ 𝛼 ≡ (𝑝 ∨∼ 𝑞) ∨ 𝛼
"[(𝑝 ∨∼ 𝑞) ∨ 𝛼] ∧∼ 𝑞" (𝑝 ∨∼ 𝑞) ∨ 𝛼 ≡ (𝑝 ∨ 𝛼) ∨∼ 𝑞 ≡ 𝑝 ∨∼ 𝑞
"(𝑝 ∨∼ 𝑞) ∧∼ 𝑞" (𝑝 ∨∼ 𝑞) ∧∼ 𝑞 ≡∼ 𝑞 ∧ (𝑝 ∨∼ 𝑞) ≡∼ 𝑞 ∧ (∼ 𝑞 ∨ 𝑝) ≡∼ 𝑞
" ∼ 𝒒"
∴ podemos asegurar que la proposición "[(~𝑝 ∧ 𝑞) → (𝑠 ∧∼ 𝑠)] ∧∼ 𝑞" es equivalente a la proposición
" ∼ 𝑞", es decir, ambas proposiciones tienen la misma tabla de veracidad.
Ejercicio. Reducir las siguientes proposiciones utilizando equivalencias lógicas:
1) " ∼ [∼ 𝑝 ∨∼ (∼ 𝑞)] ∧∼ (∼ 𝑝)" 5) "(∼ 𝑝 → 𝑞) ∧ (𝑝 ∨∼ 𝑞)"
2) " ∼ [(𝑝 → 𝑞) ∧∼ 𝑞]" 6) " ∼ (𝑝 ∧ 𝑞) ∧ (𝑝 → 𝑞)"
3) " ∼ [(𝑝 →∼ 𝑞) ∨ 𝑞]" 7) "[(𝑝 ∧∼ 𝑞) ∨ (𝑝 ∧ 𝑞)] → (∼ 𝑝 ∧∼ 𝑞)"
4) "𝑞 ∧ (∼ 𝑝 →∼ 𝑞)" 8) "[𝑞 ∧ (𝑞 →∼ 𝑝)] →∼ (𝑝 ∧ 𝑞)"

En lógica matemática es muy común intentar demostrar tautologías utilizando tablas de verdad, sin
embargo, muchas veces este trabajo es arduo y complejo, es por esto que se han desarrollado otros métodos
que nos permiten demostrar tautologías sin necesidad de acudir a dichas tablas, los principales métodos
para hacerlo son la verificación simbólica y la demostración exploratoria.
Prof. Yordan Aguilar 14

Definición 21. La verificación simbólica es un método que nos permite demostrar que una proposición es
una tautología, esta táctica consiste en tomar un lado de la equivalencia y llegar al otro lado utilizando
equivalencias lógicas.

Observación. Si después de una serie de pasos lógicos no es posible llegar al otro lado de la equivalencia
se asume que la proposición no es una tautología.

Ejemplo. Demostrar que la proposición "(𝑝 ↔ 𝑞) ↔ [(𝑝̅ ∧ 𝑞̅ ) ∨ (𝑝 ∧ 𝑞)]" es una tautología por método de
la verificación simbólica.
Desarrollo:
Para demostrar que la proposición "(𝑝 ↔ 𝑞) ↔ [(𝑝̅ ∧ 𝑞̅ ) ∨ (𝑝 ∧ 𝑞)]" se debe tomar un lado y llegar al
otro mediante equivalencias lógicas:
"(𝑝 ↔ 𝑞) ≡ (𝑝 → 𝑞) ∧ (𝑞 → 𝑝)"
"(𝑝 → 𝑞) ∧ (𝑞 → 𝑝) ≡ (𝑝̅ ∨ 𝑞) ∧ (𝑞̅ ∨ 𝑝)"
"(𝑝̅ ∨ 𝑞) ∧ (𝑞̅ ∨ 𝑝) ≡ [(𝑝̅ ∨ 𝑞) ∧ 𝑞̅ ] ∨ [(𝑝̅ ∨ 𝑞) ∧ 𝑝]"
"[(𝑝̅ ∨ 𝑞) ∧ 𝑞̅ ] ∨ [(𝑝̅ ∨ 𝑞) ∧ 𝑝] ≡ [𝑞̅ ∧ (𝑞 ∨ 𝑝̅ )] ∨ [𝑝 ∧ (𝑝̅ ∨ 𝑞)]"
"[𝑞̅ ∧ (𝑞 ∨ 𝑝̅ )] ∨ [𝑝 ∧ (𝑝̅ ∨ 𝑞)] ≡ (𝑞̅ ∧ 𝑝̅ ) ∨ (𝑝 ∧ 𝑞)"
∴ hemos demostrado que "(𝑝 ↔ 𝑞) ↔ [(𝑝̅ ∧ 𝑞̅ ) ∨ (𝑝 ∧ 𝑞)]" es una tautología.
Definición 22. La demostración exploratoria es un método que nos permite demostrar que cierta
proposición es una tautología, esta táctica consiste asumir que un lado de la proposición es verdadero y
desde ahí, demostrar que el otro también lo es.

Observación. A veces es útil reducir el lado que se tomará como verdadero, ya que si no se hace es posible
que sea necesario demostrar muchas posibilidades de valores de verdad y esto dificultaría la demostración.

Ejemplo. Demostrar que la proposición "[(𝑝 → 𝑞) ∧ 𝑝] → 𝑞" es una tautología por método de la
demostración exploratoria.
Desarrollo:
Para demostrar que la proposición "[(𝑝 → 𝑞) ∧ 𝑝] → 𝑞" es una tautología se debe asumir que el
antecedente, es decir, "[(𝑝 → 𝑞) ∧ 𝑝]", es verdadero, y de ahí, concluir que necesariamente "𝑞" también
lo es:
Como "(𝑝 → 𝑞) ∧ 𝑝" es una conjunción verdadera se asume que tanto "𝑝 → 𝑞" como "𝑝" son verdaderos.
Puesto que "𝑝" es verdadera, la implicación "𝑝 → 𝑞" se puede entender como "𝜏 → 𝑞" y como esta
condicional es verdadera se asume que necesariamente "𝑞" debe ser verdadera, ya que si fuese falsa el
condicional seria falso y esto formaría una contradicción con nuestra hipótesis principal.
∴ hemos demostrado que la proposición "[(𝑝 → 𝑞) ∧ 𝑝] → 𝑞" es una tautología.

Ejercicio. Demostrar que las siguientes proposiciones son tautologías:

1) "[(𝑝̅ ∨ 𝑞) ∧ 𝑞̅ ] → 𝑝̅ " 5) "[(𝑝 ∨ 𝑞) ∧ 𝑝̅ ] ↔ (𝑝̅ ∧ 𝑞)"
2) "[(𝑟 → 𝑡̅) ∧ 𝑠 ∧ (𝑠 → 𝑟)] → 𝑡̅ " 6) ̅̅̅̅̅̅̅̅̅
"[(𝑝 ∨ 𝑞) ∨ (𝑝̅ ∧ 𝑞)] ↔ 𝑝̅ "
3) "[(𝑝 → 𝑞̅ ) ∧ (𝑟̅ → 𝑝) ∧ 𝑞] → 𝑟" 7) "[𝑝 → (𝑞 ∧ 𝑟)] ↔ [(𝑝 → 𝑞) ∧ (𝑝 → 𝑟]"
4) "[(𝑝 → 𝑞) ∧ (𝑞 → 𝑟)] → (𝑝 → 𝑟)" 8) "𝑝 ∨ [𝑝 ∧ (𝑝 ∨ 𝑞)] ↔ 𝑝"
15

Definición 23. Un argumento lógico (o simplemente argumento) es un condicional de la forma:

"(𝑝1 ∧ 𝑝2 ∧ 𝑝3 ∧ … ∧ 𝑝𝑖 ) → 𝑞"
Donde las proposiciones "(𝑝1 ∧ 𝑝2 ∧ 𝑝3 ∧ … ∧ 𝑝𝑖 " llamadas premisas originan como consecuencia otra
proposición "𝑞" llamada conclusión.

Observación. Un argumento se dice válido si y solo si el condicional "(𝑝1 ∧ 𝑝2 ∧ 𝑝3 ∧ … ∧ 𝑝𝑖 ) → 𝑞" es una

tautología, en caso contrario el argumento se dice no válido o falacia.

Notación. Un argumento "(𝑝1 ∧ 𝑝2 ∧ 𝑝3 ∧ … ∧ 𝑝𝑖 ) → 𝑞" también se denota como:

𝑝1
………
𝑝𝑖
∴ 𝑞
Observación. La validez de un argumento lógico se puede analizar mediante tablas de verdad, verificación
simbólica o demostraciones exploratorias.

Ejemplo 1. Demostrar que el argumento "[𝑝 ∧ (𝑝 → 𝑞)] → 𝑞" es un argumento válido.

Desarrollo:
Para demostrar que el argumento "[𝑝 ∧ (𝑝 → 𝑞)] → 𝑞" es válido se debe construir su tabla de verdad y
probar que se llega a una tautología:

p 𝒒 𝒑→𝒒 𝒑 ∧ (𝒑 → 𝒒) [𝒑 ∧ (𝒑 → 𝒒)] → 𝒒
v v v v v
v f f f v
f v v f v
f f v f v

∴ queda enteramente demostrada la validez del argumento "[𝑝 ∧ (𝑝 → 𝑞)] → 𝑞".

Ejemplo 2. Analizar la validez del siguiente argumento:
“Si Juana no grita, sus hijos no le obedecen. Si los hijos de Juana no le obedecen, entonces, Juana se enoja.
Juana no está gritando. Por lo tanto, Juana está enojada”.
Desarrollo:
1) Primero debemos transformar la frase en argumento: "[(𝑝̅ → 𝑞̅ ) ∧ (𝑞̅ → 𝑟) ∧ 𝑝̅ ] → 𝑟".
2) Analizar la validez del argumento utilizando equivalencias lógicas:
"[(𝑝̅ → 𝑞̅ ) ∧ (𝑞̅ → 𝑟) ∧ 𝑝̅ ] → 𝑟"
"[(𝑝 ∨ 𝑞̅ ) ∧ (𝑞 ∨ 𝑟) ∧ 𝑝̅ ] → 𝑟"
"[𝑝̅ ∧ (𝑝 ∨ 𝑞̅ ) ∧ (𝑞 ∨ 𝑟)] → 𝑟"
"[(𝑝̅ ∧ 𝑞̅ ) ∧ (𝑞 ∨ 𝑟)] → 𝑟"
̅ ∧ {𝑞̅ ∧ (𝑞 ∨ 𝑟)}] → 𝑟"
"[𝑝
"[𝑝̅ ∧ 𝑞̅ ∧ 𝑟] → 𝑟"
"𝑝 ∨ 𝑞 ∨ 𝑟̅ ∨ 𝑟"
"(𝑝 ∨ 𝑞) ∨ 𝜏"
Prof. Yordan Aguilar 16

"𝜏"
∴ hemos demostrado que el argumento "[(𝑝̅ → 𝑞̅ ) ∧ (𝑞̅ → 𝑟) ∧ 𝑝̅ ] → 𝑟" es válido.

Definición 24. Las leyes de inferencia son leyes de los argumentos que resultan de una previa
demostración matemática, dicha demostración, hecha por una tabla de verdad, siempre concluye en una
tautología.

Las principales leyes de inferencia son:

• Modus ponens: p • Regla de simplificación: 𝑝 ∧ 𝑞
𝑝→𝑞 ∴𝑝
∴𝑞
• Regla de amplificación: 𝑝
• Modus tollens: 𝑝→𝑞
∴𝑝∧𝑞
~𝑞
∴ ~𝑝 • Dilema constructivo: 𝑝→𝑞
𝑟→𝑠
• Silogismo hip: 𝑝→𝑞 𝑝∨𝑟
𝑞→𝑟 ∴ 𝑞∨𝑠
∴𝑝→𝑟
• Dilema destructivo: 𝑝→𝑞
• Silogismo disy: 𝑝∨𝑞 𝑟→𝑠
∼𝑝 ∼ 𝑞 ∨∼ 𝑠
∴𝑞 ∴ ∼ 𝑝 ∨∼ 𝑟

Es posible determinar la validez de un argumento utilizando las leyes de inferencia antes vistas, este
procedimiento consiste en ir generando nuevas premisas utilizando las que hay hasta llegar a la conclusión.
Ejemplo. Demostrar la validez del siguiente argumento utilizando leyes de inferencia:
"{[𝑝 ∨ (𝑞 ∨ 𝑟)] ∧ (𝑞 → 𝑠) ∧ (𝑟 → 𝑡) ∧ [(𝑠 ∨ 𝑡) → (𝑝 ∨ 𝑟)] ∧ 𝑝̅ } → 𝑟"
Desarrollo:
𝑝 ∨ (𝑞 ∨ 𝑟) 𝑆𝑖𝑙𝑜𝑔𝑖𝑠𝑚𝑜 𝑑𝑖𝑠𝑦 {[𝑝 ∨ (𝑞 ∨ 𝑟)] ∧∼ 𝑝} → (𝒒 ∨ 𝒓)
𝑞→𝑠 Dilema constructivo {(𝑞 → 𝑠) ∧ (𝑟 → 𝑡) ∧ (𝑞 ∨ 𝑟)} → (𝒔 ∨ 𝒕)
𝑟→𝑡 Modus ponens {[(𝑠 ∨ 𝑡) → (𝑝 ∨ 𝑟)] ∧ (𝑠 ∨ 𝑡)} → (𝒑 ∨ 𝒓)
(𝑠 ∨ 𝑡) → (𝑝 ∨ 𝑟) Silogismo disy {(𝑝 ∨ 𝑟) ∧∼ 𝑝} → 𝒓
∼𝑝
∴𝑟
∴ queda enteramente demostrada la validez del argumento.

Ejercicio. Analizar la validez de los siguientes argumentos:

1) "[(𝑝 → 𝑞) ∧∼ (𝑝 →∼ 𝑟)] →∼ (𝑟 →∼ 𝑞)" 5) "[𝑝 ∧ (𝑝 →∼ 𝑞) ∧ (∼ 𝑞 →∼ 𝑟)] → (∼ 𝑟)"
2) "[(𝑞 → 𝑝) ∧ (∼ 𝑝) ∧ (∼ 𝑠)] →∼ (𝑞 ∨ 𝑠)" 6) "{[𝑝 → (𝑞 → 𝑟] ∧ 𝑝 ∧ (∼ 𝑟)} → (∼ 𝑞)"
3) "[(𝑞 → 𝑝) ∧ (𝑞 ∨ 𝑠) ∧ (∼ 𝑠)] → 𝑝" 7) "[(𝑝 → 𝑞) ∧ (𝑝 →∼ 𝑞) ∧ (∼ 𝑞)] → (∼ 𝑝)"
4) "[(𝑝 ∧ 𝑞) ∧ (∼ 𝑝 → 𝑞)] → (∼ 𝑞)" 8) "[(𝑝 ↔ 𝑞) ∧ (𝑝 ∨ 𝑞)] → (𝑝 ∧ 𝑞)"
17

1.4. Árboles y Circuitos Lógicos

Definición 25. Un árbol lógico o semántico es una estructura gráfica que nos ayuda a representar una
proposición de forma visual, es especialmente útil para determinar la validez de proposiciones compuestas.

Observación. La construcción de los árboles semánticos se rige por las siguientes reglas:

𝒑∧𝒒 𝒑∨𝒒 𝒑→𝒒 𝒑↔𝒒 ~(~𝒑)

𝑝 𝑝 𝑞 -𝑝 𝑞 𝑝 -𝑝 𝑝
𝑞 𝑞 -𝑞

~(𝒑 ∧ 𝒒) ∼ (𝒑 ∨ 𝒒) ∼ (𝒑 → 𝒒) ∼ (𝒑 ↔ 𝒒)

-𝑝 -𝑞 -𝑝 𝑝 𝑝 -𝑝
-𝑞 -𝑞 -𝑞 𝑞

Observación. La estructura de los árboles de verdad está asociada directamente a los valores donde las
proposiciones son verdaderas.

Observación. Si dentro de la rama de un árbol semántico se encuentra una proposición "𝑝" y su negación
" − 𝑝", entonces la rama se dice cerrada y se simboliza por " + ", en caso contrario, si no se encuentran
contradicciones la rama se dice abierta y se simboliza por " ○ ".

Ejemplo. Determinar el árbol semántico de la proposición " − {[𝑝 ∧ (𝑝 → 𝑞)] → 𝑞}":

Desarrollo:
−{[𝑝 ∧ (𝑝 → 𝑞)] → 𝑞}

𝑝 ∧ (𝑝 → 𝑞)
−𝑞

𝑝
𝑝→𝑞

−𝑝 𝑞
+ +

Observación. Para hacer la diferencia entre tautología, contradicción y contingencia utilizando árboles
semánticos se utilizan los siguientes criterios:

• Si todas las ramas del árbol se cierran, entonces la proposición es una contradicción.
• Si todas las ramas del árbol de la negación de una proposición se cierran, entonces la proposición
inicial es una tautología.
• Si la proposición no cumple las reglas de la contradicción y la tautología, entonces es una
contingencia.
Prof. Yordan Aguilar 18

Ejercicio. Utilizando árboles semánticos, analice si las siguientes proposiciones son tautología,
contradicción o contingencia:
1) "[(𝑝 → 𝑞) ∧ 𝑟 ∧ (𝑠 ∨ 𝑝)] → 𝑞" 5) "(𝑝 → 𝑞) ∧ −(−𝑞 → −𝑝)"
2) "[(−𝑝 → −𝑞) ∧ (−𝑞 → 𝑟) ∧ −𝑝] → 𝑟" 6) "[(𝑝 → 𝑞) ∧ −𝑞] → −𝑝"
3) "(𝑝 ∨ 𝑞) ↔ (−𝑝 ∧ −𝑞)" 7) " − [(𝑞 ∨ 𝑟) → 𝑟] ∧ [𝑞 → (𝑝 ∨ 𝑟)]"
4) "[𝑝 → (𝑞 → 𝑟)] → [(𝑝 ∨ 𝑞) → 𝑟]" 8) "[𝑝 ∧ (𝑝 ∨ 𝑞)] ↔ 𝑝"

Definición 26. Un circuito simbólico es una estructura visual que permite analizar gráficamente una
proposición compuesta, existen 3 tipos de circuitos:

𝑬𝒏 𝒔𝒆𝒓𝒊𝒆 𝑬𝒏 𝒑𝒂𝒓𝒂𝒍𝒆𝒍𝒐 𝑴𝒊𝒙𝒕𝒐

p p

p q
q
q
r

Observación. Los circuitos simbólicos se traducen utilizando las siguientes reglas:

• Si dos o más proposiciones se encuentran en serie, la lectura se lleva a cabo con una conjunción
lógica.
• Si dos o más proposiciones se encuentran en paralelo, la lectura se lleva a cabo con una disyunción
lógica.
• Si tres o más proposiciones se encuentran en un circuito mixto, se va traduciendo por partes
utilizando las reglas antes nombradas.

Ejemplo. Transforme el siguiente circuito simbólico a proposición:

q r

p s

u
Desarrollo:

q r Traducción del circuito

• 𝑝
p s • 𝑞∧𝑟
• 𝑠 ∨ (𝑡 ∨ 𝑢)
t • (𝑞 ∧ 𝑟) ∨ [𝑠 ∨ (𝑡 ∨ 𝑢)]
• 𝑝 ∧ {[(𝑞 ∧ 𝑟) ∨ [𝑠 ∨ (𝑡 ∨ 𝑢)]}
u

∴ la traducción del circuito es "𝑝 ∧ {[(𝑞 ∧ 𝑟) ∨ [𝑠 ∨ (𝑡 ∨ 𝑢)]}".

19

Es posible simplificar la estructura de los circuitos simbólicos utilizando equivalencias lógicas, para esto se
necesita transformar el circuito a proposición, reducirlo con ayuda de las leyes proposicionales y volver a
transformarlo en circuito.
Ejemplo. Reducir el siguiente circuito simbólico:

-p q

q
-q
p

p
Desarrollo:
1) Transformar el circuito a proposición:
• 𝑝
• (−𝑝 ∧ 𝑞) ∨ 𝑞
• −𝑞 ∨ 𝑝
• [(−𝑝 ∧ 𝑞) ∨ 𝑞] ∨ (−𝑞 ∨ 𝑝)
• 𝑝 ∧ {[(−𝑝 ∧ 𝑞) ∨ 𝑞] ∨ (−𝑞 ∨ 𝑝)}
∴ la traducción del circuito es "𝑝 ∧ {[(−𝑝 ∧ 𝑞) ∨ 𝑞] ∨ (−𝑞 ∨ 𝑝)}".
2) Reducir el circuito utilizando equivalencias lógicas:
• 𝑝 ∧ {[(−𝑝 ∧ 𝑞) ∨ 𝑞] ∨ (−𝑞 ∨ 𝑝)}
• 𝑝 ∧ {𝑞 ∨ −𝑞 ∨ 𝑝}
• 𝑝 ∧ {𝜏 ∨ 𝑝}
• 𝑝∧𝜏
• 𝑝
∴ la proposición "𝑝 ∧ {[(−𝑝 ∧ 𝑞) ∨ 𝑞] ∨ (−𝑞 ∨ 𝑝)}" es equivalente a "𝑝".
3) Transformar la proposición simplificada a circuito:

p
∴ de 1), 2) y 3) tenemos que el circuito se reduce a la proposición "𝑝".

Ejercicio 1. Reducir los siguientes circuitos utilizando equivalencias lógicas:

1) 𝑝̅ 𝑞̅ p 3) p

p 𝑟̅ 𝑝̅
𝑞
q q 𝑝̅
𝑞̅ 𝑝̅
p q p q
2) 4)
𝑝̅ 𝑞̅ p
𝑝̅
q 𝑞̅
𝑞̅
Prof. Yordan Aguilar 20

1.5. Función Proposicional

Definición 27. Una función proposicional, proposición abierta o forma proposicional es un enunciado que
contiene una o más variables que al ser sustituidas por algún valor se transforman en proposición con un
valor de verdad determinado.

Ejemplo.
𝑝 = "𝑥 + 3 = 5" Si sustituimos 𝑥 = 2 la proposición es verdadera
Si sustituimos 𝑥 = 7 la proposición es falsa
𝑞 = "É𝑙 𝑗𝑢𝑒𝑔𝑎 𝑐𝑜𝑛 𝑙𝑎 𝑝𝑒𝑙𝑜𝑡𝑎" Si sustituimos "É𝑙" por “Daniel” la proposición puede ser verdadera
Si sustituimos "É𝑙" por "𝐶𝑎𝑠𝑎" la proposición pierde sentido y es falsa
𝑟 = "𝑥 + 𝑦 = 10" Si sustituimos (𝑥, 𝑦) = (6,4) la proposición es verdadera
Si sustituimos (𝑥, 𝑦) = (12,5) la proposición es falsa

Observación. Algunos elementos importantes de las formas proposicionales son:

• Universo proposicional: Es el conjunto de valores que se puede asignar a las variables.

• Variables: Son aquellos elementos en una afirmación que pueden cambiar su valor, generalmente
están asociados a letras o pronombres.
• Constantes: Son aquellos elementos fijados de antemano que carecen de la habilidad de variar.
• Conjunto verdad: Es el conjunto de valores del universo proposicional que, al ser sustituidos en las
variables, hacen a la proposición verdadera.

Notación. Las formas proposicionales se pueden representar como 𝑝𝑥 o 𝑝(𝑥) y el conjunto verdad se
acostumbra a denotar como {𝑥 / 𝑝(𝑥)}.

Ejemplo.

𝑝𝑥 = "𝑥 2 + 2 = 18" {𝑥 ∈ ℛ/𝑥 = 4 ∧ 𝑥 = −4}

𝑞(𝑥,𝑦) = "𝑥 + 𝑦 = 4" {𝑥, 𝑦 ∈ ℛ/𝑥 = 4 − 𝑦}
𝑟É𝑙 = "É𝑙 𝑒𝑠 𝑢𝑛 𝑚ú𝑠𝑖𝑐𝑜 𝑓𝑎𝑚𝑜𝑠𝑜" {É𝑙/É𝑙 = 𝑀𝑜𝑧𝑎𝑟𝑡, 𝐵𝑒𝑒𝑡ℎ𝑜𝑤𝑒𝑒𝑛, 𝐶ℎ𝑜𝑝𝑖𝑛, … }

Definición 28. Un cuantificador lógico es un símbolo que permite establecer cuantos elementos de un
conjunto cumplen con una determinada propiedad.

Los principales cuantificadores son:

• Universal: Se utiliza para afirmar que todos los elementos de un conjunto cumplen con una condición
o propiedad determinada.
Se representa con el símbolo "∀" y se lee “Para todo…”, “Para cualquier…”, “Para cada …”, etc.

• Existencial: Se utiliza para indicar que existen uno o más elementos de un conjunto que cumplen con
una condición o propiedad determinada.
Se representa con el símbolo "∃" y se lee “Existe algún…”, “Algunos…”, “Existe al menos un…”, etc.
21

• Existencial único: Se utiliza para indicar que existe exactamente un elemento de un conjunto que
cumple una condición determinada.
Se representa por el símbolo "∃! " y se lee “Existe un único…”, “Solo un…”, “A lo más un…”, etc.

Ejemplo.

"∀𝑥 ∈ ℛ / 𝑥 ≥ 5 // 𝑥 − 3 ≥ 2" “Todas las personas vivas del mundo pueden respirar”
"∃𝑥 ∈ ℤ / 𝑥 2 + 2 = 6" “Algunos animales pueden volar”
"∃! 𝑥 ∈ ℛ / 𝑥 − 9 = 12" “La tierra tiene una única luna”

Es posible negar los cuantificadores lógicos realizando ciertos cambios en su estructura, para esto se siguen
las siguientes reglas:

• La negación del cuantificador "∀𝑥 / 𝑝𝑥 " es equivalente a "∃𝑥 / ~𝑝𝑥 ".

• La negación del cuantificador "∃𝑥 / 𝑝𝑥 " es equivalente a "∀𝑥 / ~𝑝𝑥 ".
• La negación del cuantificador "∃! 𝑥 / 𝑝𝑥 " es equivalente a "∀𝑥 / ~𝑝𝑥 ".

Ejemplo.

~[∀𝑥 ∈ ℛ // (𝑥 > 6 → 𝑥 − 1 > 5)] ≡ ∃𝑥 ∈ ℛ / ~(𝑥 > 6 → 𝑥 − 1 > 5)

~[∃𝑥 ∈ ℛ / 𝑥 + 3 = 10] ≡ ∀𝑥 ∈ ℛ // ~(𝑥 + 3 = 10)
~[∃! 𝑥 ∈ ℕ / 5 − 𝑥 = 2] ≡ ∀𝑥 ∈ ℕ // ~(5 − 𝑥 = 2)

Ejercicio. Dado el conjunto 𝐴 = {1, 2, 3, 4, 5, 6}, determine la veracidad de las siguientes formas
proposicionales:

1) "~{∀𝑥 ∈ 𝐴 // (𝑥 + 2 > 3)}" 5) "∃! 𝑥 ∈ ℚ / ∀𝑦 ∈ 𝐴 // 2𝑦 + 𝑥 = 5,5"

2) "∃𝑥 ∈ 𝐴 / ∀𝑦 ∈ ℕ // 𝑥 + 𝑦 ≥ 5" 6) "∃𝑥 ∈ 𝐴 / 5𝑥 > −2"
3) "∃! 𝑥 ∈ 𝐴 / 𝑥 + 9 = 15" 7) "(∀𝑥 ∈ 𝐴)(∃! 𝑦 ∈ ℂ) / 𝑥 − 𝑦 = 𝑖"
4) "(∀𝑥 ∈ 𝐴)(∃𝑦 ∈ 𝐴) / 𝑥 + 𝑦 > 6" 8) "(∃𝑥 ∈ ℤ)(∃! 𝑦 ∈ ℕ) / ∀𝑧 ∈ 𝐴 // 𝑥 + 𝑦 + 𝑧 = 0"

Dada una oración en lenguaje natural es posible transformarla a proposición utilizando cuantificadores
lógicos, para esto se deben ir identificando las proposiciones que conforman la oración y sus respectivos
cuantificadores matemáticos.

Ejemplo. Formalizar la siguiente oración utilizando lenguaje simbólico y cuantificadores lógicos:

"𝐸𝑥𝑖𝑠𝑡𝑒 𝑎𝑙 𝑚𝑒𝑛𝑜𝑠 𝑢𝑛 𝑛𝑢́ 𝑚𝑒𝑟𝑜 𝑒𝑛𝑡𝑒𝑟𝑜, 𝑐𝑢𝑦𝑎 𝑟𝑎𝑖́𝑧 𝑐𝑢𝑎𝑑𝑟𝑎𝑑𝑎 𝑒𝑠 𝑢𝑛 𝑛𝑢́ 𝑚𝑒𝑟𝑜 𝑖𝑟𝑟𝑎𝑐𝑖𝑜𝑛𝑎𝑙"

Respuesta: "∃𝑥 ∈ ℤ / √𝑥 = 𝑎 ∈ 𝐼"

Ejercicio. Formalizar las siguientes oraciones utilizando lenguaje simbólico y cuantificadores lógicos:
1) “𝐿𝑜𝑠 𝑣𝑎𝑙𝑜𝑟𝑒𝑠 𝑑𝑒 𝑙𝑎 𝑓𝑢𝑛𝑐𝑖𝑜́ 𝑛 𝑓(𝑥) = 𝑠𝑒𝑛(𝑥) 𝑠𝑖𝑒𝑚𝑝𝑟𝑒 𝑜𝑠𝑐𝑖𝑙𝑎𝑛 𝑒𝑛𝑡𝑟𝑒 1 𝑦 − 1"
2) "𝐸𝑥𝑖𝑠𝑡𝑒 𝑢𝑛𝑎 𝑓𝑢𝑛𝑐𝑖𝑜́ 𝑛 "𝑓" 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑝𝑎𝑟𝑎 𝑐𝑢𝑎𝑙𝑞𝑢𝑖𝑒𝑟 "𝑥" 𝑒𝑥𝑖𝑠𝑡𝑒 𝑢𝑛 "𝑦" 𝑑𝑒 𝑓𝑜𝑟𝑚𝑎 𝑞𝑢𝑒 𝑦 = 𝑓(𝑥)"
3) "𝐴𝑙𝑔𝑢𝑛𝑎𝑠 𝑟𝑒𝑙𝑎𝑐𝑖𝑜𝑛𝑒𝑠 𝑒𝑛𝑡𝑟𝑒 𝑝𝑎𝑟𝑒𝑠 𝑑𝑒 𝑎𝑙𝑢𝑚𝑛𝑜𝑠 𝑑𝑒 𝑙𝑎 𝑐𝑙𝑎𝑠𝑒 𝑠𝑜𝑛 𝑠𝑖𝑚𝑒́ 𝑡𝑟𝑖𝑐𝑎𝑠"
4) "𝐸𝑙 𝑐𝑢𝑎𝑑𝑟𝑎𝑑𝑜 𝑑𝑒 𝑡𝑜𝑑𝑜 𝑛𝑢́ 𝑚𝑒𝑟𝑜 𝑟𝑒𝑎𝑙 𝑒𝑠 𝑢𝑛 𝑛𝑢́ 𝑚𝑒𝑟𝑜 𝑝𝑜𝑠𝑖𝑡𝑖𝑣𝑜"
5) "𝐿𝑎 𝑠𝑢𝑚𝑎 𝑑𝑒 𝑑𝑜𝑠 𝑛𝑢́ 𝑚𝑒𝑟𝑜𝑠 𝑒𝑛𝑡𝑒𝑟𝑜𝑠 𝑝𝑢𝑒𝑑𝑒 𝑠𝑒𝑟 𝑝𝑜𝑠𝑖𝑡𝑖𝑣𝑎 𝑜 𝑛𝑒𝑔𝑎𝑡𝑖𝑣𝑎"
6) "𝐿𝑎 𝑠𝑢𝑚𝑎 𝑑𝑒 𝑙𝑜𝑠 𝑎́ 𝑛𝑔𝑢𝑙𝑜𝑠 𝑖𝑛𝑡𝑒𝑟𝑛𝑜𝑠 𝑑𝑒 𝑢𝑛 𝑡𝑟𝑖𝑎́ 𝑛𝑔𝑢𝑙𝑜 𝑒𝑠 𝑠𝑖𝑒𝑚𝑝𝑟𝑒 𝑖𝑔𝑢𝑎𝑙 𝑎 180°"
7) "𝐸𝑙 𝑝𝑟𝑜𝑑𝑢𝑐𝑡𝑜 𝑑𝑒 𝑑𝑜𝑠 𝑛𝑢́ 𝑚𝑒𝑟𝑜𝑠 𝑛𝑎𝑡𝑢𝑟𝑎𝑙𝑒𝑠 𝑐𝑜𝑛𝑠𝑒𝑐𝑢𝑡𝑖𝑣𝑜𝑠 𝑠𝑖𝑒𝑚𝑝𝑟𝑒 𝑒𝑠 𝑝𝑎𝑟"
8) "𝑃𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑡𝑟𝑖𝑎́ 𝑛𝑔𝑢𝑙𝑜 𝑟𝑒𝑐𝑡𝑎́ 𝑛𝑔𝑢𝑙𝑜 𝑠𝑒 𝑐𝑢𝑚𝑝𝑙𝑒 𝑞𝑢𝑒 𝑢𝑛𝑜 𝑑𝑒 𝑠𝑢𝑠 𝑎́ 𝑛𝑔𝑢𝑙𝑜𝑠 𝑚𝑖𝑑𝑒 90°"
Prof. Yordan Aguilar 22

1.6. Elementos Básicos de la Teoría de Conjuntos

Definición 29. Un conjunto es una colección de elementos u objetos especificados con una característica
en común.

Notación. Para diferenciar el nombre del conjunto con sus respectivos elementos se acostumbra a
representar a los conjuntos con letras mayúsculas y a sus elementos con letras minúsculas encerrados entre
llaves.
Ejemplo.
𝐴 = {𝑎, 𝑒, 𝑖, 𝑜, 𝑢} Conjunto de las vocales
𝐵 = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} Conjunto de los dígitos
𝐶 = {𝐿𝑢𝑛𝑒𝑠, 𝑀𝑎𝑟𝑡𝑒𝑠, 𝑀𝑖𝑒́ 𝑟𝑐𝑜𝑙𝑒𝑠, 𝐽𝑢𝑒𝑣𝑒𝑠, 𝑉𝑖𝑒𝑟𝑛𝑒𝑠} Conjunto de los días hábiles de la semana
Observación. Para denotar si un elemento pertenece o no a un conjunto se utilizan los signos de
pertenencia, estos son " ∈ " y " ∉ " y se leen “Pertenece a …“ y “No pertenece a …” respectivamente.

Ejemplo. Dado los conjuntos 𝐴 = {𝐿𝑢𝑛𝑒𝑠, 𝑀𝑎𝑟𝑡𝑒𝑠, 𝑀𝑖𝑒́ 𝑟𝑐𝑜𝑙𝑒𝑠} y 𝐵 = {𝐸𝑛𝑒𝑟𝑜, 𝐹𝑒𝑏𝑟𝑒𝑟𝑜, 𝑀𝑎𝑟𝑧𝑜, 𝐴𝑏𝑟𝑖𝑙},
verificar si se cumplen las siguientes relaciones:

𝐿𝑢𝑛𝑒𝑠 ∈ 𝐴 𝐹𝑒𝑏𝑟𝑒𝑟𝑜 ∉ 𝐵 𝑀𝑎𝑦𝑜 ∈ 𝐴 𝑉𝑖𝑒𝑟𝑛𝑒𝑠 ∈ 𝐴 𝐷𝑖𝑐𝑖𝑒𝑚𝑏𝑟𝑒 ∉ 𝐵

Desarrollo:
"𝐿𝑢𝑛𝑒𝑠 ∈ 𝐴" es correcto ya que efectivamente el elemento "𝐿𝑢𝑛𝑒𝑠" está dentro del conjunto A.
"𝐹𝑒𝑏𝑟𝑒𝑟𝑜 ∉ 𝐵" 𝑒𝑠 𝑖𝑛𝑐𝑜𝑟𝑟𝑒𝑐𝑡𝑜 𝑦𝑎 𝑞𝑢𝑒 𝑒𝑙 𝑒𝑙𝑒𝑚𝑒𝑛𝑡𝑜 "Febrero" si pertenece al conjunto B.
"𝑀𝑎𝑦𝑜 ∈ 𝐴" 𝑒𝑠 𝑖𝑛𝑐𝑜𝑟𝑟𝑒𝑐𝑡𝑜 𝑦𝑎 𝑞𝑢𝑒 𝑒𝑙 𝑒𝑙𝑒𝑚𝑒𝑛𝑡𝑜 "Mayo" no pertenece al conjunto A.
"𝑉𝑖𝑒𝑟𝑛𝑒𝑠 ∈ 𝐴" 𝑒𝑠 𝑖𝑛𝑐𝑜𝑟𝑟𝑒𝑐𝑡𝑜 𝑦𝑎 𝑞𝑢𝑒 𝑒𝑙 𝑒𝑙𝑒𝑚𝑒𝑛𝑡𝑜 "Viernes" no pertenece al conjunto A.
"𝐷𝑖𝑐𝑖𝑒𝑚𝑏𝑟𝑒 ∉ 𝐵" 𝑒𝑠 𝑐𝑜𝑟𝑟𝑒𝑐𝑡𝑜 𝑦𝑎 𝑞𝑢𝑒 𝑒𝑙 𝑒𝑙𝑒𝑚𝑒𝑛𝑡𝑜 "Diciembre" no pertenece al conjunto B.
Es posible representar un conjunto de varias formas, las principales son:
• Extensión: Se expresan todos los elementos del conjunto de forma ordenada y explícita.
• Comprensión: Se expresa el conjunto dando la característica general que genera a todos los
elementos.
• Diagrama de Venn: Se expresan los elementos explícitamente dentro de una región cerrada del
plano.
• Descripción verbal: Se expresa el conjunto a través de palabras y frases.
Ejemplo.
Extensión: 𝐴 = {𝑎, 𝑒, 𝑖, 𝑜, 𝑢} 𝐵 = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
Comprensión: 𝐴 = {𝑥 / 𝑥 𝑒𝑠 𝑢𝑛𝑎 𝑣𝑜𝑐𝑎𝑙} 𝐵 = {𝑥 ∈ ℤ / 0 ≤ 𝑥 < 10}
Descripción verbal: “El conjunto de las vocales” “El conjunto de los números de un solo dígito”

Diagrama de Venn: 𝑨 𝑒 𝑩
𝑜 3
6 1 8
𝑎 0 4
𝑢 𝑖
5 9
2 7
23

Definición 30. La cardinalidad de un conjunto es el número de elementos que este posee.

Notación. El cardinal de un conjunto A lo denotaremos como 𝐶𝑎𝑟𝑑(𝐴), #𝐴 o ɳ(𝐴).

Ejemplo.

𝐴 = {𝐿𝑢𝑛𝑒𝑠, 𝑀𝑎𝑟𝑡𝑒𝑠, 𝑀𝑖𝑒́ 𝑟𝑐𝑜𝑙𝑒𝑠, 𝐽𝑢𝑒𝑣𝑒𝑠, 𝑉𝑖𝑒𝑟𝑛𝑒𝑠} ɳ(𝐴) = 5

𝐵 = {𝑥 ∈ ℕ / 1 < 𝑥 ≤ 15} ɳ(𝐵) = 14
𝐶 = "𝐿𝑜𝑠 𝑚𝑒𝑠𝑒𝑠 𝑑𝑒𝑙 𝑎ñ𝑜" ɳ(𝐶) = 12

Es posible clasificar a los conjuntos según su cardinalidad de la siguiente forma:

Definición 31. El conjunto vacío es aquel conjunto que no tiene elementos, es decir, su cardinalidad es
igual a cero.
Notación. El conjunto vacío lo denotaremos con la letra "𝜙".
Ejemplo.

𝐴 = "𝐿𝑜𝑠 𝑚𝑒𝑠𝑒𝑠 𝑑𝑒𝑙 𝑎ñ𝑜 𝑐𝑜𝑛 32 𝑑𝑖́𝑎𝑠" ɳ(𝐴) = 0

𝐵 = {𝑥 ∈ ℕ / 𝑥 + 2 = 0} ɳ(𝐵) = 0
𝐶 ={} ɳ(𝐶) = 0

Definición 32. El conjunto unitario es aquel conjunto que tiene solo un elemento, es decir, su cardinalidad
es igual a uno.

Ejemplo.

𝐴 = "𝐿𝑎𝑠 𝑙𝑢𝑛𝑎𝑠 𝑑𝑒 𝑙𝑎 𝑡𝑖𝑒𝑟𝑟𝑎" ɳ(𝐴) = 1

𝐵 = {𝑦 ∈ ℛ / 𝑦 + 1 = 2} ɳ(𝐵) = 1
𝐶 = {5} ɳ(𝐶) = 1

Definición 33. Un conjunto es finito si tiene un número finito de elementos, es decir, su cardinalidad es
finita.

Ejemplo.

𝐴 = "𝐿𝑜𝑠 𝑑𝑖́𝑎𝑠 𝑑𝑒 𝑙𝑎 𝑠𝑒𝑚𝑎𝑛𝑎" ɳ(𝐴) = 7

𝐵 = {𝑧 ∈ ℤ / 𝑧 2 + 4𝑧 + 4 = 4} ɳ(𝐵) = 2
𝐶 = {2, 3, 5, 7, 11, 13, 17, 19, 23, 27} ɳ(𝐶) = 10

Definición 34. Un conjunto es infinito si y solo si tiene un número infinito de elementos, es decir, su
cardinalidad es infinita.

Ejemplo.

𝐴 = "𝐸𝑠𝑡𝑟𝑒𝑙𝑙𝑎𝑠 𝑑𝑒𝑙 𝑢𝑛𝑖𝑣𝑒𝑟𝑠𝑜" ɳ(𝐴) = ∞

𝐵 = {𝑤 ∈ ℛ / 1 < 𝑤 < 100} ɳ(𝐵) = ∞
𝐶 = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, … } ɳ(𝐶) = ∞
Prof. Yordan Aguilar 24

Definición 35. Dado dos conjuntos A y B, se dice que A es subconjunto de B si y solo si todos y cada uno de
los elementos de A están en B.

Notación. Si A es un subconjunto de B escribiremos "𝐴 ⊆ 𝐵", si no lo es escribiremos "𝐴 ⊈ 𝐵".

Observación. Se dice que B es superconjunto de A si y solo si A es subconjunto de B, esta relación la
denotaremos por "𝐵 ⊇ 𝐴".

Ejemplo.
𝑆𝑖 𝐴 = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, 𝐵 = {1, 2, 5, 6,8,10} y 𝐶 = {2, 4,6, 8, 9} podemos verificar que:
𝐴⊇𝐵 𝐴⊇𝐶 𝐵⊆𝐴 𝐵⊇𝐶 𝐶⊆𝐴 𝐶⊆𝐵
Definición 36. Dos conjuntos son iguales si y solo si sus elementos son idénticos y sus cardinalidades son
las mismas.

Notación. Si el conjunto A es igual al conjunto B escribiremos "𝐴 = 𝐵".

Ejemplo. Demostrar que los conjuntos 𝐴 = {1, 2, 3, 4, 5, 6, 7, 8, 9, 0} y 𝐵 = "𝑁𝑢́ 𝑚𝑒𝑟𝑜𝑠 ℕ 𝑑𝑒 𝑢𝑛 𝑑𝑖́𝑔𝑖𝑡𝑜" son
iguales.
Desarrollo:
1) Si escribimos el conjunto B por extensión nos podemos dar cuenta que tiene los mismos elementos
de A, por lo tanto, se cumple la primera regla.
2) Tanto el conjunto A como el conjunto B tienen 10 elementos, por lo tanto, sus cardinalidades son
iguales.
∴ de 1) y 2) demostramos que 𝐴 = 𝐵.

Definición 37. Dos conjuntos se dicen equivalentes si y solo si tienen igual cardinalidad.

Notación. Si el conjunto A es equivalente al conjunto B escribiremos "𝐴 ≡ 𝐵".

Ejemplo. Demostrar que los conjuntos 𝐴 = {1, 2, 3, 4, 5} y 𝐵 = "𝐷𝑖́𝑎𝑠 ℎ𝑎́ 𝑏𝑖𝑙𝑒𝑠 𝑑𝑒 𝑙𝑎 𝑠𝑒𝑚𝑎𝑛𝑎" son
equivalentes.
Desarrollo:
Como la cardinalidad de A es igual a 5 y la cardinalidad de B es igual a 5 podemos demostrar que los
conjuntos son equivalentes.

Definición 38. Dos conjuntos se dicen disjuntos si y solo si no tienen ningún elemento en común.

Notación. Si los conjuntos A y B son disjuntos escribiremos "𝐴 ≠ 𝐵".

Ejemplo. Demostrar que los conjuntos 𝐴 = {2, 4, 6, 8, 10} y 𝐵 = "𝑁𝑢́ 𝑚𝑒𝑟𝑜𝑠 𝑖𝑚𝑝𝑎𝑟𝑒𝑠" son disjuntos.

Desarrollo:
Puesto que el conjunto A está formado solo por números pares y el conjunto B esta formado por todos
los números impares podemos deducir que no hay elementos en común, por lo tanto, queda
enteramente demostrado que los conjuntos A y B son disjuntos, es decir, 𝐴 ≠ 𝐵.
25

Definición 39. El conjunto potencia de un conjunto A es el conjunto formado por todos los posibles
subconjuntos de A.
Notación. El conjunto potencia de A se denota por "℘(𝐴)".
Observación. La cardinalidad del conjunto potencia de A es igual a "2ɳ(𝐴) " donde "ɳ(𝐴)" es la cardinalidad
del conjunto A.
Observación. El conjunto vacío es subconjunto de todos los conjuntos.
Ejemplo. Calcular el conjunto potencia del conjunto 𝐴 = {1, 2, 3}.

Desarrollo:
1) La cardinalidad del conjunto potencia de A es 2ɳ(𝐴) = 23 = 8.
2) Formamos todos los posibles subconjuntos de A:
𝜙, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}
∴ el conjunto potencia de A es ℘(𝐴) = {𝜙, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}.
Definición 40. El conjunto universo es aquel conjunto que contiene a todos los elementos bajo
consideración en una determinada situación.

Notación. El conjunto universo se denota por la letra "𝑈".

1.7. Operatoria Conjuntista

Al igual que las proposiciones, los conjuntos se pueden operar con la finalidad de formar conjuntos más
específicos y complejos, según esto, las principales operaciones entre conjuntos son:
Definición 41. Se define la unión de los conjuntos A y B como aquel conjunto formado por todos los
elementos de A y todos los elementos de B sin repetir ninguno.

Notación. La unión de conjuntos puede representarse de dos formas:

𝑼
𝑨 ∪ 𝑩 = {𝒙 / 𝒙 ∈ 𝑨 ∨ 𝒙 ∈ 𝑩} 𝑨 𝑩

Ejemplo. Unir los siguientes conjuntos: 𝐴 = {1, 3, 5, 7} y 𝐵 = {2, 4, 6, 8}.

Desarrollo:
1) Representación conjuntista: 𝐴 ∪ 𝐵 = {𝑥 / 𝑥 ∈ 𝐴 ∨ 𝑥 ∈ 𝐵} ≡ 𝐴 ∪ 𝐵 = {1, 2, 3, 4, 5, 6, 7, 8}.
2) Representación por diagrama: 𝐴 ∪ 𝐵 = {1, 2, 3, 4, 5, 6, 7, 8}:

𝑼 𝑨 𝑩
1 2
5 3 6 4
7 8
Prof. Yordan Aguilar 26

Definición 42. Se define la intersección de los conjuntos A y B como aquel conjunto formado por todos los
elementos que dichos conjuntos tienen en común.

Notación. La intersección de conjuntos puede representarse de dos formas:

𝑼
𝑨 ∩ 𝑩 = {𝒙 / 𝒙 ∈ 𝑨 ∧ 𝒙 ∈ 𝑩} 𝑨 𝑩

Ejemplo. Intersectar los siguientes conjuntos: 𝐴 = {𝑎, 𝑒, 𝑖, 𝑜, 𝑢} y 𝐵 = {𝑎, 𝑏, 𝑐, 𝑑, 𝑒}.

Desarrollo:
1) Representación conjuntista: 𝐴 ∩ 𝐵 = {𝑥 / 𝑥 ∈ 𝐴 ∧ 𝑥 ∈ 𝐵} ≡ 𝐴 ∩ 𝐵 = {𝑎, 𝑒}.
2) Representación por diagrama: 𝐴 ∩ 𝐵 = {𝑎, 𝑒}:

𝑼 𝑨 𝑩
𝑖 𝑎 𝑏
𝑢 𝑐
𝑜 𝑒 𝑑

Definición 43. Se define el complemento del conjunto A con respecto al universo U como aquel conjunto
formado por todos los elementos de U que no son elementos de A.

Notación. El complemento de un conjunto se puede representar de dos formas:

𝑼
𝑨𝒄 = {𝒙 ∈ 𝑼 / 𝒙 ∉ 𝑨}
𝑨

Ejemplo. Dado el universo de los días hábiles de la semana y el conjunto 𝐴 = {𝐿𝑢𝑛𝑒𝑠, 𝐽𝑢𝑒𝑣𝑒𝑠}, encontrar
el complemento de A.

Desarrollo:
1) Representación conjuntista: 𝐴𝑐 = {𝑥 ∈ 𝑈 / 𝑥 ∉ 𝐴} ≡ 𝐴𝑐 = {𝑀𝑎𝑟𝑡𝑒𝑠, 𝑀𝑖𝑒́ 𝑟𝑐𝑜𝑙𝑒𝑠, 𝑉𝑖𝑒𝑟𝑛𝑒𝑠}.
2) Representación por diagrama: 𝐴𝑐 = {𝑀𝑎𝑟𝑡𝑒𝑠, 𝑀𝑖𝑒́ 𝑟𝑐𝑜𝑙𝑒𝑠, 𝑉𝑖𝑒𝑟𝑛𝑒𝑠}:

𝑼 𝑨
𝑀𝑖𝑒́ 𝑟𝑐𝑜𝑙𝑒𝑠
𝑀𝑎𝑟𝑡𝑒𝑠 𝐿𝑢𝑛𝑒𝑠
𝐽𝑢𝑒𝑣𝑒𝑠 𝑉𝑖𝑒𝑟𝑛𝑒𝑠

Algunas propiedades importantes del complemento de un conjunto son:

(𝐴𝑐 )𝑐 = 𝐴 (𝐴 ∪ 𝐵)𝑐 = 𝐴𝑐 ∩ 𝐵𝑐
ɳ(𝐴) + ɳ(𝐴𝑐 ) = ɳ(𝑈)
𝜙𝑐 = 𝑈 ↔ 𝑈𝑐 = 𝜙
27

Definición 44. Se define la diferencia de los conjuntos A y B como aquel conjunto formado por todos los
elementos de A que no son elementos de B.

Notación. La diferencia de conjuntos puede representarse de dos formas:

𝑼
𝑨 − 𝑩 = {𝒙 / 𝒙 ∈ 𝑨 ∧ 𝒙 ∉ 𝑩}
𝑨 𝑩

Ejemplo. Calcular la diferencia entre los siguientes conjuntos: 𝐴 = {1, 2, 3, 4, 5} y 𝐵 = {2, 4, 6, 8, 10}.

Desarrollo:
1) Representación conjuntista: 𝐴 − 𝐵 = {𝑥 / 𝑥 ∈ 𝐴 ∧ 𝑥 ∉ 𝐵} ≡ 𝐴 − 𝐵 = {1, 3, 5}.
2) Representación por diagrama: 𝐴 − 𝐵 = {1, 3, 5}:

𝑼 𝑨 𝑩
1 2 6
3 10
5 4 8

Algunas propiedades importantes de la diferencia de conjuntos son:

𝐴−𝐵 =𝐵−𝐴 ↔𝐴=𝐵 𝐴 − 𝐵 = 𝐴 ∩ 𝐵𝐶
𝐴−𝐵 =𝐴 ↔𝐴∩𝐵 =𝜙 𝐴−𝐵 =𝜙 ↔𝐴 ⊂𝐵
(𝐴 − 𝐵) ⊆ 𝐴 𝐴 − (𝐵 ∪ 𝐶) = (𝐴 − 𝐵) ∩ (𝐴 − 𝐶)
𝐴−𝜙 =𝐴 𝐴 − (𝐵 ∩ 𝐶) = (𝐴 − 𝐵) ∪ (𝐴 − 𝐶)
Definición 45. Se define la diferencia simétrica de los conjuntos A y B como aquel conjunto formado por
todos los elementos de A y B que no tienen en común.

Notación. La diferencia simétrica de conjuntos puede representarse de dos formas:

𝑼
𝑨𝜟𝑩 = {𝒙 / 𝒙 ∈ 𝑨 ∧ 𝒙 ∈ 𝑩 ∧ 𝒙 ∉ 𝑨 ∩ 𝑩}
𝑨 𝑩

Ejemplo. Calcular la diferencia simétrica de los siguientes conjuntos: 𝐴 = {1, 2, 3, 4, 5} y 𝐵 = {2, 4, 6, 8}.

Desarrollo:
1) Representación conjuntista: 𝐴𝛥𝐵 = {𝑥 / 𝑥 ∈ 𝐴 ∧ 𝑥 ∈ 𝐵 ∧ 𝑥 ∉ 𝐴 ∩ 𝐵} ≡ 𝐴𝛥𝐵 = {1, 3, 5, 6, 8}.
2) Representación por diagrama 𝐴𝛥𝐵 = {1, 3, 5, 6, 8}:

𝑼 𝑨 𝑩
1 2 6
3
5 4 8
Prof. Yordan Aguilar 28

Los conjuntos cumplen ciertas propiedades que podemos agrupar de la siguiente forma:

• Identidad: 𝐴 ∪ 𝜙 = 𝐴 • Leyes de absorción: 𝐴 ∪ (𝐴 ∩ 𝐵) = 𝐴

𝐴∪𝑈 =𝑈 𝐴 ∩ (𝐴 ∪ 𝐵) = 𝐴
𝐴∩𝜙 =𝜙
• Idempotencia: 𝐴 ∪ 𝐴 = 𝐴
𝐴∩𝑈 =𝐴
𝐴∩𝐴=𝐴
• Conmutativa: 𝐴 ∪ 𝐵 = 𝐵 ∪ 𝐴
• Leyes del complemento: 𝐴 ∪ 𝐴𝑐 = 𝑈
𝐴∩𝐵 = 𝐵∩𝐴
𝐴 ∩ 𝐴𝑐 = 𝜙
• Asociativa: (𝐴 ∪ 𝐵) ∪ 𝐶 = 𝐴 ∪ (𝐵 ∪ 𝐶)
• Leyes de Morgan: (𝐴 ∪ 𝐵)𝑐 = 𝐴𝑐 ∩ 𝐵𝑐
(𝐴 ∩ 𝐵) ∩ 𝐶 = 𝐴 ∩ (𝐵 ∩ 𝐶)
(𝐴 ∩ 𝐵)𝑐 = 𝐴𝑐 ∪ 𝐵𝑐
• Distributiva: 𝐴 ∪ (𝐵 ∩ 𝐶) = (𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐶) • Igualdad por subconjuntos: 𝐴 = 𝐵 ↔ 𝐴 ⊆ 𝐵 ∧ 𝐵 ⊆ 𝐴
𝐴 ∩ (𝐵 ∪ 𝐶) = (𝐴 ∩ 𝐵) ∪ (𝐴 ∩ 𝐶)

Estas propiedades son muy útiles para simplificar operaciones con conjuntos y funcionan de forma muy
similar a las equivalencias lógicas.
Ejemplo. Simplificar el conjunto "(𝐴𝑐 ∪ 𝐵) ∩ (𝐴 ∪ 𝐵)" utilizando propiedades de los conjuntos.

Desarrollo:
(𝐴𝑐 ∪ 𝐵) ∩ (𝐴 ∪ 𝐵)
[(𝐴𝑐 ∪ 𝐵) ∩ 𝐴] ∪ [(𝐴𝑐 ∪ 𝐵) ∩ 𝐵]
{(𝐴 ∩ 𝐴𝑐 ) ∪ (𝐴 ∩ 𝐵)} ∪ {𝐵 ∩ (𝐵 ∪ 𝐴𝑐 )}
{𝜙 ∪ (𝐴 ∩ 𝐵)} ∪ 𝐵
(𝐴 ∩ 𝐵) ∪ 𝐵
𝐵
∴ el conjunto "(𝐴𝑐 ∪ 𝐵) ∩ (𝐴 ∪ 𝐵)" es igual al conjunto "𝐵".
Ejercicio. Reducir los siguientes conjuntos utilizando sus respectivas propiedades:
1) 𝐴 ∪ (𝐴 ∩ 𝐵) ∪ (𝐴𝑐 ∪ 𝐵𝑐 ) 5) 𝐴 ∩ [(𝐴 ∩ 𝐵) ∩ (𝐴𝑐 ∩ 𝐵𝑐 )]
2) (𝐴 ∩ 𝐵) ∪ (𝐴 ∩ 𝐶 𝑐 ) 6) {[(𝐴 − 𝐵) ∩ 𝐵] ∩ [(𝐴 ∪ 𝐵) ∩ 𝐶]}𝑐
3) (𝐴 ∪ 𝐵𝑐 ) ∩ (𝐴 ∪ 𝐶) 7) [(𝐴 ∩ 𝐵) ∪ (𝐴 ∩ 𝐵𝑐 )] − 𝐴
4) 𝐴 ∩ (𝐴 ∪ 𝐵) ∩ (𝐴 ∪ 𝐵𝑐 ) 8) [(𝐴 ∩ 𝐵) ∩ 𝐶] ∪ [(𝐴 ∪ 𝐵) ∩ 𝐶 𝑐 ] ∪ (𝐴𝑐 ∩ 𝐵)

Definición 46. Una familia de conjuntos es un conjunto donde, a su vez, todos sus elementos son conjuntos.

Observación. Para que un conjunto sea una familia de conjuntos todos y cada uno de sus elementos deben
ser, a su vez, conjuntos.
Observación. El conjunto potencia es un ejemplo de familia de conjuntos.

Ejemplo.

𝐴 = {{𝑎}, {𝑎, 𝑒}, {𝑎, 𝑒, 𝑖}, {𝑎, 𝑒, 𝑖, 𝑜}, {𝑎, 𝑒, 𝑖, 𝑜, 𝑢}} "𝐴" sí es una familia de conjuntos
𝐵 = {1, {1, 2}, {1, 2, 3}, {1, 2, 3, 4}} "𝐵" no es una familia de conjuntos
𝐶 = {𝜙, {1}, {1, 3}, {1, 3, 5}} "𝐶" sí es una familia de conjuntos
29

Definición 47. Dado un conjunto "𝐼" distinto de vacío, una familia de conjuntos indexada por "𝐼" consiste
en dar un conjunto 𝐴𝑖 para cada elemento 𝑖 ∈ 𝐼; la familia se denota por {𝐴𝑖 }𝑖∈𝐼 y el conjunto "𝐼" se dice
que es el conjunto de índices de la familia.

Ejemplo.

{𝐴1 , 𝐴2 , 𝐴3 , 𝐴4 } = {𝐴𝑖 }𝑖∈𝐼 donde 𝐼 = {1, 2, 3, 4}

{𝐴𝑎 , 𝐴𝑒 , 𝐴𝑖 , 𝐴𝑜 , 𝐴𝑢 } = {𝐴𝑖 }𝑖∈𝐼 donde 𝐼 = {𝑖 / 𝑖 𝑒𝑠 𝑢𝑛𝑎 𝑣𝑜𝑐𝑎𝑙}
{{1}, {1, 2}, {1, 2, 3}, {1, 2, 3, 4}} = {𝐴𝑖 }𝑖∈𝐼 donde 𝐴𝑖 = {𝑥 ∈ ℕ / 1 ≤ 𝑥 ≤ 𝑖} y 𝐼 = {1, 2, 3, 4}
Al igual que los conjuntos antes estudiados, podemos definir algunas operaciones generales sobre las
familias de conjuntos indexadas, los principales cálculos son:

• Unión: Sea {𝐴𝑖 }𝑖∈𝐼 una familia indexada por el conjunto "𝐼", se define la operación de unión sobre
𝐴𝑖 como aquel conjunto formado por todos y cada uno de los elementos pertenecientes a todos y
cada uno de los conjuntos de la familia indizada; se denota por:
𝑛

⋃ 𝐴𝑖 = {𝑥 / 𝑥 ∈ 𝐴𝑖 𝑝𝑎𝑟𝑎 𝑎𝑙𝑔𝑢́ 𝑛 𝑖 ∈ 𝐼}
𝑖=1

• intersección: Sea {𝐴𝑖 }𝑖∈𝐼 una familia indexada por el conjunto "𝐼", se define la operación de
intersección sobre 𝐴𝑖 como aquel conjunto formado por todos aquellos elementos que tienen en
común todos los conjuntos de la familia indizada; se denota por:
𝑛

⋂ 𝐴𝑖 = {𝑥 / 𝑥 ∈ 𝐴𝑖 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑖 ∈ 𝐼}
𝑖=1

Ejemplo. Sea el conjunto 𝐴𝑖 = {𝑥 ∈ ℤ / 0 ≤ 𝑥 ≤ 𝑖 ∧ 𝑥 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟} indizado por el conjunto 𝐼 = {1, 2, 3, 4, 5}

calcular las siguientes operaciones:
5 5

⋃ 𝐴𝑖 ⋂ 𝐴𝑖
𝑖=1 𝑖=1

Desarrollo:
5
1)
⋃ 𝐴1 = {1} ∪ {1} ∪ {1, 3} ∪ {1, 3} ∪ {1, 3, 5} = {1, 3, 5}.
𝑖=1

5
2)
⋂ 𝐴𝑖 = {1} ∩ {1} ∩ {1, 3} ∩ {1, 3} ∩ {1, 3, 5} = {1}.
𝑖=1

Definición 48. Una partición de un conjunto A es una familia de conjuntos {𝐵𝑖 }𝑖∈𝐼 tal que:

• ∀𝑖 ∈ 𝐼 // (𝑖 ∈ 𝐼 → 𝐵𝑖 ⊆ 𝐴) ∧ (𝐵𝑖 ≠ 𝜙)
• ∀𝑗 ∈ 𝐼 ∧ ∀𝑘 ∈ 𝐼 // (𝑗 ∈ 𝐼 ∧ 𝑘 ∈ 𝐼 ∧ 𝑗 ≠ 𝑘) → (𝐴𝑗 ∩ 𝐴𝑘 = 𝜙)
•
⋃ 𝐵𝑖 = 𝐴
𝑖∈𝐼
Prof. Yordan Aguilar 30

Ejemplo. Dado el conjunto 𝑆 = {1, 2, 3, 4}, analizar si los siguientes conjuntos son una posible partición de
el:
𝐴 = {{1, 2}, {3}} 𝐵 = {{1, 2}, {3, 4, 1}} 𝐶 = {{1, 2}, {3, 4}}

Desarrollo:
𝐴 = {{1, 2}, {3}} no es una partición de S ya que {1, 2} ∪ {3} ≠ 𝑆.
𝐵 = {{1, 2}, {3, 4, 1}} no es una partición de S ya que {1, 2} ∩ {3, 4, 1} ≠ 𝜙.
𝐶 = {{1, 2}, {3, 4}} sí es una posible partición de S ya que {1, 2} ∧ {3, 4} ≠ 𝜙, {1, 2} ∩ {3, 4} = 𝜙 y
{1, 2} ∪ {3, 4} = 𝑆.

1.8. Relaciones Binarias

Definición 49. Un par ordenado es un conjunto formado por dos elementos dispuestos en un determinado
orden, se denota por (𝑎, 𝑏) = {{𝑎}, {𝑎, 𝑏}}.

Observación. El par ordenado (𝑎, 𝑏) es distinto al par ordenado (𝑏, 𝑎).

Ejemplo.

(5, 2) = {{5}, {5, 2}}

(2, 5) = {{2}, {2, 5}}
(1, 7) = {{1}, {1}, {1, 1, 7, 7, 7}}

Definición 50. Dos pares ordenados (𝑎, 𝑏) y (𝑐, 𝑑) son iguales si y solo si se cumple que:
(𝒂, 𝒃) = (𝒄, 𝒅) ↔ 𝒂 = 𝒄 ∧ 𝒃 = 𝒅

Ejemplo. Determinar los valores de 𝑥 e 𝑦 para que los pares ordenados (3𝑥 + 1, 𝑦 − 2) y (7, 8) sean
iguales.
Desarrollo:
(3𝑥 + 1, 𝑦 − 2) = (7, 8) ↔ 3𝑥 + 1 = 7 ∧ 𝑦 − 2 = 8
1) 3𝑥 + 1 = 7 ≡ 3𝑥 = 6 ≡ 𝒙 = 𝟐
2) 𝑦 − 2 = 8 ≡ 𝒚 = 𝟏𝟎
∴ para que los pares (3𝑥 + 1, 𝑦 − 2) y (7, 8) sean iguales, 𝑥 = 2 𝑒 𝑦 = 10.
Definición 51. Se define el producto directo (o cartesiano) de los conjuntos A y B como aquel conjunto
formado por todos los posibles pares ordenados (𝑥, 𝑦) que se forman eligiendo como primera componte un
𝑥 ∈ 𝐴 y como segunda componente un 𝑦 ∈ 𝐵.

Notación. El producto cartesiano puede denotarse de varias formas:

𝑦 𝑨 𝑩
𝑎1 𝑏1
𝑨𝒙𝑩 = {(𝒙, 𝒚) / 𝒙 ∈ 𝑨 ∧ 𝒚 ∈ 𝑩} 𝑎2 𝑏2
… …
𝑎𝑛 𝑏𝑛
𝑥
31

Ejemplo. Calcular el producto cartesiano entre los conjuntos 𝐴 = {1, 2, 3} y 𝐵 = {𝑎, 𝑒} y representarlo en
forma conjuntista, en forma de diagrama cartesiano y en forma de diagrama sagital.

Desarrollo:
𝐴𝑥𝐵 = {(𝑥, 𝑦)/ 𝑥 ∈ 𝐴 ∧ 𝑦 ∈ 𝐵} = {(1, 𝑎); (1, 𝑒); (2, 𝑎); (2, 𝑒); (3, 𝑎); (3, 𝑒)}.

𝑨 𝑩
𝑦
1
𝑎 𝑎
2
𝑏 𝑏
3
𝑥
1 2 3

El producto cartesiano presenta algunas propiedades especiales que se enlistan a continuación:

𝑆𝑖 𝐴 ≠ 𝐵 → 𝐴 𝑥 𝐵 ≠ 𝐵 𝑥 𝐴 𝐴 𝑥 (𝐵 − 𝐶) = 𝐴 𝑥 𝐵 − 𝐴 𝑥 𝐶
𝐴𝑥𝜙=𝜙𝑥𝐴=𝜙 (𝐴 𝑥 𝐵) 𝑥 𝐶 = 𝐴 𝑥 (𝐵 𝑥 𝐶)
𝐴 𝑥 (𝐵 ∪ 𝐶) = 𝐴 𝑥 𝐵 ∪ 𝐴 𝑥 𝐶 𝑆𝑖 𝐴 = 𝐵 → 𝐴 𝑥 𝐵 = 𝐴 𝑥 𝐴 = 𝐴2
𝐴 𝑥 (𝐵 ∩ 𝐶) = 𝐴 𝑥 𝐵 ∩ 𝐴 𝑥 𝐶 ɳ(𝐴 𝑥 𝐵) = ɳ(𝐴) ∙ ɳ(𝐵)

Definición 52. Sean A y B dos conjuntos no vacíos, llamamos relación binaria de A en B a todo subconjunto
del producto cartesiano 𝐴𝑥𝐵 que cumple una determinada condición entre los elementos de sus pares
ordenados.

Notación. Una relación binaria "ℛ" sobre los conjuntos A y B se denota por:
𝓡 ⊆ 𝑨𝒙𝑩 ↔ 𝓡 = {(𝒙, 𝒚) ∈ 𝑨𝒙𝑩 / 𝑷(𝒙, 𝒚)}

Ejemplo 1. Dado los conjuntos 𝐴 = {𝑎, 𝑏} y 𝐵 = {1, 2, 3} y su respectivo producto cartesiano:

𝐴𝑥𝐵 = {(𝑎, 1); (𝑎, 2); (𝑎, 3); (𝑏, 1); (𝑏, 2); (𝑏, 3)}
Podemos definir las siguientes relaciones binarias sobre 𝐴𝑥𝐵:

ℛ1 = {(𝑎, 1); (𝑎, 3); (𝑏, 3)}

ℛ2 = {(𝑎, 1); (𝑎, 2); (𝑏, 1); (𝑏, 2)}
ℛ3 = {(𝑥, 𝑦) ∈ 𝐴𝑥𝐵 / 𝑦 𝑒𝑠 𝑝𝑎𝑟}

Ejemplo 2. Encontrar dos conjuntos A y B que podrían generar la relación ℛ = {(1, 2); (3, 5); (6, 4)}.

Desarrollo:
Como 𝐴𝑥𝐵 genera pares ordenados donde la primera componente pertenece a A y la segunda
componente pertenece a B podemos deducir que, basta con que 𝐴 = {1, 3, 5} y 𝐵 = {2, 4, 5} para poder
generar la relación antes dada.
𝐴𝑥𝐵 = {(1, 2); (1, 4); (1, 5); (3, 2); (3, 4); (3, 5); (5, 2); (5, 4); (5, 5)}
∴ hemos demostrado que ℛ ⊆ 𝐴𝑥𝐵 con 𝐴 = {1, 3, 5} y 𝐵 = {2, 4, 6}.
Prof. Yordan Aguilar 32

Ejemplo 3. Sean los conjuntos 𝐴 = {1, 2, 3, 4} y 𝐵 = {1, 4, 9} encontrar los pares ordenados que forman
parte de las siguientes relaciones:
ℛ1 = {(𝑥, 𝑦) ∈ 𝐴𝑥𝐵 / 𝑥 + 𝑦 ≤ 5} ℛ2 = {(𝑥, 𝑦) ∈ 𝐴𝑥𝐵 / 𝑦 = 𝑥 2 }
Desarrollo:
1) 𝐴𝑥𝐵 = {(1, 1); (1, 4); (1, 9); (2, 1); (2, 4); (2, 9); (3, 1); (3, 4); (3, 9); (4, 1); (4, 4); (4, 9)}.
2) ℛ1 = {(𝑥, 𝑦) ∈ 𝐴𝑥𝐵 / 𝑥 + 𝑦 ≤ 5} = {(1, 1); (1, 4); (2, 1); (3, 1); (4, 1)}.
3) ℛ2 = {(𝑥, 𝑦) ∈ 𝐴𝑥𝐵 / 𝑦 = 𝑥 2 } = {(1, 1); (2, 4); (3, 9)}.
Observación. Si el par ordenado (𝑥, 𝑦) pertenece a la relación ℛ escribiremos "(𝑥, 𝑦) ∈ ℛ" o "𝑥 ℛ 𝑦", si no
pertenece a la relación ℛ escribiremos "(𝑥, 𝑦) ∉ ℛ" o "𝑥 ℛ 𝑦".
Observación. Si ɳ(𝐴) = 𝑚 y ɳ(𝐵) = 𝑛, entonces la cantidad de relaciones que se pueden generar sobre A
y B es "2𝑚∙𝑛" .

Definición 53. El conjunto de elementos formado por todas las primeras componentes de los pares
ordenados de una relación se llama dominio de la relación binaria y la denotamos por:

𝑫(𝓡) = {𝒙 ∈ 𝑨 / ∃𝒚 ∈ 𝑩 ∧ (𝒙, 𝒚) ∈ 𝓡}

Definición 54. El conjunto de elementos formado por todas las segundas componentes de los pares
ordenados de una relación se llama recorrido o rango de la relación binaria y la denotamos por:

𝑹(𝓡) = {𝒚 ∈ 𝑩 / 𝒙 ∈ 𝑨 ∧ (𝒙, 𝒚) ∈ 𝓡}

Definición 55. El conjunto de elementos formado por todas las primeras y segundas componentes de los
pares ordenados de una relación se llama campo de la relación binaria y la denotamos por:

𝑪𝒂𝒎𝒑𝒐(𝓡) = 𝑫(𝓡) ∪ 𝑹(𝓡)

Ejemplo. Sean los conjuntos 𝐴 = {1, 3, 5} y 𝐵 = {2, 4, 6} encontrar el dominio, recorrido y campo de las
siguientes relaciones binarias:

ℛ1 = {(𝑥, 𝑦) ∈ 𝐴𝑥𝐵 / 5 ≤ 𝑥 + 𝑦 ≤ 7} ℛ2 = {(𝑥, 𝑦) ∈ ℛ / 𝑥 > 𝑦}

Desarrollo:
1) 𝐴𝑥𝐵 = {(1, 2); (1, 4); (1, 6); (3, 2); (3, 4); (3, 6); (5, 2); (5, 4); (5, 6)}.
2) ℛ1 = {(𝑥, 𝑦) ∈ 𝐴𝑥𝐵 / 5 ≤ 𝑥 + 𝑦 ≤ 7} = {(1, 4); (1, 6); (3, 2); (3, 4); (5, 2)}
∴ 𝐷(ℛ1 ) = {1, 3, 5}, 𝑅(ℛ1 ) = {2, 4, 6} y 𝐶𝑎𝑚𝑝𝑜(ℛ1 ) = {1, 2, 3, 4, 5, 6}.
3) ℛ2 = {(𝑥, 𝑦) ∈ ℛ / 𝑥 > 𝑦} = {(3, 2); (5, 2); (5, 4)}
∴ 𝐷(ℛ2 ) = {3, 5}, 𝑅(ℛ1 ) = {2, 4} y 𝐶𝑎𝑚𝑝𝑜(ℛ1 ) = {2, 3, 4, 5}.
Definición 56. Sea el par ordenado (𝑥, 𝑦) ∈ ℛ y su relación correspondiente ℛ ⊆ 𝐴𝑥𝐵, llamamos relación
inversa de ℛ al conjunto definido por:

𝓡 −𝟏 = {(𝒚, 𝒙) ∈ 𝑩𝒙𝑨 / (𝒙, 𝒚) ∈ 𝓡}

Esto es, si (𝑥, 𝑦) ∈ ℛ, entonces (𝑦, 𝑥) ∈ ℛ −1 .

33

Observación. Para toda relación ℛ y su inversa ℛ −1 se cumple que:

• 𝐷(ℛ) = 𝑅(ℛ −1 )
• 𝑅(ℛ) = 𝐷(ℛ −1 )
• 𝐶𝑎𝑚𝑝𝑜(ℛ) = 𝐶𝑎𝑚𝑝𝑜(ℛ −1 )
Definición 57. Sea ℛ1 una relación de A en B y ℛ2 una relación de B en C, denominamos composición de
ℛ1 a ℛ2 , simbolizada por ℛ1 ∘ ℛ2 , como la nueva relación de A en C tal que:

𝓡𝟏 ∘ 𝓡𝟐 = {(𝒙, 𝒛) ∈ 𝑨𝒙𝑪 / ∃𝒚 ∈ 𝑩 ∋ [(𝒙, 𝒚) ∈ 𝓡𝟏 ∧ (𝒚, 𝒛) ∈ 𝓡𝟐 ]}

Ejemplo. Sean los conjuntos 𝐴 = {1, 3, 5}, 𝐵 = {2, 4, 6} y 𝐶 = {9, 8, 7}, encontrar la relación inversa y la
composición de las siguientes relaciones binarias:

ℛ1 = {(𝑥, 𝑦) ∈ 𝐴𝑥𝐵 / 𝑦 > 𝑥} ℛ2 = {(𝑦, 𝑧) ∈ 𝐵𝑥𝐶 / 𝑦 + 𝑧 ≤ 12}

Desarrollo:
1) 𝐴𝑥𝐵 = {(1, 2); (1, 4); (1, 6); (3, 2); (3, 4); (3, 6); (5, 2); (5, 4); (5, 6)}.
𝐵𝑥𝐶 = {(2, 9); (2, 8); (2, 7); (4; 9); (4, 8); (4, 7); (6, 9); (6, 8); (6, 7)].
2) ℛ1 = {(𝑥, 𝑦) ∈ 𝐴𝑥𝐵 / 𝑦 > 𝑥} = {(1, 2); (1, 4); (1, 6); (3, 4); (3, 6); (5, 6)}.
ℛ1−1 = {(2, 1); (4, 1); (6, 1); (4, 3); (6, 3); (6, 5)}.
3) ℛ2 = {(𝑦, 𝑧) ∈ 𝐵𝑥𝐶 / 𝑦 + 𝑧 ≤ 12} = {(2, 9); (2, 8); (2, 7); (4, 8); (4, 7)}.
ℛ2−1 = {(9, 2); (8, 2); (7, 2); (8, 4); (7, 4)}.
4) ℛ1 ∘ ℛ2 = {(1, 9); (1, 8); (1, 7); (3, 8); (3, 7)}.

Definición 58. Sea ℛ ⊆ 𝐴𝑥𝐵 una relacion binaria, llamamos relación complementaria de ℛ, y lo
denotamos por ℛ 𝑐 , a la relación de A en B que cumple que:

𝓡𝒄 = {(𝒙, 𝒚) ∈ 𝑨𝒙𝑩 / (𝒙, 𝒚) ∉ 𝓡 ∧ (𝒙, 𝒚) ∈ 𝑨𝒙𝑩}

Observación. Para toda relación ℛ y su complemento se cumple que:

• ℛ ∪ ℛ 𝑐 = 𝐴𝑥𝐵

Ejemplo. Sean los conjuntos 𝐴 = {2, 3} y 𝐵 = {1, 5, 6}, encontrar la relación complementaria de las
siguientes relaciones binarias:

ℛ1 = {(𝑥, 𝑦) ∈ 𝐴𝑥𝐵 / 𝑦 𝑒𝑠 𝑝𝑎𝑟} ℛ2 = {(2, 1); (2, 6); (3, 5); (3, 6)}
Desarrollo:
1) 𝐴𝑥𝐵 = {(2, 1), (2, 5); (2, 6); (3, 1), (3, 5); (3, 6)}.
2) ℛ1 = {(𝑥, 𝑦) ∈ 𝐴𝑥𝐵 / 𝑦 𝑒𝑠 𝑝𝑎𝑟} = {(2, 6); (3, 6)}.
ℛ1𝑐 = {(2, 1); (2, 5); (3, 1); (3, 5)}
{(2, 6); (3, 6)} ∪ {(2, 1); (2, 5); (3, 1); (3, 5)} = 𝐴𝑥𝐵.
3) ℛ2 = {(2, 1); (2, 6); (3, 5); (3, 6)}.
ℛ2𝑐 = {(2, 5); (3, 1)}.
{(2, 1); (2, 6); (3, 5); (3, 6)} ∪ {(2, 5); (3, 1)} = 𝐴𝑥𝐵.
Prof. Yordan Aguilar 34

Es posible representar una relación de varias formas, las principales son:

• Diagrama sagital
• Matriz de relación
• Grafo
Ejemplo. Representar las siguientes relaciones por medio de diagramas sagitales, matrices de relación y
grafos:

ℛ1 = {(1, 𝑐); (3, 𝑑); (2, 𝑏); (2, 𝑑)} ℛ2 = {(𝑥, 4), (𝑥, 3); (𝑦, 4); (𝑧, 1); (𝑧, 3)}
Desarrollo:
𝓡𝟏
1) 𝒂
1 𝑎 𝑎 𝑏 𝑐 𝑑 𝒅 𝟑
𝟏
2
𝑏 [1 𝑥 ]
𝑐 2 𝑥 𝑥 𝒄
3 𝑥 𝒃
3 𝑑 𝟐

𝐷𝑖𝑎𝑔𝑟𝑎𝑚𝑎 𝑠𝑎𝑔𝑖𝑡𝑎𝑙 𝑀𝑎𝑡𝑟𝑖𝑧 𝑑𝑒 𝑟𝑒𝑙𝑎𝑐𝑖ó𝑛 𝐺𝑟𝑎𝑓𝑜

𝓡𝟐
2)

𝑥 1 1 2 3 4 𝟐
𝑥 𝑥 𝑥 𝟑 𝟒
𝑦 2 [ ] 𝒙
𝑦 𝑥
3 𝟏 𝒚
𝑧 𝑧 𝑥 𝑥
4 𝒛

Definición 59. Dado un conjunto A distinto de vacío, decimos que la relación ℛ esta definida sobre A si y
solo si se cumple que:

𝓡 ⊆ 𝑨𝒙𝑨 ↔ 𝓡 = {(𝒙, 𝒚) ∈ 𝑨𝒙𝑨 / 𝑷(𝒙, 𝒚)}

Ejemplo. Dado el conjunto 𝐴 = {1, 2, 3}, escribir por extensión los elementos pertenecientes a las
siguientes relaciones binarias y encontrar la relación inversa de cada conjunto:

ℛ1 = {(𝑥, 𝑦) ∈ 𝐴2 / 𝑥 + 𝑦 = 5} ℛ2 = {(𝑥, 𝑦) ∈ 𝐴2 / |𝑥 − 𝑦| − 1 = 0}

Desarrollo:
1) 𝐴𝑥𝐴 = {(1, 1), (1, 2); (1, 3), (2, 1); (2, 2); (2, 3); (3, 1); (3, 2); (3, 3)}.
2) ℛ1 = {(𝑥, 𝑦) ∈ 𝐴2 / 𝑥 + 𝑦 = 5} = {(2, 3), (3, 2)}.
ℛ1−1 = {(3, 2); (2, 3)}.
3) ℛ2 = {(𝑥, 𝑦) ∈ 𝐴2 / |𝑥 − 𝑦| − 1 = 0} = {(1, 2); (2, 1); (2, 3); (3, 2)}.
ℛ2−1 = {(2, 1); (1, 2); (3, 2); (2, 3)}.
35

Las relaciones binarias definidas sobre un conjunto presentan las siguientes propiedades:
• Reflexiva: Una relación binaria ℛ ⊆ 𝐴2 es reflexiva si incluye a todos los pares ordenados del tipo
(𝑥, 𝑥) para todo elemento 𝑥 de A, es decir:
ℛ 𝑒𝑠 𝑟𝑒𝑓𝑙𝑒𝑥𝑖𝑣𝑎 𝑒𝑛 𝐴 ↔ ∀𝑥 ∈ 𝐴, (𝑥, 𝑥) ∈ ℛ
Ejemplo. Sea 𝐴 = {1, 2, 3, 4}, se tiene que:

ℛ1 = {(1, 1); (1, 3); (2, 2); (3, 1); (3, 3); (4, 4)} sí es reflexiva ya que contiene a todos los elementos de la
forma (𝑥, 𝑥)/ 𝑥 ∈ 𝐴.
ℛ2 = {(1, 1); (2, 2); (4, 3); (4, 4)} no es reflexiva ya que no contiene el par ordenado (3, 3).

• Antirreflexiva: Una relación binaria ℛ ⊆ 𝐴2 es antirreflexiva si no incluye a ningún par ordenado

del tipo (𝑥, 𝑥) para todo elemento 𝑥 de A, es decir:
ℛ 𝑒𝑠 𝑎𝑛𝑡𝑖𝑟𝑟𝑒𝑓𝑙𝑒𝑥𝑖𝑣𝑎 𝑒𝑛 𝐴 ↔ ∀𝑥 ∈ 𝐴, (𝑥, 𝑥) ∉ ℛ
Ejemplo. Sea 𝐴 = {1, 2, 3, 4}, se tiene que:

ℛ1 = {(1, 3); (4, 3); (2, 1); (4, 1)} si es antirreflexiva ya que no contiene a ningún elemento de la forma
(𝑥, 𝑥) / 𝑥 ∈ 𝐴.
ℛ2 = {(1, 1); (4, 2); (2, 4); (1, 3)} no es antirreflexiva ya que contiene al par ordenado (1, 1).
• Simétrica: Una relación binaria ℛ ⊆ 𝐴2 es simétrica si para todo elemento (𝑥, 𝑦) perteneciente a
ℛ existe el elemento (𝑦, 𝑥) que también pertenece a ℛ, es decir:
ℛ 𝑒𝑠 𝑠𝑖𝑚𝑒́ 𝑡𝑟𝑖𝑐𝑎 𝑒𝑛 𝐴 ↔ ∀(𝑥, 𝑦) ∈ ℛ → (𝑦, 𝑥) ∈ ℛ
Ejemplo. Sea 𝐴 = {1, 2, 3, 4}, se tiene que:

ℛ1 = {(1, 2); (1, 3); (4, 4); (2, 1); (3, 3); (3, 1)} sí es simétrica ya que para cada elemento (𝑥, 𝑦) existe su
correspondiente elemento (𝑦, 𝑥).
ℛ2 = {(4, 2); (1, 1); (3, 4); (4, 1)} no es simétrica ya que para algunos elementos de ℛ2 no está su
respectivo inverso.
• Antisimétrica: Una relación binaria ℛ ⊆ 𝐴2 es antisimétrica si (𝑥, 𝑦) ∈ ℛ y (𝑦, 𝑥) ∈ ℛ implica que
necesariamente 𝑥 = 𝑦, es decir:
ℛ 𝑒𝑠 𝑎𝑛𝑡𝑖𝑠𝑖𝑚é𝑡𝑟𝑖𝑐𝑎 𝑒𝑛 𝐴 ↔ ∀(𝑥, 𝑦) ∈ 𝐴, (𝑥, 𝑦) ∈ ℛ ∧ (𝑦, 𝑥) ∈ ℛ → 𝑥 = 𝑦
Ejemplo. Sea 𝐴 = {1, 2, 3, 4}, se tiene que:

ℛ1 = {(1, 2); (4, 2); (1, 1); (4, 4)} sí es antisimétrica ya que cumple correctamente las reglas de la
propiedad.
ℛ2 = {(3, 3); (1, 4); (4, 1); (2, 3)} no es antisimétrica ya que (1, 4) y (4, 1) son inversos, pero 𝑥 ≠ 𝑦.
• Transitiva: Una relación binaria ℛ ⊆ 𝐴2 es transitiva si (𝑥, 𝑦) ∈ ℛ ∧ (𝑦, 𝑧) ∈ ℛ implica que
(𝑥, 𝑧) ∈ ℛ, es decir:
ℛ 𝑒𝑠 𝑡𝑟𝑎𝑛𝑠𝑖𝑡𝑖𝑣𝑎 𝑒𝑛 𝐴 ↔ ∀𝑥, 𝑦, 𝑧, {(𝑥, 𝑦) ∈ ℛ ∧ (𝑦, 𝑧) ∈ ℛ → (𝑥, 𝑧) ∈ ℛ}
Ejemplo. Sea 𝐴 = {1, 2, 3, 4}, se tiene que:

ℛ1 = {(1, 3); (4, 2); (3, 2); (1, 2)} sí es transitiva ya que (1, 3); (3, 2) 𝑦 (1, 2) pertenecen a la relación.
ℛ2 = {(2, 3); (3, 2); (4, 4)} no es transitiva ya que el elemento (2, 2) no pertenece a la relación.
Prof. Yordan Aguilar 36

• Equivalencia: Una relación binaria ℛ ⊆ 𝐴2 se dice de equivalencia si y solo si es reflexiva,

simétrica y transitiva.
Ejemplo. Sea 𝐴 = {1, 2, 3, 4}, se tiene que:

ℛ1 = {(1, 1); (2, 2); (3, 3); (4, 4); (1, 3); (3, 1); (2, 4); (4, 2)} si es de equivalencia ya que es reflexiva,
simétrica y transitiva a la vez.
ℛ2 = {(2, 3); (4, 4); (3, 2); (1, 1)} no es de equivalencia ya que no es transitiva.

Dado un conjunto A y una relación de equivalencia ℛ definida sobre A, sea 𝑥 ∈ 𝐴, definimos la clase de
equivalencia de 𝑥, y lo denotamos por [𝑥], como el conjunto formado por todos los elementos de 𝐴 que están
relacionados con "𝑥" a través de ℛ, es decir:
[𝒙] = {𝒙 ∈ 𝑨 / 𝒚 ∈ 𝑨 ∧ 𝒚 𝓡 𝒙}

Dado un conjunto A y una relación de equivalencia definida sobre A, definimos el conjunto cociente, y lo
denotamos por 𝐴/ℛ, al conjunto formado por todas las clases de equivalencia pertenecientes a A, es decir:
𝑨/𝓡 = {[𝒙] ∈ 𝑨 / 𝒙 ∈ 𝑨}
Ejemplo. Sea ℛ = {(2, 2); (3, 3); (4, 4); (7, 7); (3, 4); (4, 7); (3, 7); (4, 3); (7, 4); (7, 3)}, se tiene que:

[2] = {2}
[3] = {3, 4, 7}
[4] = {4, 7, 3}
[7] = {7, 4, 3}

Nótese que [3] = [4] = [7], por lo tanto 𝐴/ℛ = {[2], [3]}.

• Orden: Una relación binaria ℛ ⊆ 𝐴2 se dice de orden si y solo si es reflexiva, antisimétrica y

transitiva.
Observación. Una relación de orden ℛ definida sobre A puede denotarse como el par ordenado (𝐴, ≤), lo
que significa que A esta ordenado por ℛ.
• Sea A un conjunto dado, ≤ es una relación de orden total si y solo si todos los elementos de A se
relacionan entre sí, es decir:
∀𝒙, 𝒚 ∈ 𝑨, (𝒙 ≤ 𝒚) ∨ (𝒚 ≤ 𝒙)
• Sea A un conjunto dado, ≤ es una relación de orden parcial si y solo si al menos un par de elementos
de A se relacionan entre sí, es decir:
∃𝒙, 𝒚 ∈ 𝑨 / (𝒙 ≤ 𝒚) ∨ (𝒚 ≤ 𝒙)
Ejemplo.

(ℕ, ≤) es un conjunto totalmente ordenado ya que se cumplen las propiedades reflexiva, antisimétrica y
transitiva y además para todo 𝑥, 𝑦 perteneciente al conjunto de los naturales se cumple que 𝑥 ≤ 𝑦 o 𝑦 ≤ 𝑥.
Sea el conjunto 𝐴 = {1, 2, 3} y su conjunto potencia ℘(𝐴) = {𝜙, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}},
podemos decir que (℘(𝑥), ⊆) es un conjunto parcialmente ordenado ya que cumple con las propiedades
reflexiva, antisimétrica y transitiva pero no todo elemento de ℘(𝑥) se relaciona mediante la operación de
subconjunto.