CAPITULO 1

LGICA Y CONJUNTOS

1

PROPOSICIONES
PROPOSICIN
Es una unidad semntica que, o slo es verdadera o slo es falsa. Los elementos
fundamentales de la lgica son las proposiciones.
Por ello, las oraciones que no son falsas ni verdaderas, las que son falsas y verdaderas
al mismo tiempo, o las que carecen de sentido, no son objeto de estudio de la lgica.
Oraciones que son proposiciones.
7 es un nmero primo.
5(3+4) = 36.
Todos los nmeros enteros son positivos.
Vicente Rocafuerte fue Presidente del Ecuador.

Las oraciones anteriormente expuestas son proposiciones, ya que son verdaderas o
falsas. Todas ellas pueden ser calificadas por el lector con precisin y sin
ambigedades o subjetivismo.

Representacin simblica de proposiciones.
Usualmente, las primeras letras del alfabeto espaol en minscula se usan para
representar proposiciones. a: , b: , c: ,d: ,z:.
a: 15 es un nmero impar.
a: 38 - 20 = 18.
b: Todos los nmeros enteros son positivos.
c: Obtengo buenas notas.

Oraciones que no son proposiciones.
Lava el auto, por favor.
Hola, cmo ests?
Aprate!
La conceptualizacin cambia lo absurdo en azul.
x + 5 = 9.
Maana se acabar el mundo!
No son proposiciones porque no se puede establecer su valor de verdad.
Generalmente las oraciones imperativas, exclamativas e interrogativas no son
proposiciones. x + 5 = 9 no es una proposicin, ya que el valor de x no es preciso y por
lo tanto no se puede establecer su valor de verdad.



CAPITULO 1
LGICA Y CONJUNTOS

2


VALOR DE VERDAD
El valor de verdad de una proposicin es la cualidad de veracidad que describe
adecuadamente la proposicin. ste puede ser verdadero o falso.

Lo asociamos:







Utilizaremos cualquiera de ellas, pero la convencin a seguir en el texto ser el uso de
0 y 1, tomando como referencia el sistema de numeracin binario.
Ejemplo:



TABLA DE VERDAD
Una tabla de verdad es una representacin de los posibles valores de verdad que
podra tomar una proposicin. Sirven para mostrar los valores, las relaciones y los
resultados posibles al realizar operaciones lgicas.
La cantidad de combinaciones (filas de la tabla de verdad) depende de la cantidad de
proposiciones presentes en la expresin lgica.
Construccin de tablas de verdad.





Valor de Verdad Valor Falso
1 0
V F
T False
TRUE
Proposicin Valor de Verdad
a: 7 es un nmero primo. 1 Verdadero
b: Todos los nmeros enteros son negativos. 0 Falso






CAPITULO 1
LGICA Y CONJUNTOS

3
OPERADORES LGICOS
En nuestro lenguaje comn usamos frecuentemente proposiciones ms complejas,
no tan simples o elementales.

Ejemplo:
No te encontr en tu casa.
Fui al banco y estaba cerrado.
Tengo una moneda de cinco centavos o una de diez centavos.
El carro de Juan o es azul o es negro.
Si me gano la lotera, entonces me compro una casa.
Estudio en la ESPOL si y slo si me esfuerzo.
Surge entonces la necesidad de definir los nexos de estas proposiciones a los cuales
se denominan conectores u operadores lgicos. Gramaticalmente, estos nexos, en su
mayora, son denominados partes invariables de la oracin.

NEGACIN ()

Tabla de Verdad de la Negacin:


Este operador lgico cambia el valor de verdad de una proposicin: si a es una
proposicin verdadera, a es falsa; si a es una proposicin falsa, a es verdadera.
La negacin se presenta con los trminos gramaticales: "no", "ni", "no es verdad
que", "no es cierto que".

Ejemplo


Si se tiene la proposicin: a: Tengo un billete de 20 dlares.
La negacin de a es: a: No tengo un billete de 20 dlares.



CONJUNCIN ( . )
Sean a y b proposiciones, la conjuncin entre a y b, representada simblicamente por
a.b, es una nueva proposicin, cuyo valor de verdad est dado por la siguiente tabla
de verdad:
a
a
0 1
1 0




CAPITULO 1
LGICA Y CONJUNTOS

4



Este operador lgico relaciona dos proposiciones para formar una nueva, en la cual la
proposicin resultante ser verdadera solamente cuando el valor de verdad de ambas
proposiciones es verdadero. En espaol, la conjuncin copulativa se presenta con los
trminos gramaticales: "y", "pero", "mas", y signos de puntuacin como: la coma, el
punto, y el punto y coma.

Ejemplo

Si se tienen las proposiciones:
a: Obtengo buenas notas.
b: Gana una beca.
La conjuncin entre a y b es:
a.b: Obtengo buenas notas y gano una beca.


DISYUNCIN ( v )

Sean a y b proposiciones, la disyuncin entre a y b, representada simblicamente
por a v b, es una nueva proposicin, cuyo valor de verdad est dado por la
siguiente tabla de verdad:




Este operador lgico relaciona dos proposiciones para formar una nueva, en la cual la
proposicin resultante ser falsa solamente cuando el valor de verdad de ambas
a b a.b
0 0 0
0 1 0
1 0 0
1 1 1
a b a v b
0 0 0
0 1 1
1 0 1
1 1 1




CAPITULO 1
LGICA Y CONJUNTOS

5
proposiciones es falso.
En espaol, la disyuncin se presenta con el trmino gramatical "o".
Ejemplo:
Si se tienen las proposiciones:
a: Tengo un libro de Trigonometra.
b: Tengo un libro de lgebra.
La disyuncin entre a y b es:

a v b: Tengo un libro de Trigonometra o uno de lgebra.


DISYUNCIN EXCLUSIVA ( v )

Sean a y b proposiciones, la disyuncin exclusiva entre a y b, representada
simblicamente por a v b, es una nueva proposicin, cuyo valor de verdad est dado
por la siguiente tabla de verdad:







Este operador lgico relaciona dos proposiciones para formar una nueva, en la cual la
proposicin resultante ser verdadera cuando solamente una de ellas sea verdadera.
La disyuncin exclusiva a Y b puede expresarse como:

(a v b) . (a . b)

La disyuncin exclusiva se presenta con el trmino gramatical "o", "o slo", "o
solamente", "o..., o...".

Ejemplo:

Si se tienen las proposiciones:
a: Estoy en Quito.
b: Estoy en Guayaquil.
La disyuncin exclusiva entre a y b es:
a v b: O estoy en Quito o estoy en Guayaquil.

a b a v b
0 0 0
0 1 1
1 0 1
1 1 0




CAPITULO 1
LGICA Y CONJUNTOS

6
CONDICIONAL ( )

Sean a y b proposiciones, la condicional entre a y b, representada simblicamente por
a b, es una nueva proposicin, cuyo valor de verdad est dado por la siguiente
tabla de verdad:



