GUA: UNIDAD 2, LENGUAJE MATEMTICO

rea de EET

Pgina 1 de 49

Derechos Reservados
Titular del Derecho: INACAP
N de inscripcin en el Registro de Propiedad Intelectual # ___ . ____ de fecha ___-___-___.
INACAP 2002.

Pgina 2 de 49

UNIDAD 2

Tal como le haba iluminado toda su vida,

tambin ahora el entendimiento ilumin ese
instante de la existencia de Juan Gaviota.
Tenan razn, el era capaz de volar ms
alto.
Juan Salvador Gaviota. R. Bach.

Pgina 3 de 49

2. LENGUAJE MATEMTICO
Aunque las modernas computadoras digitales son mquinas sumamente complejas, su
diseo implica slo dos componentes bsicos: compuertas y celdas de memoria.
Una compuerta es un simple interruptor elctrico que controla el flujo de datos de forma
muy parecida a la compuerta propiamente dicha que controla el flujo de agua en un
canal. Una celda de memoria puede almacenar un solo bit de informacin.
Interconectando varias compuertas y celdas de memoria, puede disearse un circuito
para realizar operaciones como suma o sustraccin. Desde los inicios de la industria de la
computacin, ha habido una constante tendencia hacia la miniaturizacin de los circuitos
elctricos. En 1960 slo unas cuantas compuertas podan ser impresas con confiabilidad
sobre un chip de silicio. Actualmente , ms de un milln de compuertas lgicas pueden
imprimirse en un chip de slo unos cuantos milmetros cuadrados.
Cmo es posible disear la interconexin de tantas compuertas lgicas y tenerlas
funcionando juntas de manera apropiada ? Usted aprender la respuesta a esta pregunta
cuando estudie lgebra booleana y lgica formal. Sin el lgebra booleana y lgica formal,
no hubiera sido posible la existencia de las modernas computadoras. Un circuito elctrico
esta encendido o apagado, y como resultado de esto, puede modelarse conforme a
estados lgicos de verdadero o falso. En lugar de ver las conexiones reales en circuitos
elctricos, los ingenieros en computacin construyen tablas de verdad para determinar la
salida de un componente elctrico para ciertas entradas. Como consecuencia de esta
abstraccin, los errores de diseo pueden corregirse antes de construir el primer prototipo
de circuito. El uso de la lgica para crear circuitos complejos ha impulsado a la tecnologa
a un ritmo increble.

Pgina 4 de 49

2.1 Lgica
Enunciados y valor de verdad
Definicin

1: Una proposicin es una frase afirmativa que es verdadera ( V ) o falsa

( F ), una y solo una de stas posibilidades.

Definicin

2: La veracidad o falsedad de una proposicin es lo que se llama su valor

de verdad
Definicin

3: Un axioma o postulado es una proposicin inicial la cual se asume

como verdadera. El conjunto de postulados de los cuales se
desprenden las dems proposiciones de un sistema se llama conjunto
de postulados del sistema. En este, uno de los axiomas no debe ser
deducible de los otros.

Definicin

4: Un teorema es cualquier proposicin que se desprende de otra

proposicin o proposiciones dadas por supuestas o previamente
demostradas dentro del sistema. As, un teorema es una proposicin
cuya veracidad requiere ser demostrada a partir de otras.

Proposiciones simples y compuestas

En lgica, los literales p, q, r.... denotan variables que pueden reemplazarse por
proposiciones.

Definicin

5: La proposicin que contiene solo una afirmacin se denomina

proposicin simple.

Definicin

6: La proposicin que contiene ms de

una afirmacin se denomina

proposicin compuesta.
Las proposiciones compuestas se obtienen combinando dos o ms
proposiciones simples, mediante smbolos llamados conectivos.

Pgina 5 de 49

Conectivos fundamentales :
a)
b)
c)
d)
e)
f)

la negativa
la conjuntiva
la disyuntiva inclusiva
la disyuntiva exclusiva
la condicionante
la bicondicionante

a) NEGACIN
La negacin de una proposicin es una nueva proposicin que tiene un valor de verdad
opuesto, es decir, si p es verdadera y la negacin de p es falsa. Se denota como ~ p o p

y se lee no p.

Definicin

7: El arreglo que nos permite tener los posibles valores de verdad de una

proposicin compuesta a partir de los valores de verdad de las

proposiciones componentes se llama una tabla de verdad.

Observacin 1: La caracterstica fundamental de la negacin

es que es una

proposicin cuyo valor de verdad es contrario al valor de verdad de la

proposicin dada. As, la tabla de verdad para la negacin de p esta
dada por:

~p

Pgina 6 de 49

b) CONJUNCION

La conjuncin es la proposicin compuesta que resulta de conectar dos proposiciones

p y q mediante la conjuntiva ( ). Esta proposicin se denota por p q y se lee p y q.
Observacin 2: La caracterstica fundamental de la conjuncin es que su valor de

verdad es verdadero slo en el caso en que las proposiciones simples

que forman tengan ambas valor de verdad verdadero. La tabla de
verdad de una conjuncin es:
p

p q

c) DISYUNCIN INCLUSIVA

La disyuncin inclusiva es la proposicin compuesta que resulta de conectar dos

proposiciones p y q mediante la disyuntiva inclusiva ( ). Esta proposicin se denota por
p q y se lee p o q.
Observacin 3: La caracterstica fundamental de la disyuncin inclusiva

es que su

valor de verdad es falso slo en el caso en que las proposiciones

simples que forman tengan ambas valor de verdad falso. En todo los
otros casos la disyuncin inclusiva tiene valor de verdad verdadero. La
tabla de verdad de una disyuncin inclusiva es:
p

p q

Pgina 7 de 49

d) DISYUNCIN EXCLUSIVA

La disyuncin exclusiva es la proposicin compuesta que resulta de conectar dos

proposiciones p y q mediante la disyuntiva exclusiva ( ). Esta proposicin se denota por
p q y se lee o p o q.

Observacin 4: La caracterstica fundamental de la disyuncin exclusiva es que su

valor de verdad es verdadero slo cuando las proposiciones que las

componen tienen valores de verdad contrarios. En los otros casos la
disyuncin exclusiva tiene valor de verdad falso. La tabla de verdad de
una disyuncin exclusiva es:
p

