Función proposicional

Es una proposición abierta P (x) sobre una variable x que se convierte en una proposición
cada vez que la variable x se sustituye por un valor particular.

Ejemplos:

Cuantificadores lógicos:

Frecuentemente las proposiciones abiertas se utilizan con ciertas expresiones llamadas

cuantificadores, con los cuales se determina el valor de verdad de la proposición
resultante. Los siguientes serán los cuantificadores que usaremos:

1. Cuantificador universal, para todo x, representado simbólicamente por  x.

2. Cuantificador existencial, para algún x, representado simbólicamente por  x.
3. Cuantificador de existencia y unicidad, existe un único x, representado simbólicamente
por  !x.

Observación 1. La frase “para cada x” se usa en el mismo sentido que la frase “para todo
x”.

Observación 2. Si una propiedad es compartida por todos los elementos de un conjunto B,

escribiremos:
“Todo x en B tiene la propiedad P ”, Simbólicamente,  x  C, P (x)

Observación 3. Si una propiedad es compartida por uno o varios elementos de un

conjunto C, escribiremos:
“Algún x en C tiene la propiedad P ”, Simbólicamente,  x  C, P (x)

Teoría de conjuntos:

Es una colección o clase de objetos con una propiedad común permita evaluar si un
objeto cualquiera forma parte o no de la colección. Ejemplos:

Los objetos que forman un conjunto se llaman elementos del conjunto. La relación entre
un elemento y un conjunto es la de pertenencia. Se escribe x  A y se interpreta como:
“(el objeto) x pertenece a (el conjunto) A“
Habitualmente los conjuntos se designan por una letra mayúscula y los elementos del
conjunto por una letra minúscula y entre paréntesis de llave.

Los conjuntos se pueden definir por:

EXTENSIÓN cuando se describen exhaustivamente (es decir, nombrando a todos y

cada uno de sus elementos, que, en tal caso, se escribirían entre llaves)
Ejemplo:

COMPRENSIÓN: Cuando se indican las características de los elementos del

conjunto o función proposicional p(x) que satisfagan todos los elementos x del conjunto
definido y sólo ellos, dentro de un universo contextual ó relativo U”.
Ejemplo:

Tipos de conjuntos:

• CONJUNTO FINITO: Es aquel que consta de un número determinado de

elementos, dicho de otra forma, si al efectuar el proceso de contar los elementos,
este proceso puede terminar.

• CONJUNTO INFINITO: Cuando el conjunto tiene un número indeterminado de

elementos, infinitamente grande.

• CONJUNTO VACÍO: Es aquel conjunto que no tiene ningún elemento. Se

representa por el símbolo Æ.

Subconjunto:

Se dice que un conjunto A es subconjunto de un conjunto B, o bien que A está

incluido en B si y sólo si cada elemento que pertenece a A pertenece también a B.

Ejercicio: Escriba la definición anterior en lenguaje lógico

A está incluido en B y se anota A Ì B.

Expresado de otra forma: A Ì B = { x / x  A Ù x  B }

Ejemplo:

Si A no es subconjunto de B se escribe A Ë B.
 Subconjunto propio

Se dice que A es SUBCONJUNTO PROPIO de B si y sólo si A es subconjunto de B

pero B es distinto de A, lo que a veces se denota por A Ì B, sin la barrita inferior que
representa la igualdad de conjuntos.
En lenguaje lógico: AÌByA¹B

En alguna bibliografía se acostumbra a designar un subconjunto propio como A Ì B

Y un subconjunto como AÍ B

Igualdad de conjuntos:

Se dice que 2 conjuntos A y B son iguales cuando ambos tienen los mismos
elementos, es decir si cada elemento de A pertenece a B y si cada elemento que
pertenece a B pertenece también a A. La igualdad se denota A = B.

Ejercicio: Escriba la definición anterior en lenguaje lógico

Entonces se verifica que AÍ B Ù BÍA

Cardinalidad

La cardinalidad de un conjunto se representa con el símbolo # y corresponde al

número de elementos que tiene el conjunto. La cardinalidad del conjunto S se anota #S

Conjunto de conjuntos

Hay ocasiones en que los elementos de un conjunto son a su vez también

conjuntos, por ejemplo el conjunto de todos los subconjuntos de A . Para evitar decir
conjunto de conjuntos se suele decir familia de conjuntos o clase de conjuntos, y para
evitar mayor confusión, se emplean letras de tipo inglés.

Conjunto potencia:

Conjunto potencia de S se denomina a la familia de todos los subconjuntos de S, la

cantidad de elementos del conjunto potencia es 2#S.

Conjuntos disjuntos:

Son aquellos conjuntos que no tienen ningún elemento en común.