UNIDAD 4

LÓGICA SIMBÓLICA Y TEORÍA DE

CONJUNTOS
¿Qué estudiamos en esta Unidad?

Lógica
Conjuntos
Proposicional

Tipos –
Definición – Funciones Proposiciones y
Representación Proposicionales Conectivos

Relaciones
Operaciones
entre
conjuntos

Conjuntos
ordenados

UNIDAD 4 - LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS

 ¿Cómo denotamos y representamos
Conjuntos?

El concepto de “conjunto” es un concepto primitivo.

Representamos a los conjuntos A

dentro de diagramas de Venn y 1 3 7
los identificamos con letras
mayúsculas de imprenta. 5 9

A = {dígitos impares} Representamos a los conjuntos

con letras mayúsculas e
incluimos a sus elementos, o la
A = {1, 3, 5, 7, 9} característica o propiedad que
ellos comparten, entre llaves.

UNIDAD 4 - LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS

 ¿Cómo definimos Conjuntos?

Definimos
conjuntos de dos
maneras

Por Extensión Por Comprensión

Enumerando todos los Enunciando la característica

elementos que pertenecen común que comparten los
al conjunto elementos del conjunto

A = {1, 3, 5, 7, 9} A = {dígitos impares}

3∈ A 6 ∉ A
Se lee: “3 pertenece a A” Se lee: “6 no pertenece a A”
UNIDAD 4 - LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS
 Más sobre conjuntos

IMPORTANTE:
Un conjunto queda determinado con
sólo saber cuáles son sus elementos, por
lo que:
•No se admite la repetición de
elementos.
•El orden de los elementos no importa.
•Dado un elemento cualquiera, sólo hay
dos posibilidades: pertenece al conjunto
o no pertenece a él.

UNIDAD 4 - LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS

 El conjunto Universal

Todo conjunto A está definido dentro de un “marco de

referencia” al que llamamos “Universo”.

Este conjunto más amplio, del que se extraen los

elementos de A se denomina “Conjunto Universal” o
“Referencial” y se denota como U.
U
Representamos al 6 A
conjunto 1 3
2
Universal con un 7
diagrama 0 9
5
rectangular para
distinguirlo de los 4 8
otros conjuntos.
UNIDAD 4 - LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS
 Número de elementos de un conjunto -
Conjunto Vacío y Conjunto Unitario

Los conjuntos pueden tener un número finito o infinito de

elementos.

Si un conjunto Definimos al “cardinal de A” como el

A, es finito número de elementos de A, y se denota
n(A) o #(A)

Decimos que un conjunto es “vacío” cuando no existe en el

Universo, elemento alguno que posea la característica que lo
define. Lo denotamos como:
A = {∅}
Un conjunto que posee un único elemento, se denomina
“conjunto unitario”.
UNIDAD 4 - LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS
¿Qué es la Lógica Simbólica?

Esta disciplina se ocupa de la formalización del

lenguaje, a través del estudio de las proposiciones.

Las proposiciones son afirmaciones, de las cuales

podemos decir que son o bien verdaderas, o bien
falsas.

Cuando afirmamos que una

proposición es verdadera o
falsa, estamos dando su “valor
de verdad”.

UNIDAD 4 - LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS

Conectivos y Operaciones Lógicas

Los conectivos lógicos son partículas que nos permiten

vincular dos o mas proposiciones, o modificar una dada.

Cuando una proposición simple es modificada, o se une a

otra usando un conectivo lógico, obtengo una
proposición compuesta.

Los conectivos lógicos, dan lugar a operaciones lógicas,

que están íntimamente relacionadas con las operaciones
entre conjuntos.

UNIDAD 4 - LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS

 Conectivos y Operaciones Lógicas

Cuando la palabra "no" se encuentra contenida en una proposición, se trata de una