Este operador lgico tambin se denomina enunciacin hipottica o implicacin. En
la proposicin a b, a es el antecedente, hiptesis o premisa; b es el consecuente,
conclusin o tesis; y la proposicin resultante ser falsa solamente cuando el valor de
verdad del antecedente sea verdadero y el valor de verdad del consecuente sea falso.
La proposicin a b se puede encontrar con los siguientes trminos gramaticales:
"si a, entonces b", "a slo si b", "a solamente si b", "b si a", "si a, b", "b con la
condicin de que a", "b cuando a", "b siempre que a", "b cada vez que a", "b ya que
a", "b debido a que a", "b puesto que a", "b porque a", "se tiene b si se tiene a", "slo
si b, a", "b, pues a", "cuando a, b", "los a son b", "a implica b", o cualquier expresin
que denote causa y efecto.


Ejemplo:
Si se tienen las proposiciones:
a: Juan gana el concurso.
b: Juan dona $ 10 000.
La condicional entre a y b es:
a b: Si Juan gana el concurso, dona $ 10 000.


Parafraseando la condicional, tenemos:

- Juan gana el concurso slo si dona $ 10 000.
- Juan dona $ 10 000 si gana el concurso.
- Si Juan gana el concurso, entonces dona $ 10 000.
- Juan dona $ 10 000 puesto que gana el concurso.
a b a
b
0 0 1
0 1 1
1 0 0
1 1 1




CAPITULO 1
LGICA Y CONJUNTOS

7
- Juan dona $ 10 000 debido a que gana el concurso.
- Juan dona $ 10 000 siempre que gane el concurso.
- Cuando Juan gane el concurso, dona $ 10 000.
- Juan dona $ 10 000 porque gana el concurso.
En base a este ejemplo, nos podemos preguntar: cundo se quebrantar la promesa
de Juan? Esto ser nicamente cuando Juan gane el concurso y no done el dinero.
Existen otras proposiciones relacionadas con la condicional ab, las cuales se
denominan: recproca, inversa y contrarecproca (o contrapositiva).

La Recproca, es representada simblicamente por: b a.
La Inversa, es representada simblicamente por: a b.
La Contrarrecproca, es representada simblicamente por: b a.

Ejemplo de Variaciones de la condicional:
A partir de la proposicin:
"Si es un automvil, entonces es un medio de transporte".
La Recproca sera:
"Si es un medio de transporte, entonces es un automvil".
La Inversa sera:
"Si no es un automvil, entonces no es un medio de transporte"
La Contrarrecproca sera:
"Si no es un medio de transporte, entonces no es un automvil"


BICONDICIONAL ( )

Sean a y b proposiciones, la bicondicional entre a y b, representada simblicamente
por ab, es una nueva proposicin, cuyo valor de verdad est dado por la siguiente
tabla de verdad:


a b ab
0 0 1
0 1 0
1 0 0
1 1 1




CAPITULO 1
LGICA Y CONJUNTOS

8
Este operador lgico tambin se denomina doble implicacin. La proposicin a^b ser
verdadera cuando los valores de verdad de ambas proposiciones sean iguales.
Tambin se puede observar que la proposicin ab ser falsa cuando los valores de
verdad de ambas proposiciones sean diferentes.
En espaol, la proposicin ab se puede encontrar con los siguientes trminos
gramaticales: "a si y slo si b", "a si y solamente si b", "a implica b y b implica a", "a
cundo y slo cuando b".
Ejemplo:
Dadas las proposiciones:

a : Un tringulo es equiltero.
b: Un tringulo es equingulo.

La bicondicional entre a y b es:

ab: Un tringulo es equiltero si y slo si es equingulo.




PROPOSICIONES SIMPLES Y COMPUESTAS

PROPOSICIONES SIMPLES Y COMPUESTAS

Proposiciones simples son aquellas que no poseen operador lgico alguno. Las
proposiciones compuestas estn formadas por otras proposiciones y operadores
lgicos.

Ejemplo 1:

Traduzca al lenguaje simblico la proposicin:
"Si la seguridad privada es efectiva, disminuyen los ndices de asalto en la ciudad y el
turismo se desarrolla. Los ndices de asalto no disminuyen, pero la seguridad privada
es efectiva. Entonces, el turismo no se desarrolla".

Solucin:
Se pueden identificar las siguientes proposiciones simples:
a: La seguridad privada es efectiva.
b: Los ndices de asalto disminuyen en la ciudad.
c: El turismo se desarrolla.

Los operadores lgicos que se encuentran presentes en esta proposicin compuesta




CAPITULO 1
LGICA Y CONJUNTOS

9
son la condicional, la conjuncin y la negacin.

La traduccin es:
[(a(b.c)).(b.a)](c)|

Ntese la importancia del uso de los signos de agrupacin para preservar la idea
original del enunciado.


Ejemplo 2:


Si se consideran las siguientes proposiciones simples:

m: Viajo al exterior.
n: Apruebo el curso de nivel cero.
p: Obtengo una beca.

Una traduccin al lenguaje formal de la proposicin compuesta "Viajo al exterior slo
si apruebo el curso de nivel cero y obtengo una beca", es:

a) p (m. n) e)(n . p) m
b) m (n . p) d) m (n . p)
c) (n . p) v




Ejemplo 3: Determinacin de valores de verdad


Bajo la suposicin de que los valores de verdad de las proposiciones simples a, b, c, y
d son respectivamente 0, 0, 1, 1, indique el valor de verdad de cada una de las
siguientes proposiciones compuestas:

a) (avb)(c . d) d) (ca)v(b.d)

Solucin:

a) (0v0)(1 . 0)
(0)0
1 0
0
d) (10)v(0.1)
(0)v0
1v0
1





CAPITULO 1
LGICA Y CONJUNTOS

10

FORMAS PROPOSICIONALES

VARIABLES PROPOSICIONALES
p constituye una variable proposional cuando puede representar a una proposicin
simple o compuesta, este valor ser desconocido mientras no se especifique el valor
de verdad de las proposiciones involucradas.
Para representar variables proposicionales se utilizan las letras minsculas del
alfabeto p, q, r.

FORMAS PROPOSICIONALES
Se denominan formas proposicionales a las estructuras constituidas por variables
proposicionales y los operadores lgicos que las relacionan.
Estas formas proposicionales se representan con las letras maysculas del alfabeto
espaol A, B, C, ........

Ejemplo : Tabla de verdad de una forma proposicional.


Dada la siguiente forma proposicional:
A: [(p.q)(r vp)].r
Debido a la presencia de las 3 variables proposicionales p, q y r, existirn 2
3

proposiciones posibles en la tabla de verdad de A.













p q r p.q p r vp [(p.q)(r
vp)].r
A
0 0 0 0 1 1 1 0
0 0 1 0 1 1 1 1
0 1 0 0 1 1 1 0
0 1 1 0 1 1 1 1
1 0 0 0 0 0 1 0
1 0 1 0 0 1 1 1
1 1 0 1 0 0 0 0
1 1 1 1 0 1 1 1




CAPITULO 1
LGICA Y CONJUNTOS

11
TAUTOLOGA, CONTRADICCIN, CONTINGENCIA

Dada la estructura lgica de una forma proposicional:

TAUTOLOGA.- Si se tiene solamente proposiciones verdaderas para todos los valores
de verdad de las variables proposicionales.

Ejemplo:
TAUTOLOGA






CONTRADICCIN.-Si se tienen solamente proposiciones falsas para todos los valores
de verdad de las variables proposicionales.


Ejemplo
CONTRADICCIN








CONTINGENCIA.- Si se tiene algunas proposiciones verdaderas y otras falsas para los
valores de verdad de las variables proposicionales.

Ejemplo

CONTINGENCIA







