Conjuntos, Relaciones y

Funciones

0.1 Conjuntos
El término conjunto y elemento de un conjunto son términos primitivos y no
Definidos. De un punto de vista intuitivo parece ser que cualquier colección de
Objetos puede ser considerado un conjunto. Sin embargo esto no es así, ya que de lo
contrario se llega a paradojas.
En general podemos decir informalmente que los conjuntos no pueden ser “demasiado
grandes”.

De esta manera, siempre supondremos que todos los conjuntos son elementos
De un conjunto universal, U. A menudo U no se menciona explícitamente, tal como ocurre
con el dominio de una función proposicional.
Los conjuntos los denotamos por letras mayúsculas:

A; B; C...
Y los elementos por letras minúsculas

a; b; c;
“a es un elemento del conjunto A”(o “a es un miembro de A” o “a esta
En A” o “a pertenecerá A”) se denota: a 2 A.
Si un conjunto no tiene muchos elementos se pueden escribir todos ellos.
Por ejemplo si A es el conjunto con los elementos 1, 2, 3, 4 se indica como:

A = 1; 2; 3; 4
Otra forma de especificar los elementos de un conjunto es dando una regla
por ejemplo:

A = a: a es un entero y 1 · a · 4

O
A = x : (x ¡ 2)(x ¡ 1)(x ¡ 4)(x ¡ 3) = 0

Representan el mismo conjunto.

La notación a: p(a) g se lee: “El conjunto de todos los a tales que p(a) Es
verdadero”. También se escribe fa = p(a)

Note que el orden en el cual se escriben los elementos de un conjunto no es

importante.

Definición 1

Un conjunto A es igual a un conjunto B, denotado A = B, si

Y solo si cada elemento de A es un elemento de B y cada elemento de B es
Un elemento de A. En símbolos:

(A = B) [(8 x, x 2 A x 2 B) ^ (8 x, x 2 B x 2 A)]

(A = B) (8 x, x 2 A x 2 B):

Ejemplo

1; 2; 3 = 2; 3; 1 = x: 1 · x · 3 y x es un entero

Los siguientes conjuntos son usualmente empleados en matemática:

N = x: x es un número entero x > 1

= 1; 2; 3; 4; (Conjunto de los números naturales)

Z = x: x es un entero

= : : : ;2;1; 0; 1; 2; : : : (Conjunto de los números enteros)

Q= X: x; y 2 ∈ Z; y 6 ≠ 0
Y

= :::; 4 3 2 1 0 1 (Conjunto de los números racionales)

3 2 1 1 2 3
R = x x es número real

Definición 2

Sean A, B conjuntos. Se dice que A es un subconjunto de B

Si y sólo si cada elemento de A es un elemento de B. Se denota por:
 A ⊆ B O B ⊇ A

En símbolos:

A⊆B (∀ x, x ∈ A x ∈ B):

Si A no es subconjunto de B, se escribe A ⊆ B.

Note que A ⊆ A. Si A ⊆ B pero A ≠ B se dice que A es un subconjunto propio

de B, y se escribe.

A ⊂B o B ⊃ A:

Si A no es un subconjunto propio de B, se escribe:

A B

Es posible tener un conjunto sin elementos. Por ejemplo, el conjunto de Todos

los estudiantes que miden 6 metros. Tal conjunto se llama conjunto Vació y se
denota; En símbolos:

Ø = x: p(x) ^: p(x)

Donde p(x) es cualquier función proposicional.

Definición 3

Sean A, B conjuntos. La unión de A y B (denotada A UB)

Es el conjunto de todos los elementos que están en A o en B. En símbolos:

A U B = x: x 2 ∈ A V x ∈B

La intersección de A y B (denotada A U B) Es el conjunto de todos los elementos

que están en A y en B. En símbolos:

A U B = x: x ∈ A ∧ x∈ B

Si A ∈ B = Ø se dice que A y B son disjuntos.

El complemento relativo de A en B (o complemento de A con respecto a B),

Denotado por B A (o B A) es el conjunto de todos los elementos en B Que
no están en A. En símbolos:
B A = x: x ∈ B ∧ x ∈ A
Si B es U, el conjunto universal, entonces U A = x: x ∈ U∧ x∈ A =
X: x∈ A es llamado el complemento de A y se denota Ac (o CUA).