p q

e) CONDICIONAL

La condicional es la proposicin compuesta que resulta de conectar dos proposiciones

p y q mediante la condicionante ( ). Esta proposicin se denota por p q y se lee si p
entonces q. Tambin se puede leer p implica q, q si p, p slo si q, p es condicin

suficiente para q o q es condicin necesaria para p. En p q, p se llama antecedente y

q consecuente.
Observacin 5: La caracterstica fundamental de la condicional es que su valor de

verdad es falso slo cuando el consecuente es falso y el antecedente

es verdadero. En los dems casos la condicional es verdadera. La tabla
de verdad de una condicional es la siguiente:

Pgina 8 de 49

pq

Proposiciones condicionales relacionadas

Proposicin directa
Reciproca
Inversa (contraria)
Contra reciproca

p q
q p
p q
q p

(Si p, entonces q )
(Si q, entonces p )
(Si no p, entonces no q )
(Si no q, entonces no p )

f) BICONDICIONAL

La bicondicional es la proposicin compuesta que resulta de conectar dos proposiciones

p y q mediante la bicondicionante ( ). Esta proposicin se denota por p q y se lee
p si slo si q. Tambin puede leerse p es equivalente a q o que p es una condicin

necesaria y suficiente para q, y q es una condicin necesaria y suficiente para p.

Observacin 6: La caracterstica fundamental de la bicondicional es que su valor de

verdad es verdadero slo en los casos en que p y q tengan valores de

verdad iguales ( o ambos V o ambos F ). En los dems casos la
bicondicional es falsa. La tabla de verdad de una bicondicional es la
siguiente:
p

p q

Pgina 9 de 49

Observacin 7: Las proposiciones compuestas pueden combinarse o conectarse a

otras para formar proposiciones an ms complejas. Para hacer la tabla

de verdad de una proposicin le asignamos una columna a cada
proposicin que interviene, sea sta simple o compuesta, normalmente
comenzando con la ms simples y progresando en el orden de
complejidad de las proposiciones componentes. El nmero de filas de
la tabla viene dado por la potencia 2 n , donde n es el nmero de
proposiciones en la forma ms simple que entran a formar la
proposicin dada. Para asignar los valores de verdad a dichas
proposiciones se procede de la forma siguiente: la primera columna se
llena asignando valores V a la mitad de las filas y valores de F a la
segunda mitad. La segunda columna se llena asignando valores V a un
cuarto de las filas y valores de F al segundo cuarto. La tercera columna
se llena asignando valores V a un octavo de las filas y valores de F al
segundo octavo, valores de V al tercer octavo, etc. As, se continua
hasta que terminen las columnas de las proposiciones ms simples.
Las columnas de las otras proposiciones se llenan a partir de las
columnas de las proposiciones ms simples que stas.

Proposiciones lgicamente equivalentes

Definicin

8: Una tautologa es una proposicin cuyo valor de verdad es verdadero

(V), independientemente de los valores de verdad de las proposiciones

que la componen. Denotaremos por I una tautologa cualquiera.
Definicin

9: Una contradiccin es una proposicin cuyo valor de verdad es falso

(F), independientemente de los valores de verdad de las proposiciones

que la componen. Denotaremos por O una contradiccin cualquiera.
Definicin

10: Una contingencia es una proposicin que toma valores de verdaderos

en unos casos y falsos en otros, dependiendo de los valores de verdad

de las proposiciones que la componen.

Pgina 10 de 49

Definicin

11: Dos proposiciones son lgicamente equivalentes si al conectarlas

mediante la bicondicionante se obtiene una proposicin que es una

tautologa. Para denotar que dos proposiciones P ( p, q,...) y Q ( p, q,...)
son lgicamente equivalentes escribimos:

P( p, q,...) Q ( p, q,...)

Leyes fundamentales del lgebra de proposiciones

Estas leyes bsicas, junto con la equivalencia p q p q definicin de implicancia

lgica, nos permitirn obtener los valores lgicos de las formas proposicionales mediante
manipulacin algebraica, sin utilizar tablas de valores lgicos.

Leyes fundamentales

Identidad

p Ip
p 00

p 0p
p I I

dem potencia

p pp

p pp

Involucin

(p) p

Complemento

0I

I0

pp0

p pI
p qqp

Conmutatividad

p qqp

Asociatividad

p ( q r ) (p q) r
p (q r ) (p q) r

Distributividad

p (q r ) (p q) (p r )
p ( q r ) (p q) (p r )

Leyes de De Morgan: ( p q ) p q
(p q) p q

Pgina 11 de 49

Equivalencias

E.1.

pq

pq

E.2.

p (p q) p

Absorcin.

E.3.

p (p q) p

Absorcin.

E.4

p q [( p q ) ( qp )]

Definicin de doble implicancia

E.5.

p (p q) p q

E.6.

p (p q) p q

E.7.

pq

E.8.

p q [( p q ) 0 ]

E.9.

(p q) r p ( q r )

E.10.

( p q ) r ( p r ) q

E.11.

p ( q r ) (p q) (p r )

E.12.

p ( q r ) (p q) (p r )

E.13.

( p q) r ( p r ) ( q r )

E.14.

( p q) r ( p r ) ( q r )

Definicin de implicancia.

q p

Pgina 12 de 49

Tautologas

T.1.

pp

T.2.

T.3

(p q)

T.4

(p q)

T.5.

[ p ( p q )]

T.6.

(pq)

[ p ( q r) ]

T.7.

(pq)

[ (p r ) q ]

T.8.

[( p r ) q ]

(p q )

T.9.

[p ( q r ) ]

(p q )

T.10.

(pq)

[ ( p r ) ( q r) ]

T.11.

(pq)

[ ( p r ) ( q r) ]

T.12.

[(p q) ( q r )] (p r )

Pgina 13 de 49

Aplicaciones:
Resea de diseo de circuitos de conmutadores

Claude Shannon en 1937 mostr cmo la lgica podra usarse como ayuda al disear
circuitos elctricos. Su trabajo fue inmediatamente adoptado por los diseadores de
computadoras. Estas computadoras pudieron simplificarse en la etapa de desarrollo y
construirse por menos dinero, usando las ideas de Shannon.
Para ver como trabajan las ideas de Shannon, observe el interruptor elctrico mostrado en
la figura 1. Suponemos que la corriente fluir a travs del interruptor cuando este cerrado,
y no cuando est abierto.