p q qp p(qp)
0 0 1 1
0 1 0 1
1 0 1 1
1 1 1 1
p q q pq p(qp)
0 0 1 1 0
0 1 0 1 0
1 0 1 1 0
1 1 0 0 0
p q p v q p(pvq)
0 0 0 1
0 1 1 1
1 0 1 0
1 1 1 1




CAPITULO 1
LGICA Y CONJUNTOS

12
Implicacin Lgica

Sean A y B dos formas proposicionales, se dice que A implica lgicamente a B,
denotado por AB, si y slo si AB es una tautologa.


Ejemplo:


La forma proposicional tautolgica: *(pq)(qr)+(pr), se puede traducir al
lenguaje comn como si cada vez que se tiene p se tiene q y cada vez que se tiene q
se tiene r, entonces cada vez que se tiene p se tiene r





Equivalencia lgica

Sean A y B dos formas proposicionales, se dice que A es equivalente lgicamente a B,
denotado por AB, si y slo si AB es una tautologa.

Ejemplo:


La forma proposicional: (pq)(qp), se puede traducir al lenguaje comn como
cada vez que se tiene p, se tiene q, y es lgicamente equivalente a cuando no se
tiene q, entonces no se tiene p.








p q r pq qr pr (pq)(qr) *(pq)(qr)](pr)
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
1
1
1
1
0
0
1
1
1
1
0
1
1
1
0
1
1
1
1
1
0
1
0
1
1
1
0
1
0
0
0
1
1
1
1
1
1
1
1
1
p q p q pq qp pq)(qp)
0
0
1
1
0
1
0
1
1
1
0
0
1
0
1
0
1
1
0
1
1
1
0
1
1
1
1
1




CAPITULO 1
LGICA Y CONJUNTOS

13
PROPIEDADES DE LOS OPERADORES LGICOS

LEYES DE LOS OPERADORES FUNDAMENTALES CONJUNCIN Y DISYUNCIN












LEYES DE LOS OPERADORES NEGACIN, CONDICIONAL Y BICONDICIONAL.











CONJUNCIN DISYUNCIN
(p.q) = (q.p) Conmutativa (pvq) = (qvp)
[(p.q).r ]=[p.(q.r) ] Asociativa [(pvq)vr ]=[pv(qvr)]
(p.p)=p Idempotencia (pvp)=p
(p.1)=p Identidad (pv1)=p
(p.0)=0 Absorcin (pv0)=0

0 = 1
1 = 0
Negacin
(p)= p Doble Negacin o Involutiva
pv(q.r) = (pvq).(pvr)
p.(qvr) = (p.q)v(p.r)
)
Distributivas
(p.q) = (pvq)
(pvq) = (p.q)
De Morgan
(pvp) = 1 Tercero Excluido
(p.p) = 0 Contradiccin
(p.q)

= (qp) Contrapositiva o Contrarrecproca
(pq) =

(pvq)
(pq) =

(pvq)
(pq) =

(pvq)

Implicacin




CAPITULO 1
LGICA Y CONJUNTOS

14
RAZONAMIENTOS
RAZONAMIENTOS

Son proposiciones compuestas que pueden ser representadas por la conjuncin de
proposiciones denominadas premisas o hiptesis, la condicional como operador
lgico principal; y, una proposicin final denominada conclusin.
Las premisas o hiptesis corresponden al antecedente de la implicacin, mientras
que la conclusin es su consecuente.
| H
1
. H
2
. H
3..
.

H
n
| C

CONJUNCIN DE HIPTESIS CONDICIONAL CONCLUSION
ANTECEDENTE OPERADOR CONSECUENTE
LGICO

La lgica simblica se ocupa de analizar la validez de los razonamientos; no nos puede
decir si la informacin contenida en una hiptesis es verdadera o falsa. Los trminos
vlido y no vlido se refieren a la estructura del razonamiento, no a la veracidad o
falsedad de las proposiciones.

El punto importante a recordar es que la veracidad o falsedad de las premisas y la
conclusin, no determinan la validez del razonamiento.


VALIDEZ DE UN RAZONAMIENTO

Un razonamiento es vlido cuando la forma proposicional que representa su
estructura lgica es una tautologa. Si dicha forma proposicional es una contradiccin
o contingencia, entonces el razonamiento no es vlido, en cuyo caso se denomina
falacia.


Ejemplo 1: Determinacin de la validez de un razonamiento.

Determine si el siguiente razonamiento es vlido:

"Si Pablo recibi el e-mail, entonces tom el avin y estar aqu al medioda. Pablo no
tom el avin. Luego, Pablo no recibi el e-mail".

Solucin:

Se procede primero a identificar las proposiciones simples:





CAPITULO 1
LGICA Y CONJUNTOS

15
a: Pablo recibi el e-mail.
b: Pablo tom el avin.
c: Pablo estar aqu al medioda.

Luego, se identifican las hiptesis y la conclusin:

H
1
: a(b.c) H
2
: b C: a
H
1
: p(q.r) H
2
: q C: p

|H
1
. H
2
|C
|(p(q.r)).q| p













E

Ejemplo 2: Determinacin de la validez de un razonamiento.


Determine si el siguiente razonamiento es vlido:

Si el crimen ocurri despus de las 04h00, entonces Pepe no pudo haberlo cometido.
Si el crimen ocurri a las 04h00 o antes, entonces Carlos no pudo haberlo cometido. El
crimen involucra a dos personas, si Carlos no lo cometi. Por lo tanto, el crimen
involucra a dos personas.

a: El crimen ocurri despus de las 04h00.
b: Pepe pudo haber cometido el crimen.
c: Carlos pudo haber cometido el crimen.
d: El crimen involucra a dos personas.

Luego se identifican las hiptesis y la conclusin:


p q r q.r
H
1

p(q.r)
H
2

q
H
1
. H
2

C
p
|H
1
. H
2
|C

0 0 0 0 1 1 1 1 1
0 0 1 0 1 1 1 1 1
0 1 0 0 1 0 0 1 1
0 1 1 1 1 0 0 1 1
1 0 0 0 0 1 0 0 1
1 0 1 0 0 1 0 0 1
1 1 0 0 0 0 0 0 1
1 1 1 1 1 0 0 0 1




CAPITULO 1
LGICA Y CONJUNTOS

16
H
1
: a(b) H
2
: (a)(c) H
3
: (c)d C: d
H
1
: p(q) H
2
: (p)(r) H
3
: (r)s C: s

[H
1
H
2
H
3
]C
[(p(q))((p)(r))((r)s)]s






Puesto que la forma proposicional result una contingencia, podemos concluir que el
razonamiento no es vlido (falacia lgica).






Anlisis:

La lgica simblica es la rama de las matemticas que nos permite reconocer la
validez de una argumentacin, as como tambin nos proporciona las herramientas de
razonamiento necesarias para elaborar demostraciones irrefutables y convincentes.
Una parte importante de las matemticas son las definiciones, stas en general no
responden a la pregunta qu es?, sino a la pregunta qu caractersticas tiene? Que
nos ayudan en el trascurso de nuestras vidas.


p q r s q
H
1
p(q)
p r
H
2

(p)(r)
H
3

(r)s
H
1
H
2
H
3

[H
1
H
2
H
3
]C

