¿ESTÁS SEGURO DE

TENER LÓGICA?...

LA MEJOR
INFORMACIÓN
¡NO TE QUEDES
CON LA DUDA!

SIMÓN
RODRIGUEZ
MAYO DE 2022
 Indice:
Parte I
· Lógica y su objetivo
· Lenguaje Natural y lenguaje formal
· Características del lenguaje formal
· Clasificación del lenguaje según su función y uso
· Sintaxis y semiótica en el lenguaje lógico
· Lógica simbólica
· Elementos de un razonamiento o argumento
· Lógica proposicional
· Tipo o clases de proposiciones
· Conectores lógicos
· Polinomio lógico
· Formalización de Proposiciones
· Tablas de la Verdad
· Equivalencias Lógicas
· Arboles de la Verdad
Parte II
. Silogismo
. Tipos de Silogismo
. Como se construye un Silogismo
. Como se identifica un Silogismo
. Inferencias
. Principios lógicos básicos
. Leyes y reglas lógicas de inferencia
. Otras leyes y reglas lógicas de inferencia (de equivalencia)
. Normas prácticas para el análisis de inferencias (deducción
natural)
. Ejemplos de análisis de inferencias usando el método analógico
. Demostración de teoremas lógicos a partir de premisas
conocidas
Parte III
. Leyes y reglas lógicas de inferencia
. Otras leyes y reglas lógicas de inferencia (de equivalencia)
. Normas prácticas para el análisis de inferencias (deducción
natural)
. Ejemplos de análisis de inferencias usando el método analógico
. Demostración de teoremas lógicos a partir de premisas
conocidas
 Editorial
El presente manuscrito constituye una
introducción a los conocimientos
elementales de la lógica, conceptualización de
conjuntos, silogismo y diagrama de Venn . Su
propósito principal es
familiarizar al lector con estos contenidos. En su
elaboración .Ante todo, debemos saber que la
lógica es considerada una ciencia la cuál estudia el
razonamiento de diversas
actividades y nos
permite diferenciar cuando los argumentos
son válidos o no válidos,
lógica matemática es una
multi-herramienta que nos
ayuda a facilitar diversas
actividades y amplía nuestro
vocabulario técnico.
 Colaboradora:
Yexi Montilla
C.I:29.968.680
Administración en
Materiales Financieros
Sección:10100

 Capitulo I

Lógica y su objetivo
La lógica, es la ciencia que se encarga de
estudiar métodos y principios usados para
distinguir los razonamientos correctos de los
incorrectos
cuyo objetivo principal es moldear la
estructura mental a través del
análisis del lenguaje, la
comprensión de un
razonamiento; en la
cuál abarca leyes,
criterios y/o
patrones.
 Lenguaje
El
lenguaje es el instrumento principal de la sociedad,
la cuál está compuesta por secuencias de
símbolos(letras y números) y signos(como el guión,
la coma, etc…) y para construir secuencias
numéricas (0, 1, 2,…),

Natural Formal
Es mucho más técnica y
En su defecto, se usa de científica, donde se usa
forma cotidiana y en un en comunicaciones
ámbito informal, académicas,
legales o de otro
ámbito
formal;
 Características del lenguaje
formal

el lenguaje formal consta de

diversas características, en las cuáles podemos
apreciar las siguientes: se desarrolla a partir de
una teoría previamente establecida, tienen un
componente semántico mínimo, observa
estrictamente las reglas lógico-gramáticales,
no admite contracciones ni expresiones ni
modismos, la sintaxis produce oraciones sin
ambigüedad, en cuanto al significado de sus
palabras.
Clasificación del lenguaje
según su función y uso:
El lenguaje se clasifica
según su función, tiene un Lenguaje
uso variable según el directivo
propósito y
el contenido del mensaje, se Lenguaje
puede clasificar de la lógico
siguiente manera:,etc…

Lenguaje expresivo Est

os
len tipos
gu d
pu ajes e
com ede
Lenguaje bin n
ars
comunicativo
e.

o informativo

 Sintaxis y semiótica en el
lenguaje lógico, lógica simbólica
La sintaxis se ocupa del uso de los signos y símbolos sin
considerar cuáles son sus significados pero sí se toma en cuenta
la relaciones existentes entre ellos, por otro lado, en la lógica
simbólica es necesario conocer los siguientes términos:

Oración(expresión lingüística que es

gramaticalmente correcta y que posee
sentido completo).

Enunciado(es un segmento, sentencia u

oración aseverativa, enunciativa o
declarativa)

proposición(es un enunciado,
sentencia u oración aseverativa
donde se le agrega un valor de
verdad o falsedad pero nunca
ambos).
Elementos de un razonamiento
o argumento

Los elementos de un
razonamiento o argumento,
son dos: premisas(son
datos previos que se conocen
como verdaderos o falsos)
conclusión(es el resultado o
deducción, que se obtiene a
partir de la a premisas, esta
puede ser verdadera o falsa) se
usa el método deductivo para
obtener una conclusión.

·
 Lógica proposicional

La lógica proposicional o lógica de