Figura 1
Dos interruptores p y q, por ejemplo, se pueden conectar por un alambr en serie o en
paralelo, como se muestra en las figuras 2 y 3.

p
p

q
q

Circuito en serie
Figura 2

Circuito en paralelo
Figura 3

En el circuito en serie la corriente slo fluir cuando ambos circuitos estn cerrados. Note
la similitud entre un circuito en serie y la conjuncin p q. Sabemos que p q es
verdadero slo cuando ambos, p y q, lo son.
El circuito correspondiente a la disyuncin p q puede encontrarse trazando un circuito en
paralelo, como el de la figura 3. Aqu, la corriente fluye, si cualquiera de los dos, p o q,
est cerrado o si ambos, p y q, estn cerrados.

Pgina 14 de 49

Definicin

12: Un circuito conmutador booliano es un dispositivo de alambres e

interruptores que se pueden construir mediante combinaciones en serie

y en paralelo; por tanto, se le puede describir con las conectivas y

El comportamiento de estos circuitos en serie y en paralelo se estudia por medio

de:
1-. Las tablas de verdad del y del donde el valor de verdad se cambia por 1 y el de

falso por 0. El 1 implica que el circuito esta cerrado y el cero que el circuito esta abierto
es decir la corriente fluye con 1 y no fluye con 0.
Las tablas siguientes describen el funcionamiento de:

Circuito en serie

Circuito en paralelo

p q

p q

Relacin entre un interruptor

p y un interruptor no p
p

Notese que las tres tablas anteriores son idnticas a las de conjuncin, disyuncin y
negacin. La nica diferencia es que aqu se emplea 1 y 0 en lugar de V y F.

Pgina 15 de 49

2-. Las proposiciones equivalentes vistas anteriormente. Algunas de las ms usadas se

muestran en el recuadro siguiente.

Proposiciones equivalentes para simplificar circuitos

p (q r ) (p q) (p r )
p ( q r ) (p q) (p r )

p pp
p pp

pq

qp

(p q) p q

pq

pq

(p q) p q

Si 1 representa cualquier proposicin verdadera y 0 representa cualquier proposicin falsa; entonces:

pp0
p 1 1
p 00

p p 1

Cuantificadores

A diferencia de las proposiciones que hemos manejado hasta ahora, el enunciado x < 5
no es verdadero ni falso. Cuando la variable x se remplaza por ciertos valores, por
ejemplo 2, la proposicin resultante es verdadera, mientras que para otros valores de x,
por ejemplo 8, la proposicin que resulta es falsa. ste es un ejemplo de un enunciado o
funcin proposicional, el cual viene a ser una proposicin slo cuando las variables son
reemplazadas por los nombres particulares de los objetos.
Si un enunciado se llama p y las variables x1, x2, x3....xn; escribimos p(x1, x2, x3....xn), y en
el caso de una sola variable, escribimos p(x).
Antes de determinar el conjunto de verdad es necesario saber cules objetos estn
disponibles para ser

tomados en cuenta. Es decir, debemos haber especificado un

universo de discurso. Denotamos por A el conjunto universo.

Pgina 16 de 49

Definicin

13: Si p(x) es una funcin lgica sobre un conjunto A, entonces el conjunto

de elementos a A que tienen la propiedad de que p (a) es verdadero,

se llama conjunto de validez VP de p(x). Esto es :
Vp = { x / x A, p ( x ) es verdadero }

Si p(x) es una funcin lgica definida sobre un conjunto A, entonces

p(x) puede ser verdad para todos los x A, para algunos x A o para
ningn x A .
Definicin

14: Dada una funcin lgica p(x) con variable x, el enunciado x A : p(x)

se lee para todo elemento x de A tal que

p(x) y es verdadero

cuando el conjunto de validez para p(x) es el universo completo. El

smbolo se llama cuantificador universal
Definicin

15: Dada una funcin lgica p(x) con variable x, el enunciado x A : p(x)

se lee existe x perteneciente a A tal que p(x) y es verdadero cuando

el conjunto de validez para p(x) no es vaco. El smbolo se llama
cuantificador existencial

Dada una funcin lgica p(x) con variable x, el enunciado ! x , p(x) se lee existe
un nico x tal que p(x) y es verdadero cuando el conjunto de validez consta
exactamente de un elemento del universo.

Negacin de proposiciones con cuantificadores

( x A : p(x) )

x A : p(x) x A : p(x)

( x A : p(x) )

x A : p(x) x A : p(x)

Pgina 17 de 49

Observacin 8: En p (x1, x2, x3....xn),

p (a1, a2, a3....an) es verdadera o falsa para todo

n-tuple ordenado (a1, a2, a3....an) (A1 x A2 x .......An )

Una funcin proposicional precedida de cuantificadores

para cada

variable, por ejemplo:

x A 1 y A 2 : p ( x, y )

o x A 1 y A 2 z A 3 : p ( x, y, z )

es una funcin proposicional y tiene un valor de verdad

Para la negacin de estas funciones proposicionales se procede de la
misma forma anterior.

RAZONAMIENTOS

Existen dos tipos de razonamiento: inductivo y deductivo.

Razonamiento inductivo

El razonamiento inductivo se caracteriza por sacar una

conclusin general
(haciendo una conjetura) a partir de observaciones repetidas de ejemplos
especficos. La conjetura puede ser verdadera o falsa.

Razonamiento deductivo

El razonamiento deductivo se caracteriza por la aplicacin de principios generales a

ejemplos especficos.

Con el razonamiento inductivo observamos patrones para resolver problemas. Con el

deductivo puede utilizarse para determinar si los argumentos lgicos son vlidos o no
vlidos. Un argumento lgico se compone de premisas (suposiciones , leyes, reglas,
ideas ampliamente aceptadas u observaciones) y una conclusin. Cuando razonamos a
partir de las premisas de un argumento para obtener una conclusin, queremos que el
argumento sea vlido.

Pgina 18 de 49

Argumentos vlidos y no vlidos