0 0 0 0 1 1 1 1 1 0 0 1
0 0 0 1 1 1 1 1 1 1 1 1
0 0 1 0 1 1 1 0 0 1 0 1
0 0 1 1 1 1 1 0 0 1 0 1
0 1 0 0 0 1 1 1 1
0
0 1
0 1 0 1 0 1 1 1 1 1 1 1
0 1 1 0 0 1 1 0 0 1 0 1
0 1 1 1 0 1 1 0 0 1 0 1
1 0 0 0 1 1 0 1 1
0
0 1
1 0 0 1 1 1 0 1 1 1 1 1
1 0 1 0 1 1 0 0 1 1 1 0
1 0 1 1 1 1 0 0 1 1 1 1
1 1 0 0 0 0 0 1 1
0
0 1
1 1 0 1 0 0 0 1 1 1 0 1
1 1 1 0 0 0 0 0 1 1 0 1
1 1 1 1 0 0 0 0 1 1 0 1




CAPITULO 1
LGICA Y CONJUNTOS

17
CONJUNTOS
CONJUNTO

Coleccin, reunin o agrupacin de objetos que poseen una caracterstica o propiedad
comn bien definida.

Para establecer si un objeto pertenece o no a un conjunto, debe verificarse que posea
la caracterstica o propiedad declarada por el conjunto. De aqu que es importante
que esta caracterstica no sea ambigua.

Los conjuntos usualmente se denotan con letras maysculas del alfabeto espaol
A, B, C.

Algunas agrupaciones que representan conjuntos son:

Los nmeros enteros.
Los habitantes de la Luna.
Los animales en extincin.
Los nmeros primos.
Los paquetes de software.
Los operadores de telefona celular.

Todas estas agrupaciones poseen una caracterstica que puede ser verificable con
precisin.
Para decir que x es un elemento del conjunto A, escribiremos x A. Para decir que x
no est en A, escribiremos x A.

La descripcin de un conjunto se puede realizar de las siguientes maneras:

Por COMPRENSIN, para referirnos a alguna caracterstica de los elementos.

A = {x/x es consonante de la palabra comprensin}

Por EXTENSIN o TABULACIN, cuando se listan todos los elementos.

A = {c, o, m, p, r, n, s}

Por medio de DIAGRAMAS DE VENN, cuando se desea representarlo grficamente.


A
Note que:
d A
b A

c o m
p r n
s




CAPITULO 1
LGICA Y CONJUNTOS

18
CARDINALIDAD

Es la cantidad de elementos de un conjunto A. Se denota por el smbolo N(A).

Ejemplo: Cardinalidad de conjuntos.


A = {x/x es un dgito impar en el sistema de numeracin decimal}
N(A) = 8, porque A = {2, 4, 6, 8, 10, 11, 12, 13}



CONJUNTOS RELEVANTES

Sea A un conjunto, se pueden dar los siguientes casos:

A es VACO () si no tiene elementos.

A = {x/x es un nmero par e impar a la vez}
N(A) =

A es UNITARIO si tiene un nico elemento.

A = {*}
N(A) = 1

A es FINITO si tiene una cantidad finita de elementos.

A = {x/x es integrantes de un equipo de futbol}

A es INFINITO si no tiene una cantidad finita de elementos.

A = {x/x es nmero entero}

A es REFERENCIAL o UNIVERSO cuando contiene todos los elementos que deseen
considerarse en un problema, sin pretender contener todo lo que no interesa al
problema. El smbolo que se utiliza para representar a este conjunto es Re o U.

A = {x/x es una letra del alfabeto espaol}

CUANTIFICADORES
CUANTIFICADOR UNIVERSAL ()
Cualquier expresin de la forma: para todo, todo, para cada, cada, constituye


CAPITULO 1
LGICA Y CONJUNTOS

19

en el lenguaje formal un cuantificador universal y se simboliza por medio de .

x, 4x+3x = 7x

Se lee Para todo nmero x se cumple que 4x+3x=7x.


CUANTIFICADOR EXISTENCIAL ()
Cualquier expresin de la forma: existe, algn, algunos, por lo menos uno,
basta que uno, constituye en el lenguaje formal un cuantificador existencial y se
simboliza por medio de .
x, 3x+6 = 9

Se lee Existe al menos un nmero x, para el cual 3x+6=9.


Ejemplo:

Sea Re ={x/x es ser humano}. Traduzca al lenguaje comn las siguientes proposiciones.

a) x [(x es vegetariano) .(x come zanahorias)]
b) x [(x es vegetariano) v (x come zanahorias)]
c) x [(x es vegetariano) . (x come zanahorias)]

a) Todos los seres humanos son vegetarianos y comen zanahorias.
b) Algunos son vegetarianos o comen zanahorias.
c) Todos los seres humanos son vegetarianos pero no comen zanahorias.



SUBCONJUNTO
El conjunto A es subconjunto de B si y slo si los elementos de A estn contenidos en B.
Simblicamente, este concepto se representa por:

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

Si A es subconjunto de B (A B) pero B no es subconjunto de A (B A), se dice que A
es SUBCONJUNTO PROPIO de B, lo cual se representa por:

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

- La proposicin (x ) es falsa, porque no existen elementos que pertenezcan


CAPITULO 1
LGICA Y CONJUNTOS

20

al conjunto vaco.

- La proposicin 0p es siempre verdadera.

- Concluimos que: [(x )(x A)] 1, es decir que A. El conjunto vaco
es subconjunto de cualquier conjunto.

Si realizramos un anlisis similar, podramos concluir tambin que todo conjunto es
subconjunto de s mismo: A A.


CONJUNTO POTENCIA P(A)

Dado un conjunto A, su conjunto potencia es aquel que est formado por todos los
subconjuntos posibles de A. El smbolo que se utiliza para este conjunto es P(A).

P(A) ={B/B A}

La cardinalidad del conjunto potencia de A se denota como N(P(A)) y es igual a 2N(A).


Ejemplo 1: Determinacin el conjunto potencia


A = {*, +, a}
N(P(A)) = 2
3
= 8.

Si A = {*, +, a}, entonces P(A) = { , {*}, {+}, {a}, {*, +}, {*, a}, {+, a}, A}.





Ejemplo 2: Determinacin el conjunto potencia


Dado el conjunto A = {1, {a, b}}, construya P(B).

N(P(A)) = 2
2
= 4

P(B) = {, {1}, {{a, b}}, B}.







CAPITULO 1
LGICA Y CONJUNTOS

21

1.8.1 Relaciones entre conjuntos

IGUALDAD ENTRE CONJUNTOS

Dos conjuntos A y B son iguales si y slo si tienen los mismos elementos. Es decir,
ambos conjuntos se contienen mutuamente. Simblicamente, este concepto se
representa por:

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

Usando las definiciones y las propiedades de la lgica proposicional, se tiene:

(A = B)x[(x A)(x B)]


CONJUNTOS DISJUNTOS E INTERSECANTES

Los conjuntos A y B son DISJUNTOS si y slo si A y B no tienen elementos en comn.
Los conjuntos A y B son INTERSECANTES si y slo si A y B tienen al menos un elemento
comn.


OPERACIONES ENTRE CONJUNTOS
UNIN ENTRE CONJUNTOS
La unin entre los conjuntos A y B es un nuevo conjunto formado por los elementos
que pertenecen al conjunto A o al conjunto B. Se denota por A B y se define como:

AB = {x/(x A)(x B)}


Diagrama de Venn de la Unin entre Conjuntos:













CAPITULO 1
LGICA Y CONJUNTOS

22

INTERSECCIN ENTRE CONJUNTOS
La interseccin entre los conjuntos A y B es un nuevo conjunto formado por los
elementos que pertenecen al conjunto A y al conjunto B. Se denota por AB y se
define como:

AB = {x/(x A)(x B)}

Diagrama de Venn de la Interseccin entre Conjuntos:








DIFERENCIA ENTRE CONJUNTOS
(
La diferencia entre los conjuntos A y B es un nuevo conjunto formado por los
elementos que pertenecen al conjunto A, pero no pertenecen al conjunto B. Se
denota por AB y se define como:

AB = {x/(x A)(x B)})}



Diagrama de Venn de la Diferencia entre Conjuntos:











DIFERENCIA SIMTRICA ENTRE CONJUNTOS

La diferencia simtrica entre los conjuntos A y B es un nuevo conjunto formado por
los elementos que pertenecen o al conjunto A o al conjunto B. Se denota por AB y se
define como: AB = (AB) (BA), o tambin:

AB = {x/[(x A)(x B)][(x B)(x A)]}


CAPITULO 1
LGICA Y CONJUNTOS

23


Diagrama de Venn de la Diferencia Simtrica entre conjuntos:










COMPLEMENTACIN DE CONJUNTOS

La complementacin de un conjunto A es un nuevo conjunto formado por los
elementos del referencial que no pertenecen al conjunto A. Se denota por AC y se
define como:

AC = {x/(x Re)(x A)}

Diagrama de Venn de la Complementacin de conjuntos:











Ejemplo:


Sean A, B, C conjuntos no vacos. Respecto del siguiente diagrama de Venn.









La regin sombreada corresponde a:


CAPITULO 1
LGICA Y CONJUNTOS

24


a) (A B) C
b) (A B) A
c) (A B) C
d) (A B) C
e) (B A) C





PROPIEDADES DE LAS OPERACIONES ENTRE CONJUNTOS

Las operaciones entre conjuntos y algunas de sus ms importantes propiedades se
incluyen en las denominadas Leyes del lgebra de Conjuntos. A continuacin se
presentan las de uso ms frecuente:

Leyes de las Operaciones Fundamentales Unin e Interseccin

UNIN

INTERSECCIN
A B = B A Conmutativa AB = BA
(AB)C=A(BC) Asociativa (AB)C=A(BC)
AA = A Idempotencia AA = A
A = A Identidad ARe = A
A Re = Re Absorcin A =


Otras Leyes.
0
C
= Re
(Re)
C
=
Complementacin
(A
C
)
C
= A
Doble
Complementacin
o Involutiva
A (BC) = (A B) (A C)
A (B C) = (AB) (AC)
Distributivas
(AB)
C
= A
C
B
C

(A B)
C
= A
C
B
C

De Morgan
A A
C
= Re
AA
C
=
(A B)(B
c
A
c
)

(A B)(A
c
B=Re)

(A B=Re)(A
c
B)



CAPITULO 1
LGICA Y CONJUNTOS

25

























Demostracin de propiedades del lgebra de conjuntos.

- p.d. A B=B A (Conmutatividad)

x (AB)(x A)(x B) Definicin de Unin.
(x B)(x A) Ley Conmutativa de la Disyuncin.
x (BA) Definicin de Unin.


Demostracin de propiedades del lgebra de conjuntos.

- p.d. (A B)C = AC BC (Primera ley de De Morgan)

x (AB)C (x Re)(x (AB)) Definicin de Complementacin.
(x Re)[(x A)(x B)] Definicin de Unin.
(x Re)[(x A)(x B)] Ley de De Morgan de la Disyuncin.
[(x Re)(x A)][(x Re)(x B)] Ley de Idempotencia.
x (Re A) x (Re B) Definicin de Diferencia.
x (AC BC) Definicin de Complementacin.



(AB = 0)^A B
c


[(A C)(B C)][(AB) C]
[(A B).(A C)][A (BC)+ Transitividad
(A B)*(ABC) ] Reduccin al absurdo
(A = B)[(A B)(B A)]
(A = B)(B = A)
Equivalencia
AB (A )(B )
AB = (A = )(B = )

AB = (A = )(B = )
A(BC)=(AB)(AC)
A(BC)=(AB)(AC)
A
A A
A
[(A B)(B C)](A C) Transitividad
[(A B)(C D)][(AC) (BD)]
[(A B)(C D)][(AC) (BD)]


CAPITULO 1
LGICA Y CONJUNTOS

26

Demostracin de propiedades del lgebra de conjuntos.

- p.d. N(AB) = N(A) + N(B)N(AB)


A= (AB)(AB) Expresado mediante conjuntos disjuntos.
N(A) = N(AB)+N(AB) Su cardinalidad es la suma.
N(AB) = N(A)N(AB) Se obtiene esta expresin til.
AB = (AB)(AB)(BA) Expresado mediante conjuntos disjuntos.
N(AB) = N(AB)+N(AB)+N(BA) Su cardinalidad es la suma.
N(AB) =N(A)N(AB)+N(AB)+N(B)N(BA) Cardinalidad de la diferencia.
N(AB) = N(A)+N(B)N(AB) Se completa la demostracin.


Se puede demostrar que:

N(ABC) = N(A)+N(B)+N(C)N(AB)N(AC)N(BC)+N(ABC)

Ejemplo 1:


Determine los elementos de los literales a y b dado que:

Re = {1, 2, 3, 4, 5, 6, 7, 8}
A= {1, 2, 3, 4, 5}
B= {2, 4, 6, 8}
C= {1, 3, 6, 7}

a) (A B) (C
c
B
c
)
c

b) (A - B) (C
c
- B)


a) (A B) (C
c
B
c
)
c

A B ={1, 2, 3, 4, 5, 6, 7, 8}
B
c
={1, 3, 5,7}
C
c
={2, 4, 5,8}
(C
c
B
c
)
c
={1, 2, 3, 4, 6, 7, 8}
(A B) (C
c
B
c
)
c
={1, 2, 3, 4, 6, 7, 8} R.

b) (A - B) (C
c
- B)
A-B ={1, 3, 5}
C
c
={2, 4, 5,8}
C
c
B ={5}
(A - B) (C
c
- B) = {1, 3, 5} R.

2
4
8
5
1 3 6
6 7


CAPITULO 1
LGICA Y CONJUNTOS

27

Ejemplo 2:

En una encuesta realizada a 90 personas, 50 escuchan msica, 20 ven pelcula y 60
escuchan msica o ven pelcula. Cuntas personas realizan las 2 actividades?.

Datos:

N(Re)= 90
N(M)= 50
N(P)= 20
N(M P)= 60
N(M P)= ?

Luego:

N(M P) = N(M) + N(P) - N(M P)
60 = 50 + 20 - N(M P)
60 = 70 - N(M P)
N(M P) = 10 R.

N(M P) = N(M) + N(P) - N(M P)
N(M P) = 50 + 20 - 10
N(M P) = 60

N(M P)
C
= N(Re) - N(M P)
N(M P)
C
= 90 - 60
N(M P)
C
= 30




Ejemplo 3:


Se hizo una encuesta a 1000 personas acerca del canal de televisin donde preferan
ver programas documentales y se obtuvieron los siguientes resultados: 620 vean
Teleamazonas; 400 vean Canal Uno; 590 vean Ecuavisa; 195 vean Teleamazonas y
Canal Uno; 190 preferan ver Canal Uno y Ecuavisa; 400 vean Teleamazonas
y Ecuavisa; 300 preferan ver Teleamazonas y Ecuavisa, pero no Canal Uno.
Determine el nmero de personas que no ven estos canales.


Datos:

N(Re) = 1000
50 20 60
40 10 10
30


CAPITULO 1
LGICA Y CONJUNTOS

28

N(T) = 620
N(C) = 400
N(E) = 590
N(TC) = 195
N(CE) = 190
N(TE) = 400
N*(TE) C] = 300



Si N(TE) = 400 y N*(TE) C+ = 300, entonces N(TCE) = 100.

N(TCE) = N(TE) - N*(TE) C]
N(TCE) = 400 300
N(TCE) = 100

Luego:

N(TCE) = N(T)+N(C)+N(E)N(TC)N(CE)N(TE)+N(TCE)
N(TCE) = 620 + 400 + 590 195 190 400 +100
N(TCE ) = 925
N(TCE)
C
= N(Re)N(TCE) = 1000 925=75 R.

Respuesta: 75 personas que no ven estos canales.



PREDICADOS
PREDICADOS DE UNA VARIABLE

Son expresiones en trminos de una variable que al ser reemplazadas por los
elementos de un conjunto referencial, se convierten en proposiciones. Si x representa
a cualquier elemento de Re, entonces la expresin p(x) se definir como predicado.

La notacin para los predicados ser: p(x), q(x), r(x), etc.

Ejemplo:


Dado Re = {1, 2, 3, 4, 5, 6} y p(x): x es impar.

Si x = 3, p(3): 3 es impar, es una proposicin verdadera.
Si x = 6, p(6): 6 es impar, es una proposicin falsa.



CAPITULO 1
LGICA Y CONJUNTOS

29

Por lo tanto, p(x) es un predicado.



CONJUNTO DE VERDAD DE UN PREDICADO

Es el conjunto formado por todos los elementos de Re para los cuales el predicado se
convierte en una proposicin verdadera. La notacin a utilizar para este conjunto es
Ap(x), y se define como:
Ap(x) = {x/(x Re)(p(x)1)}

En relacin a los conjuntos de verdad de predicados compuestos, se cumplen las
siguientes propiedades:


Leyes de los Conjuntos de Verdad de Predicados.

Ap(x) = A
C
p(x)
A[p(x)vq(x)] = Ap(x)Aq(x))
A[p(x).q(x)] = Ap(x)Aq(x)
A[p(x)q(x)] = A
C
p(x) Aq(x)


Ejemplo: Aplicacin de las propiedades de los conjuntos de verdad.


Se pueden obtener conjuntos de verdad de predicados compuestos a partir de los
conjuntos de verdad de los predicados que lo constituyen.
De esta forma, si se requiere hallar A[p(x)(q(x)r(x))], se pueden emplear las
propiedades anteriormente citadas de la siguiente forma:


A[p(x)(q(x).r(x))] = A[p(x)v(q(x).r(x))]
= ACp(x) (Aq(x)Ar(x))
A[p(x)(q(x).r(x))] = ACp(x) (Aq(x)ACr(x))

De esta manera, conociendo los conjuntos de verdad de p(x), q(x), r(x) y el referencial
de estos predicados, se puede obtener el conjunto de verdad resultante de esta
operacin.

En referencia a los ejemplos 1.51, 1.52, 1.53 y 1.54 se tiene que:

A
C
p(x) = {2, 4, 6}
Aq(x) = {1, 2, 3, 4}
A
C
r(x) = {1, 3, 4, 5, 6}


CAPITULO 1
LGICA Y CONJUNTOS

30


Realizando las operaciones indicadas en A
C
p(x) (Aq(x) A
C
r(x)), se obtiene el
conjunto {1, 2, 3, 4, 6}, el cual constituye el conjunto de verdad del predicado
compuesto requerido.



Dado que ya se ha definido a los predicados y en la seccin 1.9 se describieron los dos
tipos de cuantificadores que se utilizan en la lgica simblica, se pueden traducir
expresiones del lenguaje natural que combinan predicados y cuantificadores.
Para el efecto, si se tiene un predicado p(x) y un conjunto referencial Re, los siguientes
enunciados son proposiciones con cuantificadores:

xp(x)
xp(x)

Ya que el primero de ellos se lee para todo x elemento del Re, se cumple p(x), y el
segundo de ellos se lee existe al menos un x elemento de Re que cumple con p(x),
ambos pueden ser calificados como proposiciones verdaderas o falsas.

De aqu que, si un predicado es cuantificado con alguno de los dos cuantificadores
definidos, se obtiene una proposicin, tal como se define a continuacin.


VALOR DE VERDAD DE PROPOSICIONES CON CUANTIFICADORES


Una proposicin que contiene un cuantificador universal es verdadera si y slo si el
conjunto de verdad del predicado es igual al conjunto referencial de la expresin
abierta.

xp(x)(Ap(x) = Re)

Una proposicin con un cuantificador existencial es verdadera si y slo si el conjunto
de verdad del predicado no es vaco.

xp(x)(Ap(x) = )


Ejemplo 1:


Sea el conjunto referencial Re = {1, 2, 3, 4, ...} y los predicados: p(x): x es un nmero
impar, q(x): x es un nmero par. Identifique cul de las siguientes proposiciones es
falsa:



CAPITULO 1
LGICA Y CONJUNTOS

31


a) A(p(x)q(x) Aq(x) falso Ap(x)= {1, 3, 5,. }
b) Re = Ap(x) Aq(x) falso Aq(x)= {2, 4, 6,. }
c) Ap(x) = A
C
q(x) falso
d) Aq(x) Ap(x) = verdadero R,
e) A(q(x)p(x)) = Ap(x) falso





Ejemplo 2:


Dado el conjunto referencial Re = {0, 1, 2, 3, 4, 5, 6} y los predicados:

p(x): x es un nmero par.
q(x): x es mayor que siete.
r(x): x es menor que diez.
s(x): x es un nmero impar.

Determine cada uno de los siguientes conjuntos:

a) Ap(x) Aq(x) e) A[(p(x)s(x))(q(x)r(x))]
b) As(x) Ar(x) f) A
C
r(x) As(x)
c) Ap(x) As(x)
d) A(p(x) q(x))

Solucin:

Ap(x): {2, 4, 6}
q(x): {}
r(x): {0, 1, 2, 3, 4, 5, 6}.
s(x): {1, 3, 5}

a) Ap(x)Aq(x) = {, 2, 4, 6}

b) As(x)Ar(x) = {1, 3, 5} c) Ap(x)As(x )= {1, 2, 3, 4, 5, 6}

d) A(p(x)q(x)) = A
C
(p(x)q(x)) = {}

e) A[(p(x)s(x))(q(x)r(x))] = A
C
[(p(x) )s(x)) )(q(x) )r(x))] = Re

f) A
C
r(x)As(x) = {}



CAPITULO 1
LGICA Y CONJUNTOS

32

g) (ReAp(x))(Aq(x) )As(x)) = {0, 1, 3, 5}
ReAp(x) = {0, 1, 3, 5}
Aq(x)As(x) = {0, 1, 3, 5}





PARES ORDENADOS Y PRODUCTO CARTESIANO

PAR ORDENADO

Un par ordenado es un conjunto de dos elementos, x y y, que tiene un orden; al
elemento x se lo denomina primera componente y al elemento y se lo denomina
segunda componente. Se representa simblicamente por: (x, y).

Como el par es ordenado, no es lo mismo (x, y) que (y, x).

Una terna ordenada sera un conjunto de tres elementos ordenados y su
representacin es: (a, b, c).

Es importante anotar que existen conjuntos ordenados que pueden formarse con ms
de tres componentes.




PRODUCTO CARTESIANO

Sean dos conjuntos A y B, no vacos, denominaremos producto cartesiano entre A y B,
al conjunto de todos los pares ordenados cuya primera componente pertenece al
conjunto A, y la segunda al conjunto B. Simblicamente, se representa como: A x B.


A x B = {(x, y)/(x A).(y B)}


La representacin grfica de A x B constituye el plano cartesiano, en el cual tanto los
elementos de A como los de B se alinean en dos segmentos de recta. Un segmento
representar al conjunto A y el otro al conjunto B.








CAPITULO 1
LGICA Y CONJUNTOS

33

PLANO CARTESIANO














CARDINALIDAD DEL PRODUCTO CARTESIANO.


La cardinalidad entre los conjuntos A x B es:

N(A x B) = N(A) N(B)

La cardinalidad de A x B x C es:

N(A x B x C) = N(A) N(B) N(C)

La cardinalidad del producto cartesiano es el producto de las cardinalidades de los
conjuntos que intervienen en la operacin.


Ejemplo 1: Producto cartesiano entre dos conjuntos


A = {1, 3, 5} B = {2, 4, 6}

A x B = {(1,2), (1,4), (1,6), (3,2), (3,4), (3,6), (5,2), (5,4), (5,6)}

La cardinalidad del conjunto resultante es N(A x B) = 9.



Ejemplo 2: Producto cartesiano entre tres conjuntos


A = { m, n} B = {2, 4, 6} C = {x, y}

x A
y B
(x, y) A x B


CAPITULO 1
LGICA Y CONJUNTOS

34

A x B x C = {(m,2,x), (m,2,y), (m,4,x), (m,4,y), (m,6,x), (m,6,y), (n,2,x), (n,2,y), (n,4,x),
(n,4,y), (n,6,x), (n,6,y)}

La cardinalidad del conjunto resultante es N(A x B x C) = 12.




Ejemplo: Cardinalidad del producto cartesiano.


Si A, B, C son conjuntos tales que: N(A) = 3, N(B) = 5, N(C) = 2 y N(BC) = 3, determine
N[A x (BC)].

Solucin:

En base a la definicin de N(A x B), tenemos que:

N[A x(BC)] = N(A).N(BC)

Por otra parte:
N(BC) = N(B) + N(C) N(BC) = 5 + 2 3 = 4

Luego:
N[A x(BC)] = (3)(4) =12 R.



PROPIEDADES DEL PRODUCTO CARTESIANO.

El producto cartesiano tiene las siguientes propiedades:

A x (BC) = (A x B)(A x C)
A x (BC ) = (A x B)(A x C)
A x (BC) = (A x B)(A x C)
(AB) x C = (A x C)(B x C)
(AB) x C = (A x C)(B x C)
(AB) x C = (A x C) (B x C)


RELACIONES

RELACIN

Una relacin establece la correspondencia entre los elementos de dos conjuntos no
vacos A y B. Usualmente, al conjunto A se lo denomina conjunto de partida, y al


CAPITULO 1
LGICA Y CONJUNTOS

35

conjunto B, de llegada. Simblicamente, la relacin se representa por R y se cumple
que:
R A x B

Es decir, todos los subconjuntos de A x B constituyen una relacin. La cantidad
mxima de relaciones que se pueden obtener a partir de dos conjuntos no vacos A y B
es:

2N(A) N(B).


Ejemplo: Cantidad de relaciones.


Dados los conjuntos A = {1, 2} y B = {a, b}, determine analticamente el nmero de
relaciones posibles que se pueden obtener de A en B, y realice los diagramas sagitales
correspondientes a todas las relaciones posibles.

Solucin: El nmero de relaciones de A en B es 2N(A)N(B) = 2(2)(2) = 24= 16

Diagramas sagitales:

Caso 1: Ningn elemento del conjunto de partida est relacionado con ningn
elemento del conjunto de llegada (relacin vaca).











Caso 2: Relaciones de un solo elemento del conjunto de partida con uno solo del
conjunto de llegada.









R
1

R
2
R
3



CAPITULO 1
LGICA Y CONJUNTOS

36









Caso 3: Relaciones de
un solo elemento del conjunto de partida con dos del conjunto de llegada.










Caso 4: Relacin de dos elementos del conjunto de partida con uno solo del conjunto
de llegada.











Caso 5: Relaciones de un elemento del conjunto de partida con uno solo del conjunto
de llegada.











R
4
R
5

R
6
R
7

R
10
R
11

R
8
R
9



CAPITULO 1
LGICA Y CONJUNTOS

37

Caso 6: Relaciones de un elemento del conjunto de partida con dos del conjunto de
llegada y el otro elemento del conjunto de partida con otro del conjunto de llegada.



















Caso 7: Todos los elementos del conjunto de partida estn relacionados con todos los
elementos del conjunto de llegada (producto cartesiano).















DOMINIO DE UNA RELACIN

Dada una relacin R, construida a partir de los conjuntos A y B, los elementos del
conjunto A que establecen correspondencia constituyen el dominio de la relacin. Se
representa simblicamente por:

dom R.

R
12
R
13

R
14
R
15

R
16



CAPITULO 1
LGICA Y CONJUNTOS

38

No necesariamente todos los elementos del conjunto de partida forman parte del
dominio de una relacin.


RANGO DE UNA RELACIN

Dada una relacin R, construida a partir de los conjuntos A y B, los elementos del
conjunto B que se relacionan con elementos del dominio de R constituyen el rango de
la relacin. Se representa simblicamente por:

rg R.

Es comn tambin denominar al rango de la relacin como el recorrido, imagen o
codominio de la misma.

No necesariamente todos los elementos del conjunto de llegada forman parte del
rango de una relacin.

Ejemplo: Dominio y rango de una relacin.


A = {2, 4, 5} B = {1, 3, 5} R = {(x, y)/x+y es un nmero primo}

Solucin:

R = {(2,1), (2,3), (2,5), (4,1), (4,3)}
dom R = {2, 4} R.
rg R = {1, 3, 5} R.



REPRESENTACIN SAGITAL DE UNA RELACIN


Ejemplo:


A = {0, 2, 4, 6} B = {1, 3, 5}

R = {(x, y)/x>y}

R = {(2,1), (4,1), (4,3), (6,1), (6,3), (6,5)}


Podemos observar que domR = {2, 4, 6} y rgR = {1, 3, 5}.


CAPITULO 1
LGICA Y CONJUNTOS

39

FUNCIONES

FUNCIN

Una relacin de A en B es una funcin si y slo si el dominio de la relacin es todo el
conjunto de partida, y si a cada elemento del dominio le corresponde un nico
elemento en el rango. Simblicamente, esta definicin se representa por:

1. dom R = A

2. x Ay1, y2 B[(x R y1) (x R y2) (y1 = y2)]

Para denotar funciones usualmente se utiliza la letra f.

De esta definicin, se concluye que en una funcin no pueden existir dos elementos del
conjunto de llegada relacionados con un mismo elemento del dominio, o lo que es
igual, un elemento del dominio no puede estar relacionado con dos elementos
diferentes del conjunto de llegada.

Cabe anotar que toda funcin es una relacin, pero no toda relacin representa una
funcin.

Es posible que las funciones tambin sean representadas con las letras g, h

En la expresin y = f(x):

x se conoce como la variable independiente.
y se conoce como la variable dependiente.


Ejemplo: Relaciones y funciones.


Dados los conjuntos A = {a, b, c, d} y B = {1, 2, 3}, y las relaciones:

R1 = {(a, 1), (b, 2), (c, 2), (d, 3)}
R2 = {(a, 1), (b, 2), (b, 3), (d, 1)}

Determine si R1 o R2 constituyen funciones de A en B.

Solucin:

R
1
: AB





CAPITULO 1
LGICA Y CONJUNTOS

40

S constituye una funcin, ya que el dominio de R1 es todo el conjunto de partida A, y
a cada elemento del dominio le corresponde uno del conjunto de llegada.

R2: AB









No es una funcin, porque el dominio no constituye todo el conjunto de partida A.
Tambin se puede observar que no se cumple la segunda condicin de funcin para el
elemento b.

A = {1, 2, 3}
B = {a, b, c}

f : AB
f = {(1, a), (2, b), (3, b)}











En este caso, se dice que b es imagen de 2 y de 3, y que a es imagen de 1.



TIPOS DE FUNCIONES

FUNCIN INYECTIVA

f : AB es inyectiva {x1, x2 A[(x1 = x2)( f (x1) = f (x2))]}


f es inyectiva si cada elemento del rango es imagen exclusiva de un nico elemento
del dominio.

dom f = A
rg f = {a, b}


CAPITULO 1
LGICA Y CONJUNTOS

41

Es necesario que N(A) N(B) para poder construir funciones inyectivas.


Ejemplo:


A = {2, 4, 5}
B = {8, 64, 125, 216}
f : AB, y es el cubo de x

f = {(2, 8), (4, 64), (5, 125)}











FUNCIN SOBREYECTIVA

f : AB es sobreyectiva {y B x A[y = f (x)]}

f es sobreyectiva si rg f = B.

Es necesario que N(A) N(B) para poder construir funciones sobreyectivas.

Ejemplo:


A = ,1, 0, 1-
B = {0, 1}

f : AB, y es el cuadrado de x
f = {(1, 1), (0, 0), (1, 1)}








dom f = A
rg f = {8, 64, 125}
f es inyectiva.
dom f = A
rg f = B
f es sobreyectiva.


CAPITULO 1
LGICA Y CONJUNTOS

42

FUNCIN BIYECTIVA.

f : AB es biyectiva si y slo si f es inyectiva y f es sobreyectiva.


Ejemplo:


P = {Guayas, El Oro, Pichincha}
C = {Machala, Guayaquil, Quito}


f : PC, y es capital de x

f = {(Guayas, Guayaquil), (El Oro, Machala), (Pichincha, Quito)}










Las funciones biyectivas tienen propiedades importantes, una de las cuales se
explicar a continuacin.


FUNCIN INVERSIBLE

f : AB es inversible si y slo si su relacin inversa es una funcin de B en A.

A partir de esta definicin, el lector podr verificar el siguiente teorema.

f es una funcin inversible si y slo si es biyectiva.



FUNCIN INVERSA

Si f : AB es biyectiva, es posible construir la inversa f
1
: BA. Esta nueva funcin
permite invertir el sentido de la correspondencia, tal que a cada y B se lo asocia con
un nico x A.

La funcin inversa es f
1
: BA, lo cual indica que el orden de los conjuntos cambia.
dom f = A
rg f = B
f es biyectiva.


CAPITULO 1
LGICA Y CONJUNTOS

43

Adicionalmente, se puede notar que el dominio de f es el rango de f
1
y el rango de f
es el dominio de f
1
.

FUNCIN COMPUESTA

Sean las funciones f : AB y g : CD, la funcin compuesta denotada por gof es una

funcin que relaciona A con D, es decir, que a partir de un elemento x de A, se obtiene
un elemento g( f (x)) de D.

La composicin de funciones gof se ilustra en el siguiente grfico, suponiendo que B =
C:


Composicin de funciones gof.















Es importante anotar que gof existe, si y slo si: rg f dom g.

Dadas dos funciones f y g:
gof es el conjunto de parejas de la forma (x, g(f (x))). Considerando el grfico anterior,
si f y g son procesos, entonces h = gof es el resultado del proceso siguiente:

1. h recibe un elemento x y lo introduce en el proceso f para obtener b = f (x)
2. h introduce a b en el proceso g para obtener g(b) = g(f (x))
3. En resumen, h ha transformado a x en h(x) = g(f (x))

Lo anterior nos permite concluir que dom(gof ) = A, y que rg(gof ) rg g D.
La composicin de funciones fog, siendo g:BC y f: CA, se ilustra en el siguiente
grfico:





CAPITULO 1
LGICA Y CONJUNTOS

44



Composicin de funciones fog.












La funcin compuesta fog existe, si y slo si: rg g dom f.
Se cumple que dom (fog) = B, y que rg (fog) rg f A.
La composicin de funciones, en general, no es conmutativa.

Ejemplo: Composicin de funciones.


Considere los conjuntos A = {, , , } y B = {a, b, c, d, e}. Se tienen las funciones:

f : AB dada por f = {(, b), (, a), (, d), (, c)}
g : BA dada por g = {(a, ), (b, ), (c, ), (d, ), (e, )}

Es posible construir las funciones:

gof: A A
gof = {(, ), (, ), (, ), (, )}

fog: B B
fog = {(a, b), (b, b), (c, a), (d, d), (e, c)}

De este ejemplo se puede concluir que fog es diferente a gof.












CAPITULO 1
LGICA Y CONJUNTOS

45













Ejemplo: Composicin de funciones.


Dados los conjuntos A y B tales que A = B = {1, 3, 5, 7} y la funcin f y g de A en B:


f = {(1, 3), (3, 1), (5, 5), (7, 7)}
g = {(1, 7), (3, 7), (5, 1), (7, 3)}

Determine f 1 o g.

Solucin:

f 1 = {(3, 1), (1, 3), (5, 5), (7, 7)}















f 1 o g = {(1, 7), (3, 7), (5, 3), (7, 1)}
Adicionalmente, se cumple que:
dom (f 1 o g) = dom g
rg ( f 1 o g) rg f 17



CAPITULO 1
LGICA Y CONJUNTOS

46


ANLISIS:

Un conjunto elaborado puede representar informacin de una manera fcil y precisa.
La representacin grfica y por enumeracin muestra a cada uno de los elementos del
conjunto mediante la utilizacin de diagramas o llaves, lo que es muy prctica en la
vida cotidiana para solucin de problemas comunes; por otra parte, la forma literal
permite establecer la caracterstica comn o propiedad de los elementos de un
problema y es muy til para representar de una manera distinta con un nmero de
elementos.