enunciados, posibilita que se asigne un valor
veritativo(verdadero o falso) para el enunciado completo, se
empezó usando el lenguaje natural hasta finales del siglo
XIX, a partir de ahí se empezó a usar el lenguaje formal
debido a que tenían que comunicar
en el área de la ciencia.
Tipo o clases de proposiciones
y Conectores lógicos
C
son oraciones
L Proposiciones simples,
simples, una sola
categóricas o atómicas
A proposición

S
E
S Proposiciones complejas, cuando dos o más
compuestas, moleculares proposiciones se
o hipotéticas encuentra enlazadas por

conectivos

C
O
N El operador monádico es
Monádicos o Unitarios
E el no o negación

C
T
O
Afectan a dos variables y son:
R conjunción, disyunción inclusiva
Diádicos o Binarios;
E y exclusiva, condicional o
bicondicional.
S

Formalización de Proposiciones
Existen los polinomios lógicos, que, en
resúmen, son aquellas expresiones lógicas
cuyo valor de verdades siempre es verdadero, sin
importar los valores de verdad que tengan
las variables proposicionales.

Éste se construye con la abstracción del contenido y el uso de

conectivos u operadores lógicos, que se
relacionan por medio de los signos de agrupación...

Como lo son: (_), [_], {_}, |_|

Acerca de formalizaciones de proposiciones, el autor García

Zárate señala que “formalizar un proposición significa abstraer su
forma lógica, es decir, revelar su estructura sintáctica a través del
lenguaje formalizado de la lógica”, en términos sencillos,
formalizar una proposición equivale a representarla
simbólicamente.
 Tablas de la Verdad
Son para verificar y comprobar si la fórmula de una proposición está bien
formada o no, es decir, si el racionamiento es válido o no válido, en dichas
tablas la deducción es partir de las variables y por los operadores cuya
jerarquía es menor y se va avanzando.

Ejemplos de Tablas de verdad fundamentales

Equivalencias Lógicas
se podría considerar equivalente
si dos fórmulas o polinomios proposicionales
son idénticas entre sus funciones veritativas,
es decir, son equivalentes si sus matrices o
tablas de verdad coinciden entre sí.
 Arboles de la Verdad
usan métodos parecidos a las tablas de verdad al momento de
resolver si una fórmula es verdadera o falsa, y para ello, se sigue el
siguiente procedimiento: se sustituyen los valores de verdad
suministrados de cada una de las variables proposicionales, se
realizan las operaciones necesarias, determinadas por los
conectivos y se operan primero los paréntesis, luego los corchetes,
a continuación las llaves y de último las barras.
Capitulo II

Silogismo
y sus tipos
El silogismo es precisamente un razonamiento en el que la
conclusión a la que se llega es una consecuencia que se sigue
necesariamente de las premisas de partida
como su antecedente. Hay tres tipos básicos de
silogismo expandido, que son el:

silogismo con una premisa causal

El sorites

El dilema
entre otros.
¿Como se construye un silogismo?

Para verificar la validez de un silogismo se puede usar el método de

diagramas de Venn. Cada término se representa mediante un círculo
y se dibuja por parejas la relación entre los términos de las premisas
mayor y menor. Si al representar las premisas queda representada la
conclusión, el silogismo es válido.
Así pues, el silogismo consta de
dos juicios, premisa mayor y

premisa menor, en los que se comparan tres términos (sujeto,

predicado y «término medio»), de cuya comparación se obtiene un
nuevo juicio como conclusión.
 Inferencia
Son reglas, leyes y principios que se confrontan (o
comparan) a una fórmula compuesta por dos o más
premisas que conducen a conclusiones. Las premisas son
conjuntos de fórmulas integradas por proposiciones. El
paso lógico de las premisas a las conclusiones es una
deducción. La conclusión obtenida es una consecuencia
lógica de las premisas

El resultado del análisis inferencial

de las premisas empleando los
principios, leyes y reglas lógicas de
inferencia, se confronta o compara
con la conclusión del planteamiento
y, de allí, se deduce si el
razonamiento o la inferencia
expuesta es válida o inválida.

Principios lógicos básicos