Un argumento es vlido si el hecho de que todas las premisas sean verdaderas

obliga a que la conclusin sea verdadera. Un argumento que no es vlido es una
falacia.

Observacin 9: Es importante notar que vlido y verdadero no es lo mismo, un

argumento puede ser vlido aunque la conclusin sea falsa.

Varias tcnicas pueden utilizarse para verificar si un argumento es
vlido. Una de estas es la tcnica visual basada en los diagramas de
Euler. Otro mtodo es el de las tablas de verdad.
Diagramas de Euler :

Este mtodo lo analizaremos mediante el siguiente ejemplo:

Todos los das lluviosos estn nublados
Hoy no es un da nublado
Hoy no es un da lluvioso
x
Das nublados

Das nublados

Das luviosos
Das luviosos

x representa el da de hoy
Figura 4

Figura 5

En la figura 4, la regin das lluviosos se dibujo completamente dentro de la regin das

nublados. Como hoy no es da nublado, colocamos una x para hoy fuera de la regin
para das nublados. (figura 5) Al colocar la x fuera de la regin para das nublados se
fuerza a que tambin este fuera de la regin das lluviosos. Por lo tanto, si las primeras

Pgina 19 de 49

dos premisas son verdaderas, entonces tambin es verdadero que hoy no es un da

lluvioso. EL argumento es vlido.
Para decidir si utiliza diagramas de Euler para probar la validez de un argumento, busque
los cuantificadores tales como todos, algunos o ninguno. Estas palabras con
frecuencia indican argumentos que se prueban mejor por medio de los diagramas de
Euler. Si estas palabras no aparecen, podra ser mejor utilizar tablas de verdad para
probar la validez de un argumento.
Anlisis de argumentos mediante tablas de verdad:

Como un ejemplo de este mtodo, consideremos el siguiente argumento:

Si el televisor esta malo, entonces yo debo arreglarlo.
Si el televisor esta malo, entonces yo debo arreglarlo
El televisor esta malo
Yo debo arreglarlo.
Asignemos las letras p y q para representar las proposiciones:
p representa el televisor esta malo
q representa yo debo arreglarlo
Ahora escribimos las dos premisas y la conclusin en smbolos:
premisa 1 : p q
premisa 2 : p
conclusin : q
Para decidir si este argumento es vlido, debemos determinar si la conjuncin de ambas
premisas implica la conclusin para todos los casos de valores de verdad para p y q.
Por lo tanto, debemos escribir la conjuncin de las dos premisas como antecedente de
una proposicin condicional, y la conclusin como consecuente.

[(p q )

p]

implica

conclusin

premisa

premisa

Pgina 20 de 49

Por ltimo construimos la tabla de verdad:

p

pq

V
V
F
F

V
F
V
F

V
F
V
V

(p q) q

[(p q )

p] q

V
F
F
F

V
V
V
V

Como la ltima columna, mostrada en negritas, indica que la proposicin condicional

representa al argumento es verdadera para todos los valores de verdad de p y q, la
proposicin es una tautologa. Por lo tanto el argumento es vlido.
El patrn del argumento en el ejemplo anterior
pq
p
q
Es uno muy comn, y recibe el nombre de modus ponens, o ley de separacin.
En resumen, para probar la validez de un argumento utilizando tablas de verdad, siga los
siguientes pasos:

Como comprobar la validez de un argumento con una tabla de verdad.

1. Asigne una letra para representar cada componente de la proposicin en el

argumento.
2. Exprese cada premisa y la conclusin de manera simblica.
3. Forme la proposicin simblica del argumento completo, escribiendo la conjuncin

de todas las premisas como el antecedente de una proposicin condicional y la

conclusin del argumento como el consecuente.
4. Complete la tabla de verdad para la proposicin condicional formada en la parte 3

anterior. Si es una tautologa, entonces el argumento es valido; en otro caso, es no

vlido.

Pgina 21 de 49

Formas de argumentos vlidos y no vlidos ms frecuentes:

Formas de argumentos vlidos

Modus
Ponens

Modus
tollens

Silogismo
disyuntivo

Razonamiento
transitivo

pq
p

pq
q

pq
p

pq
qr

pr

Formas de argumentos no vlidos

Falacia del
recproco

Falacia del
inverso

pq
q

pq
p

Cuando un argumento contiene tres o mas premisas, ser necesario determinar el valor
de verdad de la conjuncin de todas ellas

Pgina 22 de 49

2.2 Conjuntos
Conceptos Primitivos: Conjunto, elementos, pertenece a
Notaciones:

Para los conjuntos : A, B, C,.........

Para los elementos: a, b, c,..........
Para la pertenencia: a C
(a C ) ( [ a C ] )

Maneras o formas de delimitar un conjunto:

1) Por Extensin : Dando la lista completa de los elementos distintos que pertenecen
al conjunto.
Ejm-. ( A = { c, d, m } ) ( c A, d A, m A )
2) Por Compresin: Dando la o las propiedades que caracterizan a los elementos del
conjunto. Simblicamente : A = { x / p (x) }

Definicin

1: Sean A, B conjuntos.

( A B) ( [ x A ] [ x B] ) ( para todo x A : x A )
A es un subconjunto de B, A est incluido en B, B incluye a A o B

contiene a A.
El nmero de subconjuntos de un conjunto con n elementos es 2 n
Definicin

2: U se llama un conjunto referencial si y slo si contiene a todos los

conjuntos con las cuales se esta tratando en un problema o tema, dado.

Definicin

3: Un conjunto se llama un conjunto vaco, si no tiene elementos.

Se denota: o { }

Pgina 23 de 49

Teorema 1 : Sean A, B, C conjuntos. Entonces:

a) A A
b) ( [A B ] [ B A ] ) ( A = B )
c) ( [A B ] [ B C] ) ( A C )
d) A U

Definicin

Refleja
Antisimetrica
Transitiva

4: Sean A, B conjuntos. Entonces A y B son iguales, si y slo si A y B

tienen los mismos elementos.

a) ( A = B) ( [ x A ] [ x B ] )
b) ( A = B) ( [ A B ] [ B A ] )
c) ( A B) ( [ A = B ] )

Teorema 2 : Sean A, B, C conjuntos. Entonces:

a) A = A
b) ( A = B ) ( B = A )
c) ( [A = B ] [ B = C] ) ( A C )

Definicin

Refleja
Simtrica
Transitiva

5: Sean A, B conjuntos.

( A B ) ( [A B ] [A B ] )

A es un Subconjunto Propio de B.

El nmero de subconjuntos propios de un conjunto con n elementos es

2n - 1
Definicin

6: Los conjuntos se pueden representar aproximadamente mediante los

diagramas de Venn: curvas o polgonos cerrados dibujados en el

plano. Los puntos del plano encerrados son

los elementos del

conjunto.

Pgina 24 de 49

Ejemplo

1:
U
A

AB

Operaciones con conjuntos

A partir de A y B se forman:

Definicin

1) A B = { x / ( x A) ( x B) } :

Unin de A y B

2) A B = { x / ( x A) ( x B) } :

Interseccin de A y B.

3) A - B = { x / ( x A) ( x B) } :

Diferencia entre A y B

4) A B = { x / ( x A) ( x B) } :
=(A - B) (A - B)

Diferencia simtrica entre A y B

5) A = U A

Complemento de A

7: Si A B =

A y B son conjuntos Disjuntos.

Pgina 25 de 49

Las operaciones con conjuntos cumplen las leyes del lgebra de conjuntos, estas son las
siguientes:

Leyes fundamentales

Identidad

A =A
A U=U

A U= A
A I =

dem potencia

AA =A

A A=A

Involucin

(A) = A

Complemento

U=

=U

AA =U

AA =U
A B=BA

Conmutatividad

A B=BA

Asociatividad

A (B C) = ( A B ) C
A (B C) = ( A B ) C

Distributividad

A (B C) = ( A B ) ( A C)
A (B C) = ( A B ) ( A C)

Leyes de De Morgan: ( A B ) A B
(A B) A B

Pgina 26 de 49

Definicin 8:

Si A es un conjunto finito cualquiera, se denomina cardinal de A al

nmero de elementos de A, y se simboliza n(A).

Si A, B y C son conjuntos finitos cualesquiera, entonces:

1)

n(A B)=n(A)+ n(B) -n(A B)

2)

n(A B C)=n(A)+ n(B)+n(C) -n(A B) -n(A C)

- n ( B C ) + n ( A B C)

Pgina 27 de 49

GUA DE EJERCICIOS
CONJUNTOS

1-. Describa por extensin los siguientes conjuntos:

a) P = { x / x es pas de Sudamrica que tiene costas sobre el Ocano Pacfico }
b) A = {x / x Z+, x <5}
c) B = { x / x Z , x > 10 y x < 25 }
d) H = { x IR / x2 - 9x + 14 = 0 }
e) F = {x IN* / x es par }
2-. Escriba por comprensin los siguientes conjuntos :
a) A = { 1, 2, 3, 4, 5, ........}
b) B = { 2, 4, 6, 8,.............}
c) C = { -5, -4, -3, -2, -1, 0, 1, 2 }
d) D = { 3, 6, 9, .....27}
3-. De acuerdo con los conjuntos dados, determine cules de los siguientes enunciados
son verdaderos y cules son falsos, y diga por qu.

P = {, {3}{
, 5}, 8}

Q = {1, {1, 2}, 2}

S = {a, b, c, ch, d}

a) {1} Q
b) P
c ) a, b, c, S
d) {1,2} Q

e) ch S

f ) {8} P

g) {,{3}} P

i) {ch} S

j) {,3} P

h) 2 Q

Pgina 28 de 49

4-. Dados los conjuntos :

U = {a, b, c, d, e, f , g }
B = {a, c, e, g}

A = {a ,b, c }

C = {d, e, f , g}

encontrar:
a) ( A U B ) I C

e) A C I C C

b) (B I C ) U (A I C )
c ) (A B )U C
d) (C A ) I C

(
g) ( B

)
U C) I A

f) A I AC
C

5-. En cada diagrama sombree la operacin indicada:

a) A U ( B I C)

b) ( A B ) I ( A C )

B
C

e) ( A I B ) U ( B I C )

A
C

f ) (C I A)

C
B

g)C C U(A B)

C
C

d) A I B I C

c) ( A U B ) I C

h ) ( A I C )U ( B I D )
A
U

C
BC

Pgina 29 de 49

6-. Utilizando las propiedades de los conjuntos demuestre que:

a) (A U B ) I B = B

b) (A I B ) U A I B C = A

) (

c) A C I B I A C U BC

7-. En una encuesta realizada a 100 personas sobre sus inversiones, se observ que 45
personas posean acciones, 60 posean bonos y 90 posean por lo menos una de las
dos inversiones. Se desea obtener la siguiente informacin:
a) El nmero de personas que tienen ambas inversiones
b) El nmero de personas que no tenan ninguna de las dos inversiones
c) El nmero de personas que poseen solamente acciones
d) El nmero de personas que poseen exactamente una de las dos inversiones.
8-. Una encuesta realizada a un grupo de 700 estudiantes de una universidad nocturna
sobre los diferentes medios de comunicacin que usan revel que: 133 tienen celular,
251 usan beeper, 471 tienen telfono, 129 tienen beeper y telfono, 49 usan beeper y
celular, 73 tienen celular y telfono, y 35 tienen celular, beeper y telfono.
a) Cuntos de los entrevistados utilizan dos medios de comunicacin?
b) Cuntos de los entrevistados utilizan slo un medio de comunicacin?
c) Cuntos de los entrevistados no tienen ningn medio de comunicacin?
9-. En una universidad al analizar los horarios de clases se observ que:
El 43% de los estudiantes tienen clase a las 7 a.m.
47% tienen a las 8 a.m.
40% a las 9 a.m.
16% tienen clase a las 7 a.m. y a las 8 a.m.
18% a las 7 a.m. y a las 9 a.m.
14% a las 8 a.m. y a las 9 a.m.
6% tienen a las 7 a.m.8a.m. y 9a.m.
Se desea conocer :
a) Qu porcentaje de estudiantes tienen clase durante esas tres horas
b) Slo a las 8 a.m.
c) Qu porcentaje no tiene clases durante esas tres horas
d) Slo a las 7 a.m. y a las 8 a.m.