proposición compuesta.
Otras formas de emplear el conectivo lógico “y”, es usando la palabra "pero" o una
coma (“,”).
Cuando utilizamos el conectivo “o”, pueden darse dos situaciones: que la
proposición plantee situaciones excluyentes, es decir que si ocurre una, es imposible
que ocurra la otra, o que puedan darse ambas situaciones simultáneamente.
UNIDAD 4 - LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS
 ¿Cómo determinamos los valores de
verdad de enunciados compuestos?
En primer lugar, debemos determinar las proposiciones simples
que intervienen, y las posibles combinaciones de valores de
verdad, entre ellas.

Una proposición simple, o es verdadera o es falsa y su tabla de

verdad consta de 2 valores posibles, dos proposiciones simples
presentan 4 combinaciones posibles de valores verdad.
p q
P
V V
V V F
F F V
F F
En general, si tenemos “n” proposiciones simples, tendremos
2n combinaciones posibles de valores verdad.
UNIDAD 4 - LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS
 Los Conectivos y las Operaciones
Lógicas

La negación es verdadera cuando la

Negación
proposición negada es falsa.

La conjunción es verdadera,
Conjunción solamente cuando todas las
proposiciones simples son verdaderas

p q p∨q
La disyunción inclusiva solamente es V V V
Disyunción V F V
Inclusiva falsa cuando ambas proposiciones son
F V V
falsas
F F F

UNIDAD 4 - LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS

 Más sobre las Operaciones Lógicas

La disyunción exclusiva es
Disyunción verdadera cuando las proposiciones
Exclusiva vinculadas tienen distinto valor de
verdad.

El condicional solamente es falso

Condicional cuando el antecedente es verdadero
y el consecuente es falso.

El Bicondicional es verdadero
Bicondicional cuando las proposiciones vinculadas
tienen el mismo valor de verdad.

UNIDAD 4 - LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS

 Más sobre las Operaciones Lógicas
Se relaciona estrechamente con el
Relación de condicional, pero mientras este es un nuevo
Implicación enunciado construido a partir de dos
enunciados dados, la implicación es una
relación entre los enunciados.

p es condición suficiente para q

q es condición necesaria para p

Se dá cuando el consecuente es deducible

Relación de lógicamente del antecedente y el
Equivalencia antecedente es deducible lógicamente del
consecuente (doble implicación).

p es condición necesaria y suficiente para q

q es condición necesaria y suficiente para p

UNIDAD 4 - LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS

 ¿Cómo resolvemos Operaciones Lógicas
usando más de un Conectivo?

En forma similar a la manera que trabajamos con las

operaciones aritméticas, debemos respetar un orden:

Negación Conjunción / Condicional /

Disyunción Bicondicional

Cuando aparecen paréntesis,

corchetes o llaves en la expresión en
símbolos de enunciados compuestos,
el orden puede alterarse.
Resolveremos en el orden dado
desde adentro, hacia afuera.

UNIDAD 4 - LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS

 Enunciados Compuestos: ¿Cómo se
clasifican?

Según los valores de verdad que asuma un enunciado

compuesto, al variar los valores de verdad de las
proposiciones simples que lo forman, estos enunciados se
clasifican en:
La proposición compuesta es
Contingencia en algunos casos verdadera y
en otros falsa.

La proposición compuesta
Tautología
resulta siempre verdadera.

La proposición
Contradicción compuesta resulta
siempre falsa.
UNIDAD 4 - LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS
Más sobre la relación de Equivalencia
Lógica

Cuando dos expresiones tienen el mismo significado o

valor de verdad, decimos que son equivalentes.

Dos enunciados
compuestos son
equivalentes cuando tienen
idénticas tablas de verdad.

UNIDAD 4 - LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS

 ¿Qué es una Función Proposicional?

Es un enunciado declarativo que contiene una variable, que

representa un sujeto indeterminado y se convierte en
proposición cuando reemplazamos a la variable por algún
elemento de un conjunto de referencia.