e i d e n t i d ad (ID):
d
• Principio v a l e ncia entr
e
acer e q u i
permite h s c o n a r gumento
sicione
dos propo ≡ p
igual: p
n t r a d i c c ión (NC):
de no co
• Principio i ó n n o p uede ser
osic
una prop
a y falsa
verdader ∧ -p)
e a m e n t e: - (p
simultán r o e x c l u ido (TE):
del terc e
• Principio v e r d a d e ra o es
osición es
una prop
falsa: p ∨ -p

d o b l e n egación
de la
• Principio c ió n a f ir m ativa
proposi
(DN): una s m a proposici
ón
equivale
a la m
os
i
v e c e s : - ( ≡
-p) p
negada d
 Leyes y reglas lógicas de
inferencia
→
• Implicativas (fórmulas condicionales, )

* Regla del Modus Ponendo Ponens (MPP): (modo que afirmando

se afirma) a partir de una fórmula condicional y de su
antecedente, se obtiene su consecuente. Si en una proposición
se afirma el antecedente entonces se obtiene como conclusión el
consecuente. Ejemplo: si hay luz solar, entonces, es de día. Hay
luz solar. Por lo tanto, es de día. Simbólicamente se expresa:

 * Regla del Modus Tollendo Tollens (MTT): (modo que negando se

niega) a partir de una fórmula condicional y de la negación de su
consecuente, se obtiene la negación del antecedente. Si en un
condicional se niega el consecuente entonces se obtiene el
antecedente negado. Ejemplo: si está soleado entonces es de día.
No es de día. Por lo tanto, no está soleado. Simbólicamente se
expresa:

* Regla del Modus Tollendo Ponens (MTP) o silogismo disyuntivo (SD):

(modo que negando afirma) a partir de una fórmula disyuntiva y de
la negación de uno de sus componentes, se obtiene el otro
∨
componente. Si en una proposición disyuntiva (disyunción, ) se
niega un componente, como conclusión se afirma el otro
componente. Ejemplo: Es de día o es de noche. No es de día. En
consecuencia, es de noche. Simbólicamente se expresa:

 * Regla del Silogismo Hipotético (SH) o transitividad (Trans.): a

partir de dos fórmulas condicionales, donde el consecuente de la
primera es el antecedente de la segunda, se obtiene una
condicional formada por el antecedente de la primera y el
consecuente de la segunda. Silogismo que plantea un caso
hipotético.

* Regla del Dilema Constructivo (DC): a partir de dos fórmulas

condicionales y de la disyunción de sus antecedentes se obtiene la
disyunción de sus consecuentes.

Regla del Dilema Destructivo (DD): a partir de dos fórmulas

condicionales y de la disyunción de las negaciones de los
consecuentes, se obtiene la disyunción de las negaciones de sus
antecedentes.
 Regla de Simplificación (Simp.): a partir de la conjunción de dos
fórmulas se obtiene una de ellas.

* De equivalencia (fórmulas con doble implicación; ≡, ↔) (Corral, 2014c).

* Regla de Absorción (Abs.): a partir de la conjunción y disyunción
de dos proposiciones se obtiene una de ellas.

* Regla de Conjunción (Conj.): a partir de dos fórmulas se obtiene la

conjunción de ambas:
* Regla de la Adición (Ad.): a partir de una fórmula se obtiene la
disyunción de esa fórmula con cualquier otra:

Otras leyes y reglas lógicas de

inferencia (de equivalencia)
Normas prácticas para el análisis de
inferencias (deducción natural)

• Si el enunciado se expresa en lenguaje natural, se formalizará

asignando a cada proposición simple (atómica) una variable
proposicional (p, q, r,…), considerando que si se repite la misma
oración (proposición) se asignará siempre la misma variable
(no se asignará otra variable).

• Se identifican las premisas y se traducen al lenguaje lógico, usando

los conectores (conectivos u operadores) lógicos pertinentes a la
expresión empleando símbolos. Las premisas van separadas entre
∧
sí por una conjunción ( ) y la conclusión se expresa como un
→
condicional ( ).

• Se escribe la fórmula proposicional; es decir, se traduce a una fór-

mula proposicional todo el enunciado.

• Se ponen las premisas y la conclusión en forma de esquema; en

otras palabras, se coloca la conclusión en la parte superior (de
forma visible) y se escriben las premisas enumerándolas una debajo
de la otra, luego, se traza una línea que dividirá las premisas del
análisis inferencial.

• Se van enumerando los pasos y, a la par, se comparan las premisas

con las leyes, principios y reglas de inferencias, intentando
relacionarlas con las premisas iniciales (Premisas 1, 2, 3,...) y las
conclusiones parciales que se van obteniendo posteriormente;
además, se indicará al lado de cada una de ellas, la ley utilizada y
entre paréntesis las premisas y conclusiones parciales involucradas.
Este procedimiento se realizará tantas veces como sea necesario
hasta obtener una conclusión final (ver ejemplos).

• Se compara la conclusión final

obtenida del análisis inferencial
con
la conclusión del enunciado, y
se verifica si es igual o hay
alguna
diferencia; si son iguales se
declara que la inferencia es
válida, en
caso contrario se dirá que la
inferencia es inválida (no
válida).

Normas prácticas para el análisis

de inferencias (deducción natural)
A continuación se presentarán ejemplos de análisis de inferencia
usando el método lógico, se incluirán ejemplos sencillos y ejemplos un
poco más complejos.

Señale si las inferencias son válidas:

Ejemplo 1. Si el mercurio es un metal entonces el mercurio es buen
conductor de la electricidad. El mercurio es un metal. Por tanto, el
mercurio es buen conductor de la electricidad.

Forma lógica o formalización:

p: el mercurio es un metal.
q: el mercurio es buen conductor de la electricidad.
Fórmula proposicional: [(p → ∧ →
q) p] q
En símbolos:
(Premisa 1) p → q = el mercurio es un metal entonces el mercurio es
buen conductor de la electricidad.
(Premisa 2) p = el mercurio es un metal.
Conclusión (C): q = el mercurio es buen conductor de la electricidad.
Análisis inferencial:
C: q
(1) p→ q Premisa 1. Respuesta: la inferencia es válida.
(2) p Premisa 2.
(3) q Modus Ponendo Ponens (MPP) (1, 2).
Ejemplo 2. Cuando el río tiene corrientes muy fuertes es
peligroso, el río no es peligroso. Entonces el río no tiene
corrientes muy fuertes.

Forma lógica o formalización:

p: el río tiene corrientes muy fuertes.
q: el río es peligroso.
Fórmula proposicional: [(p → ∧ → -p
q) -q]

En símbolos:
(Premisa 1) p → q = el río tiene corrientes muy fuertes entonces es
peligroso.
(Premisa 2) -q = el río no es peligroso.
Conclusión (C): -p = el río no tiene corrientes muy fuertes.

Análisis inferencial:
C: -p
(1) p→ q Premisa 1.
(2) -q Premisa 2.
(3) -p Modus Tollendo Tollens (MTT) (1, 2).

Respuesta: la inferencia es válida.

Ejemplo 3. Enrique representa al estado Carabobo en la Asamblea
Nacional y tiene inmunidad parlamentaria. Los diputados tienen
inmunidad. Enrique es diputado de la Asamblea Nacional porque
estos tienen inmunidad parlamentaria. Por lo tanto, Enrique es
diputado y representa al estado Carabobo.
Forma lógica o formalización:

p: Enrique representa al estado Carabobo en la Asamblea Nacional.

q: Enrique tiene inmunidad parlamentaria.
r: Los diputados tienen inmunidad parlamentaria.
s: Enrique es diputado de la Asamblea Nacional.

Fórmula proposicional: {[(p ∧ q) ∧ r ∧(r → s)] → (s ∧ p)}

En símbolos:
(Premisa 1) p∧ q = Enrique representa al estado Carabobo en la
Asamblea
Nacional y tiene inmunidad parlamentaria.
(Premisa 2) r = Los diputados tienen inmunidad parlamentaria.
(Premisa 3) r→ s = Enrique es diputado de la Asamblea Nacional
porque éstos tienen inmunidad parlamentaria.
Conclusión: s ∧p = Enrique es diputado y representa al estado
Carabobo en la Asamblea Nacional y representa al estado Carabobo.

Análisis inferencial:
C: s∧ p
∧
(1) p q Premisa 1.
(2) r Premisa 2.
→
(3) r s Premisa 3.
(4) p Ley de simplificación (Simp.) (1).
(5) s MPP (3, 2).
∧
(6) s p Conjunción (Conj.) (5, 4).

Respuesta: la inferencia es válida.

Ejemplo 4. Si el país es democrático, el pueblo determina su forma de

gobierno y elige a sus gobernantes; el país es democrático. Luego, el
pueblo determina su forma de gobierno y elige a sus gobernantes.

Forma lógica o formalización:

p: país es democrático.
q: el pueblo determina su forma de gobierno.
r: el pueblo elige sus gobernantes.
Fórmula proposicional: {[p → ∧ ∧ → ∧ r)}
(q r)] p} (q

En símbolos:
(Premisa 1) p → ∧(q r) = el país es democrático entonces el pueblo
determina su forma de gobierno y elige a sus gobernantes.
(Premisa 2) p = el país es democrático.
Conclusión (C): q∧ r = el pueblo determina su forma de gobierno y elige
a sus gobernantes .

Análisis inferencial:
C: q∧ r
→ ∧
(1) p (q r) Premisa 1.
(2) p Premisa 2.
∧
(3) q r MPP (1, 2).
Respuesta: la inferencia es válida.

Ejemplo 5. Si Nelson es más alto que William, entonces Eneida es más

baja que Arelis; pero Eneida no es más baja que Arelis; si Nelson tiene la
misma estatura que Iván, entonces Nelson es más alto que William;
luego Iván y Nelson tienen la misma estatura.

Formalización o forma lógica:

p: Nelson es más alto que William.
r: Nelson tiene la misma estatura que Iván.
q: Eneida es más baja que Arelis.
Fórmula proposicional: {[(p → ∧
q) (-q)∧ → q)] →-r}
(r

En símbolos:
(Premisa 1) p→ q = si Nelson es más alto que William entonces María es
más baja que Arelis.
(Premisa 2) –q = Eneida no es más baja que Arelis.
(Premisa 3) r→ q = si Nelson tiene la misma estatura que Iván, entonces
Nelson es más alto que William.
Conclusión: -r = Nelson e Iván no tienen la misma estatura.
 Análisis inferencial: C: -r
→
(1) p q Premisa 1.
(2) -q Premisa 2.
→
(3) r p Premisa 3.
(4) –p MTT (Modus Tollendo Tollens) (1, 2).
(5) -r MTT (3, 4).
Por tanto, la estructura es válida.
Respuesta: la inferencia es válida.

Ejemplo 6. Si Eros ganó la carrera; entonces, Pedro fue el segundo o

Ramón fue el segundo. Si Pedro fue el segundo, entonces Eros no ganó
la carrera. Si Carlos fue el segundo entonces, Ramón no fue el segundo.
Eros ganó la carrera. Luego, Carlos no fue el segundo.

Formalización:
p: Eros ganó la carrera.
r: Ramón fue el segundo.
q: Pedro fue el segundo.
s: Carlos fue el segundo.
Fórmula proposicional:|{[p → ∨ ∧ → ∧ → ∧ →
(q r)] (q –p) (s -r) p} -s|
En símbolos:
(Premisa 1) p → ∨ (q r) = Si Eros ganó la carrera; entonces, Pedro fue el
2o o Ramón fue el 2o.

(Premisa 2) q→ –p = Si Pedro fue el 2o, entonces, Eros no ganó.

(Premisa 3) s→ -r = Si Carlos fue el 2o, entonces, Ramón no fue el 2o.
(Premisa 4) p = Eros ganó la carrera.
Conclusión: -s = Carlos no fue el 2o.
 Análisis inferencial: C: -s
→ ∨
(1) p (q r) Premisa 1.
→
(2) q -p Premisa 2.
→
(3) s -r Premisa 3.
(4) p Premisa 4.
∨
(5) q r Modus Ponendo Ponens (MPP) (1, 4).
(6) –q Aplicación de MTT (Modus Tollendo Tollens) (2, 5).
(7) r Aplicando MTP (Modus Tollendo Ponens) (5, 6).
(8) –s Aplicando MTT (3, 7).
Por tanto, la estructura es válida.
Respuesta: la inferencia es válida.

Demostración de teoremas
lógicos a partir de premisas
conocidas
A este tipo de demostraciones se les denomina también como prueba
formal de validez. Se utiliza el método analógico o método general de la
deducción, que consiste en el uso de reglas, principios y leyes lógicas en
confrontación con las premisas iniciales para derivar conclusiones
parciales sucesivas, que se van confrontando entre sí, y que conducen a
la derivación de una conclusión de la inferencia.
Si la conclusión es consistente con esas deducciones se dirá que la
inferencia es válida, y si no se logra obtener la misma conclusión se dirá
que la inferencia es no válida o, también puede suceder, que hubo un
error durante el proceso de análisis. Por lo cual, hay que ser muy
cuidadoso al momento de realizar las confrontaciones y comparaciones.
Al utilizar este método, Vírgüez de Quiñónez y Naveda de Fernández
(s.f.) enumeran los siguientes pasos:

1) Detallar las premisas identificándolas con un número al lado