Pgina 30 de 49

RESPUESTAS

1-. a) { Colombia, Ecuador, Per, Chile}

c) {11,12,.......24}

2 . a ) x / x Z

d) { 2, 7}

b) {1, 2, 3}
e) {2, 4, 6, 8,......}

{
}
d ) { x / x N , x es multiplo de 3 x 27 }
+

b) x / x Z , x es par

c) { x / x Z , x 5, x 2}

3-. a, b, c, d, e, f, j, g, h verdaderas
i, j falsas

4-. a) {e, g}, b) {e, g }, c) {b, d, e, f, g }, d) {d, e, f, g }, e) { }, f) U, g) {d, e, f, g }

5-.

a) A U (B I C )

b) (A B )I (A C )
U

e) (A I B ) U (B I C )

(
(A
(A

idempotencia
absorcin

) (
) De Morgan
B) (A B) asociativa
A) (B B) def.

c ) A C B A C BC
C
C

U
B
C

6 .a) (A B) B distributividad

h)(A I C )U (B I D )

U
A

(A B) (B B)
(A B) B

g)C C U (A B )
U

f ) (CI A )

d) A C B C C C

c ) (A U B ) I C C

b) (A B) A BC

A B BC

distributividad

def complemento, unin

A U

identidad

identidad

7-. a) 15,
b) 10,
8-. a) 146, b) 458,
9-. a) 88%, b) 23%,

c) 30, d) 75
c) 61
c) 12%, d) 10%.

Pgina 31 de 49

2.3 Producto Cartesiano de conjuntos y Relaciones

Definicin

1: Un par ordenado esta formado por dos elementos, en el cul el orden

en que estn anotados es esencial. Se denota: (a,b), a se denomina

primera componente, primera coordenada, abscisa del par y b
segunda componente, segunda coordenada, ordenada del par.
Observacin 1: a) (a,b) (b,a)

b) (a,b) {b,a}
Teorema

[( a, b ) = ( c ,d )] [ (a = c) (b = d) ]

El concepto de par Ordenado se generaliza, y se tiene:

(a,b,c)

Tros Ordenados.

(a,b,c,d) Cuartetos Ordenados

...............................................
y se tiene:
(a1,a2,a3.......an) = (b1,b2,b3.......bn)
Definicin

si solo si ai = bi i

2: A B = { (a,b) / a A

b B } : Conjunto llamado Producto

Cartesiano de A por B en ese orden, o A cruz B.

Observacin 2:

1) A A = A2
2) En general: A B B A
3) A B C = { (a,b,c) / a A , b B , c C }
en cambio
( A B ) C = { ((a,b),c) / (a,b) A B , c C }
por lo tanto
A B C (A B) C

Pgina 32 de 49

Los productos cartesianos de dos conjuntos se pueden representar grficamente. Para

representar A B se dibujan dos rectas perpendiculares que se cortan. El punto en que
se cortan : Origen. La recta horizontal es la recta numrica orientada de izquierda a
derecha. La recta vertical es la recta numrica orientada de abajo hacia arriba. Ambas
rectas se cortan en el punto correspondiente al 0.
B
P (a,b)

b
O

Se pueden usar escalas diferentes para ambos ejes. El eje horizontal: eje de las Abscisas,
Eje de las x o Eje OX. En el se representan obligadamente el conjunto A. El eje vertical:
Eje de las Ordenadas, Eje de las y o Eje OY. En el se representa obligadamente el
conjunto B. Por los puntos de A se trazan paralelas a OY. Por los puntos de los elementos
de B se trazan paralelas a OX. Los puntos en que estas paralelas se cortan representan a
los pares ordenados respectivos.
Los ejes OX y OY dividen al plano en cuatro regiones llamadas Cuadrantes numeradas
como se indican en la figura.

II

I
x

O
III

IV

Este plano con los dos ejes se llama El Plano Cartesiano.

Si los elementos de A son letras: se ubican arbitrariamente en el eje. Lo mismo ocurre
con B. Si son conjuntos numricos, los elementos se ubican como en la recta numrica.
Las escalas en ambos ejes pueden ser distintas.

Pgina 33 de 49

Relaciones de un conjunto en otro.

3: Sean A , B conjuntos. El conjunto R es una Relacion (Binaria) de A en
B,
si y solo si :

Definicin

R A B.
Se anota: R : A B y se dice que R aplica A en B.
Observacin 3: a) Si R : A B , y ( a, b ) R , tambin se anota:
a R b , R (a) = b
R relaciona a con b.

a: pre imagen de b ( por R )

b: imagen de a

( por R )

Si ( a, b ) R tambin se anota a R/ b
b) Frecuentemente se utilizan dibujos especiales para visualizar

las

relaciones, por ejemplo, los Diagramas de Flechas:

Ejemplo

1:

A = { a, b, c} , B = { p, q, r,s,t } y la relacin R : A B es :
R = { ( b, q ), ( b, s ), ( c, t ) } , el diagrama de flechas correspondiente
es:
R
p
a
b
c

r
q
t
s

A
B

Pgina 34 de 49

4: R : A B , entonces :

Definicin

a) {a A / ( a, b ) R } : El Dominio de la Relacin R o Dom ( R )

b) {b B / ( a, b ) R } : El Recorrido de la Relacin R o Rec ( R )
c) B

: El Codominio de la Relacin R .

Observacin 4: Dom R A , Rec R B. Dicho en palabras el Dominio de la

relacin R es el conjunto formado por las pre imgenes de la relacin

R. El recorrido de la relacin R es el conjunto formado por las imgenes
de la relacion R.
2: A = { a, b, c} , B = { p, q, r,s,t } y la relacin R : A B es :

Ejemplo

R = { ( b, q ), ( b, s ), ( c, t ) } , el diagrama de flechas correspondiente

es:

p
q

Se tiene que R : A B , R = { (a,p), (a,q), (c,s) } , Dom R = {a,c}, Rec R = { p, q, s },

R(a) = p, R(a) = q, R(c) = s, el codominio de R es {p,q,r,s}
Definicin

5: ( R es una relacin en A ) ( R: A A )

Pgina 35 de 49

Maneras de definir una relacin de un conjunto en otro

Tal como en teora de conjuntos, definir una relacin de un conjunto en otro es indicar
claramente los elementos (pares ordenados) que forman la relacin:
1)

Por extensin: dando la lista completa de los pares ordenados que forman la

relacin o mediante el diagrama de flechas respectivo.

2)

Por comprensin: En este caso, se identifican los pares que forman la relacin,

mediante formulas aritmticas que ligan las coordenadas de cada par de la relacin, o
mediante instrucciones que permiten formar los pares que conforman la relacin.
3: En IR, sea la relacin S = { (a,b) / b = 2a }

Ejemplo

Por lo tanto S = {.......( 0, 0), ( 1, 2 ), (-1,-2), (3,6),.........}

Esta relacin puede anotarse :
En IR, sea la relacin y = 2x ( donde y representa genricamente a la
segunda coordenada del par; x : la primera coordenada del par).

Notaciones

Cuando se usa la notacin (x,y) para indicar los pares que forman la relacin:
x

: Es el smbolo genrico para las pre imgenes de la relacin . Se la llama la

variable independiente de la relacin.

: Es el smbolo genrico para las imgenes de la relacin . Se la llama la variable

dependiente de la relacin.

x,y

: Variables de la relacin.

y = f(x): Smbolo que representa genricamente a una relacin cualquiera.

Pgina 36 de 49

Desde el punto de vista de la representacin grfica de una relacin en IR, representar

una relacin en IR es seleccionar un subconjunto del plano cartesiano.
y

Definicin

6: Sea A un conjunto. Diremos que una relacin R en A es una relacin de

equivalencia si y slo si:

i.

a A ( a, a ) R

Reflexividad

ii.

( a, b ) R ( b, a) R

Simetra.

iii. ( a, b ) R ( b, c ) R ( a, c ) R Transitividad

Definicin

7: Sea A un conjunto. Diremos que una relacin R en A es una relacin

de orden si y slo si:

i.

a A ( a, a ) R

Reflexividad

ii. ( a, b ) R ( b, a) R a = b

Antisimetra.

iii. ( a, b ) R ( b, c ) R ( a, c ) R Transitividad

Definicin

8: Si R : A B , entonces R -1 : B A es una relacin tal que:

R -1 = { ( b, a) / ( a, b ) R }
R 1 se llama la relacin inversa de R

Pgina 37 de 49

GUA DE EJERCICIOS
PRODUCTOS CARTESIANOS Y RELACIONES

1-. Dado los conjuntos A = { 2,-1} B = {1, 2, 3}. Determinar:

a) A x B

d) (A U B) x ( B - A)

b) B x A

e) (A x B) U (A x A)

c) B x B

f) ( A - B) x B

2-. Con los resultados de la parte a) de ejercicio anterior, calcule las siguientes relaciones:
a) x es menor que y
b) 2x > 3y
c) x + y > 2
3-. Realice una grfica de las relaciones del ejercicio 3
4-. Cada uno de los enunciados formales siguientes define una relacin en los nmeros
reales. Representar cada relacin en el plano cartesiano.
a) y = x 2

c ) y < 3 xb

e) y x 3

b) y x 2

d) y sen x

f ) y > x3

5-. Sea la relacin R = {(1,5), (4,5), (1,4), (4,6), (3,7), (7,6)}. Determinar el dominio y
recorrido de la relacin.
6-. Sea la relacin :

R=

{(x, y ) / x Z

S = (x, y ) IR / y =
x

, y Z + , x = 12

T = (x, y ) IR / y = x 1

Escribir R como un conjunto de pares ordenados, hallar el dominio y recorrido de R, S, T.

Pgina 38 de 49

2.4 Funciones
2.4.1 Definicin de funcin.
Definicin

1: A, B: conjuntos ; f: A B es de A en B si y slo si:

i) f es una relacin de A en B

ii) dom f = A
iii) x A ! y B tal que (x, y) f

Observacin 1: i)

Una funcin de A en B es una relacin de A en B tal que todos y

cada uno de los elementos de A deben tener una y solo una imagen
en B.

ii) Tambin, en lugar de hablar de funciones de A en B se habla de

aplicaciones de A en B
iii) El conjunto B se llama el codominio de la funcin.
iv) Toda funcin es una relacin, pero no toda relacin es una funcin.

Regla del mximo dominio para las relaciones y funciones.

Cuando se trate de relaciones y funciones f: A B siempre consideraremos como

dominio de la funcin el subconjunto ms amplio posible.

Ejemplo

1: f: IR IR
1
x
x

No es una funcin debido slo al hecho que el 0 no tiene imagen

aplicando la regla del mximo dominio se suprime implcitamente el 0 y
el dominio pasa a ser automticamente IR { 0 }

Pgina 39 de 49

2.4.2 Funciones Epiyectivas, Inyectivas, Biyectivas e Inversa

Definicin

1: f: A B , f se denomina :

Una funcin epiyectiva (o sobreyectiva) de A en B, si y slo si:

y B

xA

tal que

y = f (x)

En forma equivalente si Rec f = B

Definicin

2: f: A B , f se denomina :

Una funcin inyectiva (o uno a uno) de A en B, si y slo si:

x 1, x 2 A : x 1 x 2

f (x1 ) f ( x 2 )

esta definicin es equivalente a:

x 1, x 2 A :

Definicin

f ( x1 ) = f ( x 2 ) x = y

3: f: A B , f se denomina :

Una funcin biyectiva de A en B, si y slo si:

f es epiyectiva e inyectiva a la vez

Definicin

4: f: A B es biyectiva, entonces la funcin inversa de f es:

f 1 : B A , definida por :
x = f 1 ( y ) y = f ( x )

Pgina 40 de 49

Observacin 1: i) f 1 es slo una notacin para la funcin inversa de f y no tiene

relacin alguna con 1
f

ii) Desde el punto de vista prctico, para obtener f 1( x )

explcitamente hay que despejar x de y = f (x), y luego
intercambiar las variables x e y.
iii) Algunas funciones que no son biyectivas pueden restringirse a un
subconjunto adecuado de sus dominios en donde lo sean y luego
proceder a buscar su inversa.
iv) Si en un sistema de coordenadas las escalas en ambos ejes son las
mismas,

en

correspondientes

se

representan

ambas

relaciones

f 1( x )
quedan

los

puntos
ubicados

simtricamente respecto de la recta y = x

y
f

y=x
f- -1
x

Figura 1

Pgina 41 de 49

2.4.3 lgebra y Composicin de funciones :

Sea f : A IR, g : B IR, con A B ; entonces se tienen las siguientes funciones

definidas en trminos de estas operaciones.
Definicin

1: La suma, diferencia, producto y cuociente de las funciones f y g son

las funciones
f + g, f g, f g , 1 definidas por :
f

x A B : ( f + g ) ( x ) = f ( x ) + g ( x )

i)

ii) x A B : ( f g ) ( x ) = f ( x ) + g ( x )
iii) x A B : ( f g ) ( x ) = f ( x ) g ( x )
f(x)
f
iv) x A B, g( x ) 0 : ( x ) =
g
g
(x)

Definicin

2: Sean f: A B, g : B C. Entonces, la composicin de f y g es la

funcin g o f : A C , definida por:

( g o f )( x ) = g ( f ( x ) )
Grficamente:

B
f

C
g

f(x)

g (f(x))

Figura 2

Pgina 42 de 49

2.4.4 Algunas Funciones

1 -. La funcin Constante

fc : A IR se llama una funcin constante si c IR tal que: fc ( x ) = c

x IR .

Es decir, Rec fc = { c }
Grficamente:

y
(x, c)

y=c

Figura 1

2 -. La funcin Identidad

I A : A A se llama funcin identidad si :

IA (x) = x x A
y

y =x
y

Figura 2

Pgina 43 de 49

3 -. La funcin lineal

f : A IR se llama funcin lineal si :

f ( x) = a x + b

x A ,

donde

a, b IR y

a 0

y = ax + b

(0, b)

x
(-b/a,0)

Figura 3
4 -. La funcin Cuadrtica

f : A IR se llama funcin cuadrtica si es de la forma:

f ( x ) = a x 2 + bx + c x A , a,b,c IR y a 0

Tambin, para la funcin de la figura 4 f(x) = a (x r1) ( x r2)

Pgina 44 de 49

5 -. La funcin Valor Absoluto

f : A IR se llama funcin valor absoluto si

f ( x) = x

x A
y

y = x
(-x, y)

(x, y)
-x

Figura 5
6-. La funcin Escaln Unitario o funcin de Heaviside

Ua : [ 0,+] IR se llama funcin escaln unitario

0 x < a
donde a es un real no negativo dado
Ua ( x ) =
1 x a

Figura 6

Pgina 45 de 49

7-. Las funciones Potenciales

f ( x ) = x n , nIN

Figura 7
8-. Las funciones Polinomiales

p ( x ) = a 0 + a1x + a 2 x 2 + ......a n x n ,
donde a i IR, i = 0,1,......, n

Pgina 46 de 49

GUA DE EJERCICIOS
FUNCIONES

1-. Realizar la grfica de las siguientes funciones

a) f ( x )= 3

x 3 si x 0

l) f ( x ) = 2x si 0 < x < 5
2x + 20 si x 5

b) f ( x ) = 2x 2

m) f ( x ) = lnx

c ) f ( x) = x 3

n) f ( x ) = e x

d) f ( x ) = 3 x 6

o) x = 2 y
x

f ) f ( x) = 3x 6

4
p) f ( x ) =
5
q) f ( x ) = log ( x + 1)

g) f ( x ) = x 2 + 7 x + 12

r ) f ( x ) = 2 sen 2 x

e) f ( x ) = x + 5 x + 6

x+2
x3
2
i) f ( x ) =
3x + 1
h) f ( x ) =

j) f ( x ) =

x2 9
x 3

2x + 3 si x < 0

k ) f ( x ) = x 2 + 3 si0 x < 2

7
si x 2

s) f ( x ) = sen 3 x
t ) f ( x ) = sen

x
3

u) f ( x ) = 3 sen x
v ) f ( x ) = cos 2x
w ) f ( x ) = tan 2x
x
x ) f ( x ) = cot
2

Pgina 47 de 49

2-. Determine el dominio y recorrido de las siguientes funciones:

a) f ( x)=

5
( x + 2)(x 3)

Domf ={x R / x 2,x 3}

Re c f =R
Domf =] ,2]U[3, [
Re c f ={y R/ y 0}

b) f ( x)= x 2 5x + 6
c ) f ( x)=1

d) f ( x)=1

4
x

Domf ={x R/ x 0}
Re c f ={y R/ y 1}

4
x2

3 .Dadas

Domf ={x R/ x 2}
Re c f ={y R / y 1}

las

f (x) = x 2 , g (x)

funciones

Hallar : (f + g)

(x)

, (f g)

(x)

, (f g)

(x)

f
,
g

(x)

1
x

, determinar

sus dominios.
R {0}

R: son todos iguales

4 .Dadas las funciones f(x) = 5x 2 + 8 , g(x) =

2x + 1
x2 + 2
R:

5 . Si f ( x ) =

x
2

x + 12

g( x )= x 3 + 1;

determinar (g o f)

(x)

10x 2 + 17
25x 4 + 80x 2 + 66

h( x )=2

Obtener: a) g o f , b) h o ( f + g) , c ) (g h) o h
6 .Sean a, b, c, d R y f, g las funciones definidas por f(x) = ax + b, g(x) = cx + d.
Encuentre las condiciones necesarias y suficientes para que f o g = g o f.

Pgina 48 de 49

7-. Para f : I R IR se definen E, O : IR IR Como sigue

E(x) =

1
[f(x) + f( x)],
2

O(x) =

1
[f(x) f( x)]
2

a) Si f(x) = 3x 3 + 2x 2 x + 1, calcule E(x) y O(x).

b) Pruebe que E es par y que O es impar.
c) Verifique que f = E + O.
Cul es la conclusin que puede obtenerse de lo anterior ?
8-. Considere dos funciones f, g cada una de las cuales es par o impar. Determine si f + g
y f g son pares, impares , o no necesariamente de alguno de estos tipos.
9-. Sea f(x) = x 2 1. Determine una funcin g, tal que g o f = I.

Pgina 49 de 49