Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Introducción a la Lógica
y Teoría de Conjuntos
Llamamos conjunto a una colección de objetos (con determinadas características en común) y a los
objetos que lo forman se les llama elementos del conjunto.
Llamaremos universo (U) al conjunto que en un momento dado es usado como marco de referencia para
formar conjuntos.
Un conjunto queda determinado por una colección de atributos que los elementos del universo pueden
o no poseer. Así, los elementos del universo que sí posean los atributos requeridos forman el conjunto.
Def.: Diremos que un conjunto está descrito por enumeración si se han dado explícitamente todos sus
elementos y está descrito por comprensión si sus elementos están dados en forma implícita mediante una
frase que los describa.
Pertenencia / NO pertenencia:
(x pertenece al conjunto A): indica que x tiene los atributos que determinan al conjunto A.
(x NO pertenece al conjunto A).
Def.: Se llama proposición a cualquier afirmación que es verdadera (V) o es falsa (F), pero no ambas
cosas a la vez. Para nombrar a las proposiciones se suelen utilizar las letras p, q, r, s, ...
Def.: Una proposición abierta (o función proposicional) es una expresión que contiene una variable y
que al ser sustituida dicha variable por un valor determinado, hace que la expresión se convierta en una
proposición. ((V) ó (F)). p(x); p(x,y,z, ..).
Def.: El conjunto que consiste de los elementos que pueden reemplazar a la variable de una proposición
abierta, lo llamaremos el Dominio de la variable.
Def.: El conjunto formado por aquellos elementos del dominio de la variable que hacen verdadera la
proposición abierta p(x), lo llamaremos el conjunto solución de la proposición abierta p(x).
1 de 14
Introducción a la Lógica y Teoría de Conjuntos M. C. Justino Ramiréz Ortegón
Conectivos lógicos: Permiten relacionar proposiciones para formar nuevas proposiciones. Igualmente
permiten definir “operaciones” en los conjuntos para obtener nuevos conjuntos.
Def.: Sean A y B dos conjuntos cualesquiera, entonces definimos el conjunto A intersección B, que
denotaremos por como sigue:
Def.: El conjunto vacío que denotaremos por es el conjunto que no tiene elementos. Podemos decir
que:
Observación: De la tabla de verdad de la disyunción (Ver: “Tablas de Verdad”) se deduce que en lógica,
la disyunción significa y/o (NO exclusivo). Ver: "O Exclusivo".
Def.: Sean A y B dos conjuntos, entonces definimos el conjunto A unión B que denotaremos por
como sigue:
1
Describe los atributos que definirán al conjunto.
2 de 14
Introducción a la Lógica y Teoría de Conjuntos M. C. Justino Ramiréz Ortegón
Proposición conjuntiva:
Proposición disyuntiva:
Conjunto solución :
Conjunto solución :
Def.: Una palabra o frase que indique cuántos objetos o cosas cumplen con determinada propiedad, se
llama un cuantificador.
Generalmente, para convertir una proposición abierta (función proposicional) en una proposición, se
utilizan los llamados cuantificadores:
Observación: Las expresiones cuantificadas universal o existencialmente es una nueva proposición que
tiene un valor de verdad que se establece en los siguientes axiomas 2 de verdad:
Def.: Sean A y B dos conjuntos cualesquiera. Diremos que A es un subconjunto propio de B si y sólo si:
a) y
b)
2
Axiomas: afirmaciones que son aceptadas como verdaderas.
3
(aunque existan otros valores del dominio que la hagan falsa).
3 de 14
Introducción a la Lógica y Teoría de Conjuntos M. C. Justino Ramiréz Ortegón
Observación:
Algunas negaciones más comunes de proposiciones cuantificadas:
Proposición Negación
Todos Algunos .... no
Algunos Ningún
Algunos .... no Todos
Ningún Algunos
a)
b)
Observaciones:
i)
ii)
iii)
iv)
Ejemplo:
Conjunto solución p(x):
(negación
proposición).
4 de 14
Introducción a la Lógica y Teoría de Conjuntos M. C. Justino Ramiréz Ortegón
Conjunto solución
A B A B
Def.: Sean A y B dos conjuntos cualesquiera, definimos el conjunto diferencia como sigue:
A B
B A
P
0. .-
2
.3
5 de 14
Introducción a la Lógica y Teoría de Conjuntos M. C. Justino Ramiréz Ortegón
Observaciones:
6.
i) Una condicional y su recíproca no son equivalentes.
Observación: si una condicional es cierta, su recíproca puede que sea o no verdadera.
Métodos de demostración de una implicación: Cuando hay que probar que , tres de los
métodos de demostración más utilizados son:
1.Método directo: Consiste en llegar a obtener lo que nos dice la tesis, utilizando únicamente para ello
los datos de la hipótesis.
2.Método del contrarecíproco: consiste en probar el teorema contrarecíproco de la implicación, es decir,
.
Proposición: V.
6 de 14
Introducción a la Lógica y Teoría de Conjuntos M. C. Justino Ramiréz Ortegón
Tablas de Verdad:
Técnica que permite averiguar el valor de verdad de una proposición conociendo los valores de verdad de
sus componentes.
, donde n es el número de proposiciones que intervienen.
(1) NO exclusivo.
(2) p: antecedente o hipótesis.
q: consecuente o conclusión.
(3) .
Observaciones:
7 de 14
Introducción a la Lógica y Teoría de Conjuntos M. C. Justino Ramiréz Ortegón
1. Def.: Decimos que dos proposiciones son equivalentes cuando tienen la misma tabla de verdad (en
todas sus interpretaciones). También decimos que dos proposiciones son equivalentes cuando la
bicondicional que se forma entre ellas es una tautología y viceversa.
2. Según la tabla de verdad que tiene una proposición, esta se clasifica en tautología, contradicción e
indeterminación.
Def.: Una proposición se llamará tautología si para cualquier valor de sus componentes (en cualquiera de
sus interpretaciones), su valor de verdad siempre es verdadero.
Def.: Una proposición será llamada una contradicción si para cualquier valor de sus componentes (en
cualquiera de sus interpretaciones), su valor de verdad siempre es falso.
Def.: Se dice que una proposición es una indeterminación cuando su tabla de verdad tiene valores de
verdadero y de falso.
Def.: Una implicación es una condicional de la forma , tal que es verdadera suponiendo que p es
verdadera, y tiene que existir una relación causa-efecto entre p y q. Además, una implicación entre p y q
se escribe , y se lee "p implica a q" ó "si p entonces q".
8 de 14
Introducción a la Lógica y Teoría de Conjuntos M. C. Justino Ramiréz Ortegón
Leyes de Morgan.
Def.: Diremos que hay una correspondencia biunívoca (o uno a uno) entre los conjuntos A y B si y sólo
si cada elemento del conjunto A está relacionado con uno y sólo un elemento del conjunto B.
A B
a 2 a 3
e 5 e 4
i 1 i 2
o 3 o 1
u 4 u 5 etc.
Def.: Llamaremos una sección del conjunto de los números naturales, que denotaremos por al
conjunto de los primeros números naturales, esto es:
Def.: Si existe una correspondencia uno a uno entre un conjunto A y una sección de los naturales,
diremos que es la cardinalidad del conjunto y lo denotaremos por .
Def.: Diremos que un conjunto A es finito si existe una correspondencia biunívoca entre el conjunto A y
una sección de los naturales .
Si un conjunto no es finito, lo llamaremos conjunto infinito.
Observación: Cuando dos conjuntos no son iguales se pueden presentar dos situaciones que son:
9 de 14
Introducción a la Lógica y Teoría de Conjuntos M. C. Justino Ramiréz Ortegón
A
B
A B
Otro tipo de conjuntos de interés son aquellos conjuntos cuyos elementos son también conjuntos. Si
hablamos, por ejemplo, del conjunto de estudiantes de una Universidad, podemos pensar en el conjunto
formado por todos los estudiantes de dicha Universidad. También podemos referirnos al conjunto
formado por todas las carreras que se imparten en dicha Universidad. En esta segunda forma de expresar
el conjunto, los elementos son a la vez el conjunto formado por el conjunto de estudiantes de cada una de
las carreras. Aí, por ejemplo, si denotamos por .Y
si tomamos A = carrera de Psicología, encontramos que:
que a la vez es un conjunto. Entonces diremos que C es
un conjunto de conjuntos.
Observación: Si A tiene elementos, el conjunto potencia de A tendrá elementos y por esta razón
es costumbre denotar al conjunto potencia por . Osea:
Ejemplo:
10 de 14
Introducción a la Lógica y Teoría de Conjuntos M. C. Justino Ramiréz Ortegón
"O" EXCLUSIVO.
V V F
V F V
F V V
F F F
V V F F F F F
V F F V V F V
F V V F F V V
F F V V F F F
Decimos que las dos proposiciones son equivalentes dado que tienen la misma tabla de verdad.
"O" NO EXCLUSIVO:
IF P OR Q THEN
message(OR_VERDADERO)
ELSE
message(OR_FALSO)
END
"O" EXCLUSIVO:
11 de 14
Introducción a la Lógica y Teoría de Conjuntos M. C. Justino Ramiréz Ortegón
Problema: Se hizo una entrevista a 885 amas de casa y se encontró la siguiente información acerca
de ciertos programas de televisión:
Determinar cuántas de las entrevistadas ven los tres tipos de programas mencionados.
Solución:
Sea
Sea
12 de 14
Introducción a la Lógica y Teoría de Conjuntos M. C. Justino Ramiréz Ortegón
OJO
Conjunto
Diferencia
Así:
13 de 14
Introducción a la Lógica y Teoría de Conjuntos M. C. Justino Ramiréz Ortegón
Entonces el número de personas que ven los tres programas son 50.
14 de 14