izquierdo y colocarlas en líneas sucesivas.

2) Aplicar las leyes, reglas y principios lógicos combinándolas con

las premisas iniciales; lo cual conduce a conclusiones parciales y a
nuevas combinaciones que llevan a la conclusión final.

3) A cada conclusión parcial se le colocará al lado derecho las

justificaciones de cada paso dado; es decir, se indicarán leyes,
reglas y/o principios utilizados para obtener la conclusión parcial
y el número de las premisas combinadas.
Capitulo III

Conceptualización de
conjuntos
Definición:

Definir un conjunto es indicar cuáles son sus

elementos, estará bien
definido cuando se conocen, sin lugar a dudas,
cuáles son los elementos
que pertenecen a él y cuáles no pertenecen a ese
conjunto (Navarro, 1970). Cuando no podemos
establecer cuáles son, sin lugar a dudas los
elementos, no estamos en presencia de un
conjunto. Ejemplo: los estudiantes que no
entienden a su profesor; no sería un conjunto.
Existen dos formas de definir o determinar un
conjunto: por extensión y
por comprensión. Según Navarro (ob. cit.), un
conjunto está definido por
extensión “...cuando se enumeran cada uno de los
elementos [del conjunto]” (p. 297) y está definido
por comprensión “...cuando se da una propiedad o
atributo que es común a todos los elementos del
conjunto” (p. 296).
 Notación:

Los conjuntos se denotan utilizando las letras del alfabeto en

mayúsculas
(A, B, C, D,...) y a sus elementos con letras minúsculas (a, b, c,..., a1
, a2 ,..., an , bi ,..., etc.), a menos que los elementos sean a su vez otros
conjuntos. Sin embargo, pueden utilizarse números, letras griegas u
otra denominación. Por otra parte, los elementos que conforman un
conjunto se encierran, a su vez, entre llaves ({ }) y separados entre sí
por comas. También se utilizan símbolos tales como:

∈ (pertenencia): a ∈ A se lee: “a pertenece al conjunto A”

∉ (no pertenencia): b ∉ A se lee: “b no pertenece al conjunto A”
∀ paratodo (cuantificador universal)
∃ existe (cuantificador existencial)
/ tal que
= igual que
≠ diferente
(,) paréntesis
Algunos símbolos lógicos como: ∧ ∨
(conjunción), (disyunción),
→ ↔
(implicación), (equivalencia), etc.

 Los símbolos lógicos ∀ ∃

(para todo, cuantificador universal) y
(pertenencia o existencia, cuantificador existencial) se utilizan para
enunciar proposiciones lógicas en Matemática, relativas a objetos
matemáticos (Pérez, Martín, Barbero, Farran y Arratia, 2009); y son
utilizados, particularmente, en la teoría de conjuntos. Respecto a los
conjuntos, estos autores muestran el uso de esa simbología a través de
los siguientes enunciados: Sea A un conjunto y p(x) una proposición o
propiedad que hace referencia a un elemento x.

• Cuantificador universal: La expresión∀ ∈ ⇒

x A p(x) se lee "para
todo elemento x que pertenece al conjunto A se verifica la propiedad
p(x)", representa la proposición.
A = {x∈ A: p(x)}

∃ ∈
• Cuantificador existencial: La expresión x A| p(x) se lee "existe
un elemento x que pertenece al conjunto A tal que se cumple la
propiedad p(x)", representa la proposición.
{x∈ ∅
A: p(x)} ≠

La negación de cualquiera de las dos proposiciones anteriores se realiza

negando la proposición p(x) y cambiando el cuantificador universal por
el cuantificador existencial, o viceversa. Así, la negación de la
proposición ∀
x∈ ⇒A ∃ ∈
p(x) es " x ∃ ∈
A| p(x)", mientras que la negación de " x A|
p(x)"
∀ ∈ ⇒
es " x A p(x)".
 Tipos de conjuntos
Se pueden identificar los siguientes tipos (Corral, 2014d; Mendiola,
1980; Navarro, 1970; Rojo, 1972; Vírgüez de Quiñónez y Naveda de
Fernández, s.f.):
• Conjuntos finitos: se pueden contar o enumerar todos sus
elementos.
Ejemplos: A = {Los meses del año}; B = {Los números naturales
menores que 15}.
• Conjuntos infinitos: cuando no pueden enumerarse todos sus
elementos. La determinación de conjuntos infinitos por extensión
en su totalidad no es posible, por ello se trabajan casi
exclusivamente con definiciones por comprensión a través de
propiedades.

Ejemplos:

P = {x∈ N/ x es un número primo}

Los conjuntos numéricos:
N conjunto de números naturales: N = {0, 1, 2, 3, 4, 5, 7,...}.
Z conjunto de números enteros: Z = {..., -4, -3, -2, -1, 0. 1, 2, 3, 4,...}.
Q conjunto de números racionales o fraccionarios.
R conjunto de números reales.
C conjunto de números complejos.
• Conjuntos notables:
Conjuntos unitarios: aquellos que poseen solo un elemento.

Ejemplos:

L = {x/x es satélite de la Tierra}; D = {x/x es navidad}

Conjunto vacío: es aquel que no contiene elementos, carece de ele-

mentos; es decir, ningún elemento pertenece al conjunto, se denota
∈
con la letra griega fi (φ) o por { }. Ejemplos: E = {x R/ x ≠ x} = φ = { }
F = {x∈ N/ x + 1 = 0} = φ = { }
Æ: el conjunto vacío, carece de elementos.
Conjunto universal o conjunto referencial: está formado por todos
los conjuntos de un sistema dado o del contexto de un problema,
se denota por U. Ejemplos: Si un problema está circunscrito en el
conjunto de los números reales: U = R.

Relaciones entre conjuntos

Se distinguen (Mendiola, 1980; Navarro; 1970) las siguientes

relaciones entre conjuntos:
Subconjuntos (resulta de la inclusión): se dice que un conjunto A es
subconjunto o parte de B o está incluido en B cuando todos los
elementos de A están en B. Se denota: A ⊂B. La operación asociada
se denomina inclusión. Cuando dos conjuntos A y B no son
subconjuntos se expresan:
A⊄ B. De hecho, a menos que dos conjuntos sean iguales (A = B), si A
⊂ B, por lo regular, B⊄ A (propiedad antisimétrica). Esta sería la
inclusión estricta, cuando exista la posibilidad de que A = B, la
inclusión se escribiría como A⊆ B. Cumple con las siguientes
propiedades:
• Propiedad reflexiva: A ⊂A
• Propiedad transitiva: A ⊂ ∧ ⊂ ⇒ ⊂
B B C A C
• El conjunto vacío es subconjunto de todos los conjuntos: φ⊂ A

Conjuntos iguales: dos conjuntos A y B son iguales si tienen los mismos

elementos. A = B si y solo si todo elemento de A está en B y todo
⇔ ⊂ ∧ ⊂
elemento de B está en A. Es decir, si A = B A B B A.

Ejemplo: Sean A = {x ∈ N/ x es número par} y B = {x ∈ N/ x es múltiplo

de 2}; por lo tanto, A = B.

Conjuntos diferentes: dos conjuntos son diferentes (A ≠ B) cuando se

diferencian al menos en uno de sus elementos.

Ejemplo: Sean C = {x ∈ ∈
N/ 3 < x < 8} y D = {x N/ 1 ≤ x < 7}, entonces
C ≠ D.
Conjuntos disjuntos: dos conjuntos son disjuntos cuando no tienen
ningún elemento en común.
Ejemplo: Sean E = {las vocales} y F = {las consonantes}, luego son
disjuntos.
Conjuntos solapados: dos conjuntos son solapados cuando tienen por lo
menos un elemento en común.
Ejemplo: Sean C = {x ∈ ∈
N/ 3 < x < 8} y D = {x N/ 1 ≤ x < 7}, son
diferentes, es decir, C ≠ D y son solapados porque tienen algunos
elementos en común. En este caso{4, 5, 6}.
Conjunto de partes: es un conjunto que tiene como elementos a todos los
subconjuntos del conjunto dado, incluyendo al conjunto vacío y al mismo
conjunto. También se le denomina como: conjunto potencia.
P (A) = {X / X ⊂
A}. Ejemplo: Sea A = {1, 2, 3}; los subconjuntos de A son:
φ; A1
= {1}; A2
= {2}; A3
= {3}; A4
= {1, 2}; A5

= {1, 3}; A6

= {2, 3} y A.

Por tanto, el conjunto de partes de A: P(A) = {φ, A1

; A2
; A3
; A4
; A5
; A6
; A}

P (A) = {φ, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}
 Diagrama de Venn
A las representaciones visuales de los conjuntos se les denomina
diagramas de Venn. A este respecto, los conjuntos universales o
referenciales (U) suelen representarse utilizando un rectángulo y
los conjuntos por óvalos o elipses cerradas o recintos cerrados
(Rojo, 1972).
 Operaciones entre conjuntos
Para Vírgüez de Quiñónez y Naveda de Fernández (s.f.), las operaciones
con conjuntos “son formas específicas de combinar conjuntos dados
para obtener nuevos conjuntos... de construcción de nuevos conjuntos a
partir de conjuntos conocidos” (p. 67). En esta sección vamos a estudiar
las siguientes operaciones:

• Intersección.
• Unión.
• Diferencia.
• Diferencia simétrica.
• Complemento o complementación.
• Producto cartesiano.

Intersección entre conjuntos

La intersección de dos conjuntos A y B es el conjunto formado por los
elementos comunes a A y B, es decir, los elementos que
simultáneamente pertenecen a A y a B, en un conjunto referencial o
universal U.

A∩ B = {x ∈ U/ x ∈ A ∧ x ∈ B}
Notación: A ∩ B.
Gráficamente: La zona rayada doble corresponde a A ∩ B.
Idempotencia: A ∩ A=A
∩ ∩ ∩ ∩
• Asociatividad: (A B) C=A (B C)
• Conmutatividad: A∩ ∩ B=B A
∩
• Ley de Cierre: A B es un conjunto único.
• Elemento neutro: corresponde al conjunto universal.
U: A ∩
U=U ∩ A=A
La propiedad que caracteriza a los elementos del conjunto intersección,
es la de pertenecer simultáneamente a los conjuntos intersectados, y
se establece a través de una conjunción:

x ∈A∩B⇔x∈A∧x∈B
Si la intersección de dos conjuntos es el conjunto vacío, se dice que esos
conjuntos son disjuntos. A y B son conjuntos disjuntos ⇔ ∩A B = φ.
Si A es subconjunto de B su intersección también es igual a A: A ⊂ ⇔ B
A ∩ B = A.
Si dos conjuntos son subconjunto de un tercero, su intersección
también es subconjunto de él.

A ⊂C∧B⊂CðA∩B⊂C
 Unión
La unión o reunión de dos conjuntos A y B es el conjunto formado por
los elementos que pertenecen tanto a A como a B, es decir, los elementos
pertenecen al menos a alguno de dichos conjuntos (a A o a B), en un
conjunto referencial o universal U.

A∪ B = {x ∈ U/ x ∈ A ∨ x ∈ B}
Notación: A ∪ B.

Gráficamente: La zona rayada corresponde a A ∪ B.

Diferencia de dos conjuntos
La diferencia entre dos conjuntos A y B, A – B, es el conjunto que se
forma con los elementos que pertenecen al conjunto A pero que no
pertenecen al conjunto B, en un mismo conjunto referencial U; es
decir:
∈ ∧ ∉
A – B = {x / x A x B}
Notación: A – B
Gráficamente: La zona rayada corresponde a A – B
 Diferencia simétrica

Sean los conjuntos no vacíos A y B, la diferencia simétrica o suma

booleana entre A y B, se denota por A ∆ B o por A + B, es el conjunto
que se forma de la unión de las diferencias: A – B y B – A, en un mismo
conjunto referencial
U; es decir:
∪
A ∆ B = (A – B) ∈
(B – A) = {x (A-B)∨ ∈ x (B-A)}
Notación: A ∆ B
Gráficamente: La zona rayada corresponde a A ∆ B
 Producto cartesiano de dos
conjuntos
Para iniciar el estudio del producto cartesiano es indispensable
conocer los conceptos de par ordenado y de plano cartesiano de
conjuntos. Por tanto, iniciaremos con el estudio de estos dos
conceptos.

Par ordenado: Un par ordenado es un conjunto de dos elementos, en

el cual el orden de sus elementos es importante o esencial; por tanto,
el orden es fijo y debe respetarse. Lo fundamental del orden en los
pares ordenados, crea una diferencia respecto a los conjuntos en
general y lo hace un conjunto particular.

Notación: (a, b) donde los elementos se denominan componentes; a

sería la primera componente (elemento o coordenada) y b la segunda
componente (elemento o coordenada) del par ordenado.
(a, b) = {{a}, {a, b}}

Propiedades:

(a, b) ≠ (b, a) (no es conmutativa)

⇔
(a, b) = (x, y) a=x∧ b=y
 Para la representación gráfica
de productos cartesianos
Para la representación gráfica de productos cartesianos, utilizaremos el
Sistema de Coordenadas Rectangulares en el plano o plano cartesiano π.
El plano cartesiano está compuesto por dos ejes formados por dos rectas
perpendiculares (forman un ángulo de 90o) con un origen común O
representado por el punto de corte entre ambas rectas.

Las rectas perpendiculares que se cortan las denominaremos Ejes de

Coordenadas y el punto de corte u origen de coordenadas O; cuyas
coordenadas será el par ordenado (0, 0). Al eje horizontal se le llamará
eje de las abscisas (eje X, primera componente x) y al eje vertical se le
llamará eje de las ordenadas (eje Y, segunda componente y).

El eje de las abscisas representará a uno de los conjuntos y el eje de las

ordenadas al otro. Las rectas al cortarse o intersectarse, dividen al plano
en cuatro cuadrantes exactamente iguales. Cada par ordenado se
representa en la intersección del valor x de la primera componente (en
el eje X) y el valor y de la segunda componente (en el eje Y), lo cual
proporciona un punto ubicado en el plano que denotaremos, por
ejemplo, como: A (x, y). Usualmente se utiliza este sistema para trabajar
con conjuntos numéricos (N, Z, Q, R).
 X: es el eje de las
abscisas, con x ∈ X

Y: es el eje de las
ordenadas, con y ∈ Y

P: es el afijo (imagen)
del par (x, y)

O: punto origen, punto

(0, 0)
Cardenal de un conjunto finito
Sea un conjunto A que posee k elementos distintos, con k N;∈
entonces, A es un conjunto finito y tiene como cardinal al número k
de elementos.

El cardinal de un conjunto A se nota como: #A o |A| o Card (A) o n(A).

Usualmente, se leen como número de elementos del conjunto A o
cardinal del conjunto A.
∅
• El conjunto vacío tiene cardinal cero (0): # = 0.
• El conjunto A si tiene m elementos entonces: #A = m.
• Los conjuntos infinitos son inconmensurables; por tanto, no se sabe
su tamaño.

Propiedades

Para Mata y Reyes (s.f.), se tienen las siguientes propiedades:

∩
• Si A B=∅ (son disjuntos), entonces: #(A ∩ B) = #A + #B.
⊂
• Si A B, entonces: #A ≤ #B.
⊂
• Si A B, entonces: # (B – A) = #B - #A.
∩
• Si A B no son disjuntos (son conjuntos solapados,
porque A ∩ ∅
B ≠ ), entonces: #(A ∪ ∩
B) = #A + #B – #(A B).
• Si el conjunto referencial U está formado por dos conjuntos
disjuntos
finitos: #U = #A + #B + #(A ∪ B)’.
• Si el conjunto referencial U está formado por dos conjuntos solapados
finitos:
#U = # (A∪ ∪
B) + # (A B)’.
∩
#U = #A + #B - # (A ∪
B) + # (A B)’.
• El cardinal de una diferencia de conjuntos:
∩
#(A – B) = #A – #(A B).
∩
#(A – B) = # (A B’).
# (A ∆ B) = # (A – B) + # (B – A).
# (A ∆ B) = #A + #B – 2 # (A∩ B).
# (A∪ ∪ B ∩ ∩
C) = #A + #B + #C + # (A B ∩
C) – # (A B)
∩
– # (A ∩
C) – # (B C).
• El cardinal del conjunto de partes de A es igual a 2n siendo el número
de elementos del conjunto A (#A), es decir: #P(A) = 2n con n = #A.
• El cardinal del producto cartesiano A x B: #(A x B) = #A . #B.

Ejemplos:
• Sean A y C el conjunto de estudiantes matriculados en Cálculo I (C)
y Álgebra Lineal (A); se sabe que: #A = 245 y el #C = 225; y que 60
de los estudiantes se inscribieron en ambas asignaturas. ¿Cuál es el
número de estudiantes que se inscribieron al menos en una de las
asignaturas?
#(A∪ ∩
C) = #A + #C - #(A C) = 245 + 225 – 60 = 410 estudiantes.
410 estudiantes se inscribieron en cálculo o en álgebra.
• Si de 100 estudiantes que fueron a clase hoy: 30 comerán en el
comedor y los demás trajeron su comida, ¿cuántos estudiantes no
comerán hoy en el comedor?
#(A∪ ⇒
B) = #A + #B 100 = 30 + #B despejemos #B.
#B = 100 – 30 = 70 por tanto, 70 estudiantes no comerán en el comedor.
Relacion de la teoria de Conjunto
y la Lógica Proposicional
Pérez y otros (2009) destacan la relación muy estrecha que existe entre
la lógica proposicional y la teoría de conjuntos. Al respecto, muestran
esta relación de la siguiente manera:

Notación: para los conjuntos letras mayúsculas del alfabeto castellano

(A, B) y para las proposiciones las mismas letras (en correspondencia)
pero en minúsculas (a, b), mostrando la proposición lógica que
caracteriza a los elementos de cada conjunto. Plantean la siguiente
correspondencia:

Conjuntos y proposiciones:

⊂A B
Subconjunto
⇒a b

A=B
Conjuntos iguales
⇔a b

∪A B
Unión de conjuntos
∨a b
 A∩ B AΔB
Intersección Diferencia simétrica
de conjuntos a∨ b
a∧ b

A' A–B
Conjunto Diferencia
complemento de conjuntos
a' a ∧ b'

Cabe destacar que el conjunto vacío (φ) se corresponde con una

contradicción y el conjunto universal (U) con una tautología.
Mediante esta correspondencia, todos los resultados de operaciones
realizadas sobre conjuntos pueden expresarse en términos de lógica
proposicional y viceversa; a modo de ejemplo:
∪ ∩
A (A ∨ ∧ ⇔
B) = A a (b c) a
A∪ ∩ (B ∪ ∩ ∪
C) = (A B) (A ∨ ∧ ⇔ ∨ ∧ ∨
C) a (b c) (a b) (a c)
∪
(A ∩B)' = A' ∨ ⇔ ∧
B' (a b)' a' b'
 COLOREAR

La lógica te llevará desde A hasta

B. La imaginación te llevará a
todas partes.