Se simbolizan como:
Podemos definir
p ( x), q ( x ), etc conjuntos usando
funciones
El conjunto de valores de x que proposicionales.
hacen verdadera a la proposición
resultante se llaman conjunto
solución de la función proposicional
o conjunto de verdad.

UNIDAD 4 - LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS

 Más sobre Funciones Proposicionales y
Conjuntos

Cuando definimos un conjunto utilizando una función proposicional

p(x), ésta describe la característica o los atributos que definen al
conjunto.

El conjunto estará formado por los elementos del

conjunto referencial que hacen verdadera a p(x).

Por ejemplo: el Conjunto vacío

es aquel que está caracterizado
por una p(x) que se convierte en
proposición falsa cualquiera sea
el valor de x, o bien el que está
definido por una contradicción.

UNIDAD 4 - LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS

 Funciones Proposicionales y
Cuantificadores

Convertimos a las funciones

proposicionales en
proposiciones de dos maneras

Reemplazando a la Anteponiendo a las

variable por un elemento mismas un
de su conjunto de Cuantificador
referencia.

Un cuantificador es una palabra o frase que indica cuántos

elementos de un determinado conjunto cumplen con cierta
propiedad.
UNIDAD 4 - LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS
 Más sobre Funciones Proposicionales y
Cuantificadores
Cuantificador Existencial:
Hace referencia a que algunos
elementos del conjunto de
referencia cumplen con la
propiedad y se lee “existe…”.
Se simboliza:
Trabajaremos con ∃ x /p (x )
dos
Cuantificadores
Cuantificador Universal:
Hace referencia a que todos los
elementos del conjunto de
referenica cumplen con la
propiedad y se lee “para todo…”.
Se simboliza:
∀ x : p (x )
UNIDAD 4 - LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS
 Más sobre Cuantificadores

Cuantificador Basta con que un elemento del conjunto haga

Existencial verdadera la proposición resultante para que sea
verdadero.

Cuantificador Basta con que un elemento del conjunto haga

Universal falsa la proposición resultante para que sea
falso.

Las funciones proposicionales cuantificadas, como cualquier

otra proposición, pueden ser negadas.

Cuantificador Su expresión simbólica negada es:

Existencial ∼ [ ∃ x / p ( x) ] ⇔ ∀x : ∼ p ( x )
Su expresión simbólica negada es:
Cuantificador
Universal
∼ [∀ x / p ( x ) ] ⇔ ∃ x : ∼ p ( x )
UNIDAD 4 - LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS
 Operaciones entre conjuntos
(y más sobre lógica)

El complemento de un conjunto A es el
Complemento conjunto de los elementos del Universal U
que no pertenecen a A.
A
A puede ser definido como el conjunto solución de
una función proposicional, p(x),y el conjunto
solución de su negación [~p(x)] define el
complemento de A. A'
La intersección de dos conjuntos A y B
Intersección es el conjunto de los elementos que
pertenecen a A y a B. A B

A puede ser definido como el conjunto solución de

una función proposicional, p(x), B, como el conjunto
solución de una función proposicional, q(x), y el
conjunto solución de su conjunción [p(x)∧ q(x)] define
la intersección de A y B. A∩ B
UNIDAD 4 - LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS
 Más sobre Operaciones entre conjuntos
(y sobre lógica)

La unión de dos conjuntos A y B es el

Unión conjunto de los elementos que
pertenecen a A o a B. B
A
A puede ser definido como el conjunto solución de
una función proposicional, p(x), B, como el conjunto
solución de una función proposicional, q(x), y el
conjunto solución de su disyunción [p(x)vq(x)] define
la unión de A y B. A∪ B
La diferencia entre un conjunto A y otro B, es el
Diferencia conjunto de los elementos que pertenecen a A y no
pertenecen a B.
Definido A como el conjunto solución de una función
proposicional, p(x), y B, como el conjunto solución
de otra función proposicional, q(x), el conjunto
solución de la conjunción entre p(x) y la negación de
q(x), [p(x) ∧ ~q(x)] define la diferencia entre A y B. A− B
UNIDAD 4 - LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS
 Más sobre Operaciones entre conjuntos