Es útil representar la definición anterior en términos de Diagramas de Ven:

AUB

0.2 Conjuntos de validez de funciones proposicionales

Como una aplicación de la teoría de conjuntos desarrollada, consideremos la

siguiente definición.

Definición

Sea p una funci´on proposicional con dominio D. El conjunto

De validez de p es:

P:= X∈ D: p(x) es verdadero

Relaciones

Sabemos que un conjunto está determinado por sus elementos; esto es a, b

= b; a

Y que el orden en el cual los elementos aparecen no hace diferencia.

En ocasiones, deseamos distinguir cuando los mismos elementos están
Puestos en orden diferente. Para hacer esto introducimos el concepto de par
Ordenado.

Es posible realizar lo anterior en términos de conjuntos (ver lista de

ejercicios),
Sin embargo esta definición no es muy ´útil, de manera que consideraremos
un par ordenado como un término indefinido. La notación será estándar.

(a; b)

Donde a es el primer elemento y b es el segundo elemento.

Funciones lógica y condicional

El uso de funciones condicionales en modelos de hojas de cálculo permite

dotar a éstos de una gran flexibilidad, ya que van a posibilitar que una celda o
rango adopten distintos valores en función de cuáles sean los valores de otras
celdas (sea de la misma hoja, de otras hojas del mismo libro o, incluso, de
libros diferentes). En su formato más simple, la sintaxis de la función
lcondicional es:

=SI (condición; acción l; acción 2)

Así, el valor que se le asignará a la celda que contenga esta fórmula será el
que se derive de la acción 1 si la condición es cierta y el de la acción 2 en
caso de que la condición sea falsa. La condición puede ser más o menos
simple; algo similar ocurre con las acciones. Analicémoslo más
detenidamente.

Condiciones
Para construir las condiciones se usan los operadores lógicos:

Mayor mayor o igual igual menor o igual menor distinto

> >= =< =< <>

Excel evalúa la condición y devuelve VERDADERO si la condición se cumple o FALSO

en caso contrario (puede comprobarlo escribiendo en cualquier celda la expresión =5>4,
por ejemplo). Podemos usar números, rótulos o fórmulas para construir condiciones; todo
dependerá del problema concreto que nos estemos planteando. A continuación mostramos
algunos ejemplos:

A3<7 (1000/B6)*SUMA (A1:B4) <>F5+F8 G6="Contado"

Además, podemos diseñar una condición que sea la unión de varias condiciones
simultáneamente; para ello, usamos las funciones lógicas Y y O

Función lógica Y
=SI (Y (subcomisión l; subcomisión 2;...; subcomisión 30); acción l; acción 2)

Cada subcomisión puede ser verdadera o falsa; para que el resultado conjunto
de la condición Y sea verdadero, todas las subcomisiones han de ser
verdaderas; dicho de otro modo, basta con que una de las subcomisiones sea
falsa para que el resultado global sea falso, tal como se muestra en la tabla de
verdad.

cond1 cond2 Y
 F F F

F V F

V F F

V V V

Tabla de verdad de la función lógica Y

Si el resultado global es falso, se ejecuta la acción 2 y la acción 1 en caso

contrario.

función lógica O

=SI(O(subcondición l; subcondición 2; ... ; subcondición 30); acción l; acción 2)

En esta ocasión, la evaluación de la condición difiere: para que el resultado conjunto sea
verdadero, al menos una de las subcondiciones ha de serlo, ejecutándose la acción l. Sólo
en el caso de que todas las subcondiciones sean falsas, el resultado conjunto lo será y se
ejecutará la acción 2.

cond1 cond2 O

F F F

F V V

V F V

V V V
tabla de verdad de la función lógica O

Existe una tercera función lógica denominada NO cuya misión es alterar el sentido de la
condición o subcondición: NO(condición) devuelve verdadero si la condición es falsa y
viceversa.

cond NO
FV

VF
tabla de verdad de la función lógica NO

Como puede observarse, esta función es perfectamente eludible, ya que podemos hacer lo
mismo mediante el uso correcto de los operadores lógicos, como vemos en el ejemplo
siguiente:

NO(A 1 >B 1) es igual que A 1 <=B1 NO(A 1 =B 1) es igual que A 1 <>B 1