(y sobre lógica)

La diferencia simétrica entre dos

Diferencia conjuntos A y B es el conjunto de los
Simétrica elementos que pertenecen a A o a B,
pero no a ambos.

Definido A como el conjunto solución de una función

proposicional, p(x), B, como el conjunto solución de
una función proposicional, q(x), el conjunto solución A∆ B
de su disyunción exclusiva [p(x)vq(x)] define la
diferencia simétrica entre A y B.

Propiedades
( A ∩ B) ∩ C = A ∩ ( B ∩ C ) ( A ∪ B) ∪ C = A ∪ ( B ∪ C )
U' = ∅
∅' = U A∩ B = B ∩ A A∪ B = B ∪ A
( A ') ' = A A ∩ ∅ = ∅ A∪∅ = A
A ∩ A' = ∅ A ∩ U = A A ∪ A' = U A ∪ U = U
UNIDAD 4 - LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS
 Más Propiedades de las Operaciones
entre conjuntos (y Operaciones lógicas)

Más Propiedades de Operaciones entre Conjuntos

A y B son
disjuntos
A∩ B = ∅ ⇒ A− B = A A− U = ∅
A− B ≠ B − A U − A = A'

Resumen entre las principales operaciones

Lógicas y entre Conjuntos

A=B A∩ B A’ A∪ B A-B
p(x) ↔q(x) p(x) ∧ q(x) ~p(x) p(x) ∨ q(x) p(x) ∧ ~q(x)

UNIDAD 4 - LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS

Resumen del álgebra Proposicional y de
Conjuntos

UNIDAD 4 - LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS

 Relaciones entre conjuntos

Dos conjuntos A y B son iguales si

Igualdad de todos los elementos que pertenecen a
Conjuntos A pertenecen a B y todos los
elementos que pertenecen a B
pertenecen a A.
A = B ⇔ (∀a ∈ A ⇒ a ∈ B ∧ ∀b ∈ B ⇒ b ∈ A)

Un conjunto A es un subconjunto de otro conjunto B

Inclusión (está incluido en él) si todos los elementos que
pertenecen a A pertenecen también a B.

A esta incluido en B ⇔ ∀a ∈ A ⇒ a ∈ B

De acuerdo con esta definición todo conjunto es subconjunto A⊆ B

de sí mismo: A está ampliamente incluido en A.
UNIDAD 4 - LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS
 Más sobre Relaciones entre conjuntos

Inclusión - Si existen elementos en B que no pertenecen a A:

A ⊂ B ⇔ ∀a ∈ A ⇒ a ∈ B ∧ ∃ b ∈ B / b ∉ A
Subconjuntos

U
B contiene B A está
elementos que A estrictamente
no pertenecen incluido en B
aA
A⊂ B
El número de subconjuntos [ns(A)] que pueden
formarse en un conjunto A depende del número de
elementos de A.

n ( A ) = k ⇒ n s ( A) = 2 k
UNIDAD 4 - LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS
 Los Conjuntos ordenados y el Producto
Cartesiano
Un par ordenado en un conjunto de dos elementos (a,b),
ordenados de acuerdo a un cierto criterio. Estos elementos pueden
pertenecer a un solo conjunto o a más de uno. Se simboliza:

Primera componente
( a, b ) Segunda componente

Dos pares ordenados son iguales si se verifica que:

( a , b ) = (c, d ) ⇔ a = c ∧ b = d
¡¡Aquí el orden en que aparecen los elementos
sí importa!!
El Producto Cartesiano de un conjunto A con otro, B, es el
conjunto de todos los pares ordenados (a,b), donde la primera
componente pertenece a A y la segunda a B.
Esta operación se puede
generalizar a más de dos
n ( AxB ) = n ( A) ⋅ n ( B)
conjuntos.
UNIDAD 4 - LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS