Universidad Central

del Ecuador
Facultad de Ciencias
Qumicas

Nivelacin de carrera

Cuaderno de Matemtica
Jorge Catucuamba
A1 CQ V07
Ing. Jorge Bracero
Octubre 2014 - Marzo 2015

CAPTULO I

LGICA MATEMTICA
1. Definicin:
Es una rama de la matemtica que se encarga del estudio de los
razonamientos y enunciados para determinar si estos son verdaderos
o falso.

Lgica Matemtica
Es una parte de la lgica y las matemticas que consisten en el estudio matemtico de la lgica y la
aplicacin de este estudio a otras reas de las matemticas, por medio de ciertas reglas que
determinan si un argumento es vlido.

Teora Es
de modelos
Es el estudio de las
representaciones de
los conceptos
matemticos.
Tales como
-Nmeros reales
-nmeros racionales
-nmeros complejos
-raz cuadrada

Teora de la
recursin
Teora de la
demostracin

Teora de conjuntos

Es

Es

La rama que se ocupa

de las demostraciones
como objetos
matemticos,
facilitando su anlisis
mediante tcnicas
matemticas

Divisin de las
matemticas que
estudia los
conjuntos
Se define
Como una coleccin
de objetos

Se ocupa de
La sintaxis

Es La forma en la cual
se especifica un
proceso; el cual puede
dividirse para hacerse
ms simple

Estudia
Problemas de
decisin

2. Proposicin
Llamaremos de esta forma a cualquier afirmacin que sea verdadera o falsa, pero no
ambas cosas a la vez.
Ejemplo:
Las siguientes afirmaciones son proposiciones.
1.
2.
3.
4.

Gabriel Garca Mrquez escribi Cien aos de soledad.

6 es un nmero primo.
3+2=6
1 es un nmero entero, pero 2 no lo es

3. Notacin: letras minsculas p, q, r, s, t

P: 80+100 = 180 (verdadera)
Q: febrero tiene 30 das (falsa)

4. Conexin entre Proposiciones

Estudiamos en este apartado las distintas formas de conectar proposiciones entre
s. Prestaremos especial
Atencin a las tablas de verdad de las proposiciones compuestas que pueden
formarse utilizando las
Distintas conexiones.

Ejemplo Anlogo
Conectiva

Ejemplo de uso en

Notacin

Tabla de verdad
de uso

natural

Negacin

no

Conjuncin

,&,

PQ

el lenguaje natural

No est lloviendo.

Est lloviendo y la

P10P01

P1100Q1010PQ1000

calle est mojada.

Disyuncin

PQ

Est lloviendo o la

P1100Q1010PQ1110

calle est mojada.

Si est
Condicional

si...

PQ

material

lloviendo, entonces la P1100Q1010PQ1011

entonces
calle est mojada.
Est lloviendo si y

Bicondicional

PQ

si y solo
solo si la calle est

P1100Q1010PQ1001

si
mojada.
Negacin

Ni est lloviendo ni la

PQ

ni... ni

conjunta

P1100Q1010PQ0001

calle est mojada.

O bien est

Disyuncin

,,,W, PQ

o bien...

excluyente

lloviendo, o bien la

P1100Q1010PQ0110

o bien
calle est mojada.

5. Algebra de proposiciones
En lgica las tautologas son conocidas con el nombre de leyes o principios lgicos
1. ley de la idempotencia
PVP=P
Pp=p
2. ley de identidad
P
P
P
P

(V) = P
(F) = F
(V) = V
(F) = P

3. ley conmutativa
pq=qp
pq=qp
4. ley asociativa
p(qr)=(pq)r

p(qr)=(pq)r

5. ley distributiva
p ( q r) = ( p q ) ( p r)
p ( q r) = ( p q ) ( p r)
6. ley de doble negacin

~ (~p) = p
7. ley del tercer excluido

(p ~p) = (V)
8. ley de contradiccin

(p ~p) = (F)
9. ley de Morgan

~ (p q) = ~p ~q
~ (p q) = ~p ~q
10. ley de condicional

pq = ~p q
11. ley del bicondicional

pq = (pq) (qp)
12. ley conjuncin negativa

pq = ~p ~q
13. ley disyuncin exclusiva

pq = (p ~q) (p ~q)

5. Tablas de verdad Lgica

Conjuncin:

Disyuncin:

Condicional:

Bicondicional:

Disyuncin exclusiva:

6. Funcin proporcional:
Funcin proposicional

P(x)

P(x): 3x polinomio+5 = 6
Si x = -3
Si x = 0

P(-3): 3(-3) + 5 = 6
P(0): 3(0) + 5 = 6

Si x = 1/3

-4 = 6

5=6

P(1/3): 3(1/3) + 5 = 6

Vv (F)
Vv (F)

6=6

Ejemplo:
p: 3 + 4 = 7 Vv (V)
q: 3x + 5 = 6Vv (abierto)

Vv (V)

7. Cuantificadores:

1. Universal
Smbolo
se lee PARA TODO

x: P(x) para todo X s

x; P(x): 3x + 5 = 6 falso
2.

Existencial

Smbolo
se lee EXISTE AL MENO

x; P(x): 3x + 5 = 6 VERDADERO

3.Existencial nico

Smbolo !
se lee EXISTE UN NICO

! x; P(x): x + 5 = 8 VERDADERO
4. Negacin de cuantificadores

P(x):4 x=

1PARA TODO SE TIENE (F)

X R, P(x), 4=

FALSO1x

NEGACIN: p (x):4

x); P(x):4=

1) (

x)

2) (

x)

x
x

1nox es verdad que para t

x1VERDADERO

Ejemplos:
A. todos los ecuatorianos son optimistas
(

x); [p (x): todos los ecuatorianos son optimistas

B. algn ecuatoriano optimista

(x); [p (x): algn] ecuatoriano es optimista
C. todos los hombres dicen la verdad
(

x); [todos (x): los hombres dicen la verdad]

D. existe un nico elemento qumico

(x); existe [p un(x): nico elemento qumico]

Ejercicios resueltos:
Simplificar las proposiciones siguientes aplicando las leyes lgicas.
1. [(p v ~q)q]p
Afirmacin

razn

[(p v ~q)q]p

Hipotesis

~ [(p v ~q)q] v p

L. Implicacon

[~ (p v ~q) v ~ q] v p

L. Morgan

[~ (p v ~q)] v (p v ~q)

L. Asociativa

(~pq) v~ (~pq)

L. Morgan

V,,

L. Identidad

2. ~ [~ (pq)~ q] v q
Afirmacin

razn

~ [~ (pq)~ q] v q

Hipotesis

~ [(pq) v q] v q

L. Implicacon

[~ (pq)~q] v q

L. Morgan

[(~ p v ~q)~q] v

L. Morgan

(~ p~ q) v (~qq)] v q

L. distributiva

[(~p~ q) v F] v q

L. Identidad

(~p~ q) v q

L. Identidad

q v (~ q~p)

L. Conmutativa

L. Absorcin

3. [((~ p)q)(r ~r)] v ~ q

Afirmacin

razn

[((~ p)q)(r ~r)] v ~ q

Hipotesis

[((~ p)q)F] v ~ q

L. Identidad

[~((~pq) v F] v q

L. Implicacin

[(p v ~q) v F] v ~ q

L. Morgan

(p v ~q) v ~ q

L. Identidad

~q v (~ q v p)

L. Conmutativa

~q

L. Absorcin

4. ~ [~ (p q) ~q]v p
Afirmacin

razn

~ [~ (p q) ~q]v p

Hipotesis

~ [~(~ (p q) v ~q)] v p

L. Condicional

~ [(p q)v ~q] v p

Doble negacin

~ [~q v (pq)] v p

L. Conmutativa

~ [~q v p] v p

L. Absorcin

(~p q) v p

L. Morgan

pvq

por absorcin

5. [(p q) v (p q)] v (p q)
Afirmacin

razn

[((p q) vp) ((pq) vq)] v(pq)

L. Distributiva

[p v (p q) (q v (p q)] v (p q)

L. Conmutativa

[p ((q v p) (q v q))] v (p q) L.

L. Absorcin y L.distributiva

[p (q v p) V] v (p q)

L. Identidad

[p (q v p)] v (p q)

L. identidad

[p (p vq)] v (p q)

L. Conmutativa

p v (p q)

L. absorcin

P vq

L. Absorcion

L. Identidad

Demostrar las siguientes propocisiones aplicando las leyes de lgicas.

1. [(p q) p]= V
Afirmacin

razn

[(p q) p] = V

Hipotesis

(p q) p = V

L. Implicacin

(p q) p= V

L. Morgan

p (p q) =V

L. Conmutatividad

(p p) q =V

L. Asociativa

V q = V

L. Identidad

V =V

L. Identidad

2. ( (p q) p) = F
Afirmacin
( (p q) p)

razn
=F

Hipotesis

( (p q) p) = F

L. Implicacin

((p q) p)

=F

Doble negacin

(p q) p

=F

L. Morgan

(p q) p

=F

Doble Negacin y L. Morgan

(q p) p

=F

L. Conmutativa

q (p p)

=F

L. Asociativa

q F

=F

L. Identidad

=F

L. Identidad

3. [(q p) (p q) (q q)] = p
Afirmacin

razn

[(q p) (p q) (q q)] = p

Hipotesis

q p) (p q) (q q) = p

L. Implicacin

(q p) (p q) V

=p

L. Identidad

(p q) (p q)

=p

L. Conmutativa

p (q q)

=p

L. Distributiva

pF

=p

L. Identidad

=p

L. Identidad

4. [(p p) (p p)] = F
Afirmacin

razn

[(p p) (p p)] = F

Hipotesis

(p p) (p p)

=F

L. Implicacin

p p

=F

=F

L. Idempotencia y doble negacin

5. [ p (p q)]
Afirmacin

L. Identidad

razn

[ p (p q)]F

Hipotesis

2 [ p p) q] F

L. Conmutativa

3 [ V q]F

L. Identidad

4 [V]

L. Identidad

5
V

L. Morgan

6F

L. Morgan

Ejercicios Propuestos:
1. Cules de las siguientes proposiciones son verdaderas y cules son falsas?
a) S 3 + 3 = 6, entonces 4 = 4
b) Si 5(7) = 35, entonces 103 = 13
c) Si 197 = 3, entonces 4(5 + 3) = 32
d) Si 2 = 3 entonces 8 es un nmero primo.
e) Si 3(7) es un nmero natural, entonces 17 es un nmero primo.
2. Simplificar las siguientes proposiciones.
a) {[(~q)(~q) ] [(~p)(~q) ] }~(pq)
b) [(pq)~p](~qp)
c) ~{[~(~pq)~p] [~(pq) ] }
d) (~p~q)[~p(qp)]
e) [(pq) (pq)](pr)

3. Demostrar las siguientes propocisiones.

a) ~pq =~(pq)
b) p~p = ~[(p
c) ~qp = ~(~pq)
d) ~[(pq)~r] = ~[(~p~q)(pr)]
e) ~(pq) = ~(~p~q)

CAPTULO II
Conjuntos

1. Definicin
En matemticas, un conjunto es una coleccin de elementos considerada en si misma
como un objeto. Los elementos de un conjunto pueden ser cualquier
cosa: personas, nmeros, colores, letras, figuras, etc. Se dice que un
elemento (o miembro) pertenece al conjunto si est definido como incluido de algn
modo dentro de l.
Elemento: se llama as a los objetos que forman parte del conjunto.

2. Notacin

a) Determinacin de un conjunto por extensin

Un conjunto est determinado por extensin cuando se escriben uno a uno
todos sus elementos.
Ejemplo
Los nmeros menores que 5: A={1,2,3,4}.
b) Determinacin por compresin
Un conjunto est determinado por compresin cuando solamente se
menciona una caracterstica comn de todos los elementos.
Ejemplo
El conjunto de vocales del abecedario: X={x: x es una vocal}.

3. Tipos de conjuntos

4. Relaciones
a) Pertenencia
Este smbolo se usa para representar que un elemento determinado hace parte del conjunto sealado.
As mismo, representamos que un elemento no pertenece al conjunto sealado, escribiendo el mismo smbolo, pero
con una lnea cruzada en la mitad.

Ejemplo:
A = {1, 3, 5, 7}

1 A pertenece al conjunto A o 1 es elemento de A

3 A pertenece al conjunto A o 3 es elemento de A
5 A pertenece al conjunto A o 5 es elemento de A
7 A

pertenece al conjunto A o 7 es elemento de A

b) Relacin de:
Interseccin
Es el conjunto formado por los elementos comunes de A y C .
Unin
Es el conjunto formado por los elementos que pertenecen tanto a B como a A.

Ejemplo:
ACB

se lee

A est en B
A est incluido en B

5. Representacin
Diagrama de Venn:
El diagrama de Venn no es ms que la representacin grfica de los conjuntos. Es
decir, cuando los elementos que componen el conjunto se encuentran dentro de
una superficie lmitada por una lnea. Mejor les muestro el siguiente ejemplo:

Por extensin:
Es un represencin escrita de los conjuntos cuando el conjunto y se utilizan las
llaves para hacerlo. Por ejemplo:

A= {2,4}
B= {1,2,4}
A C B --> DL
Por comprensin:
Es otra forma de representar los conjuntos de manera escrita y vas a encontrar
algo como esto:
A= { X / X frutas dentro de la bolsa}

a) IGUALDAD
Si A = B
Definicin: A = B A C B B C A
5. Relacin entre conjuntos

b) INCLUSIN

c) INTERSECANTES

d) DISJUNTOS

6. Operaciones con conjuntos

a) Unin U
la unin de dos conjuntos A y B se denota por A U B, y:
A U B = {x/x A x B}
Graficamente en diagrama de ven:

Ejemplo:
A = {2, 3}

B = {1, 3, 5}

A U B = {1,2,3,5}

B U A = {1,2,3,5}

A U B = B U A (PROPIEDAD CONMUTATIVA)
Sean:
A = {1,2,3,4}
B = {2,4,6,8}
C = {3,4,5,6}

Hallar:
a) A U B = {1,2,3,4,6,8}
b) B U C = {2,3,4,5,6,8}
c) A U C = {1,2,3,4,5,6}
d) A U (B U C) = {1,2,3,4,5,6,8}
e) A U A = {1,2,3,4}
f) (A U B) U C = {1,2,3,4,5,6,8}

b) INTERSECCIN:
la interseccin de A y B, se denota por A B, y:
A B = {x/x A x B}

Ejemplo:
A = {1,2,3,4,5} B = {2,4,6}
A B = {2,4} B A = {2,4}
A B = B A (PROPIEDAD CONMUTATIVA)

c) DIFERENCIA: -, pero, quitar o eliminar

la diferencia de dos conjuntos A y
B, se denota por A B, y:
ABBA
A B = {x/x A x B}

COMPLEMENTO: el complemento del conjunto A con respecto al conjunto

universo U es el conjunto de todos los elementos de U que no estn en A y se
denota como A:

d) DIFERENCIA SIMTRICA
la diferencia simtrica entre los conjuntos A y B se
denota por A B, y:
AB=BA
A B = (A - B) U (B - A)

7. Propiedades de conjuntos

8. Aplicaciones:
EJEMPLO:
a) Al revisar 28 carros en la oficina de trnsito se encontr que 7 tienen
problemas de frenos, 6 problemas en la direccin, 6 en las luces, y de estos 4
en frenos y direccin, 1 en direccin y luces, 3 en frenos y luces; y 1 tiene
problemas en los tres.
a) Cuntos no tiene problemas? R=16
b) Cuntos tienen que repararse? R=12
Datos
F=7
D=6
L=6
F D=4
D L=1
F L=3
F D L=1

EJEMPLO:
b) 180 personas fueron censadas sobre el consumo de 3 productos a, b, c. obteniendo
el siguiente resultado. R=2
110 prefieren A
120 prefieren B
130 prefieren C
66 prefieren A y C
78 prefieren A y B
90 prefieren B y C
52 prefieren los tres productos

Cuantos no prefieren ninguno de estos productos?

Ejercicios resueltos:
Realizar los siguientes literales
1.- Sean A ={1,2,3,4};
B ={2,4,6,8};
C ={3,4,5,6}
Hallar a).- A U B; b).- A U C; c).- B U C; d).- B U B
Solucin:
A U B = {1,2,3,4,6,8}
A U C = {1,2,3,4,5,6}
B U C = {2,4,6,3,5}
B U B = {2,4,6,8}
2.- Dado el conjunto A = {6,2,8,4,3} encontrar todos los subconjuntos de A que se
puedan construir con sus elementos, es decir el conjunto potencia.
2A ={ {6},{2},{8},{4},{3},{6,2},{6,8},{6,4},{6,3},{2,8},{2,4},{2,3},{8,4},{8,3},{4,3},
{6,2,8},{6,2,4},{6,2,3},{6,8,4},{6,8,3},{6,4,3},{2,8,4},{2,8,3},{2,4,3},{8,4,3},{6,2,8,4},{6,2,8,3}
,
{2,8,4,3,},{6,8,4,3,},{6,2,4,3,},{6,2,8,4,3},{ }}
3. Enunciar con palabras los siguientes incisos con el mtodo de extensin
A = {x|x =4}
Se lee A es el conjunto de los x tales que x al cuadrado es igual a cuatro.
Los nicos nmeros que elevados al cuadrado dan cuatro son 2 y -2, as que
A {2,- 2} = 4
B {x|x- 2}=5
Se lee B es el conjunto de los x tales que x menos 2 es igual a 5. La nica
solucin es 7, de modo que B = {7}

4. Escribir estos conjuntos con el mtodo de compresin

A que consiste de las letras a, b, c, d y e. Pueden existir muchas soluciones
primer resultado:
A ={x | x esta antes de f en elalfabeto}y como segundo resultado se tiene el
siguiente:
A ={x | x es unas delas primeras cinco letras delalfabeto}

5. Usando los conjuntos dados, contesta si o no a las siguientes preguntas:

A = {1, 4, 2,6,8,10}
B = {1, 4,6,10 }
C = {6, 4,1,10}
D = {6, 4,1}
U = {1, 2,3, 4,5,6,7,8,9,10}
Es A= D? NO
Es D A? SI
Es B= C? SI
Es B A? SI
Es A B? NO
Es A A B? SI
Es B D? NO
Es D? SI
Es = B? NO
Es B? SI
Es B U? SI
Es A = U? NO
Simplificar las siguientes proposiciones de conjuntos aplicando las propiedades.
a) (A B) (A B )
Afirmacin

Razn

(A B) (A B )

Hipotesis

(BA) (A B )

P. Conmutativa

B (A A) B

P. Asociativa

(A A) B B

P. Conmutativa

(A A) (B B )

P. Asociativa

P. Idempotencia e Identidad

P. Identidad

b) (A B) (A B)
Afirmacin

Razn

(A B) (A B)

Hipotesis

A (B B) A

P. Asociativa

(B B) A A

P. Conmutativa

(B B) (A A)

P. Asociativa

P. Identidad

P. Idempotencia

c) (A B) (B Ac)
Afirmacin

Razn

(A B) (B A)

Hipotesis

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

P. Distributiva

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

P. Asociativa

U (B A) (A B)

P. Identidad

P. Identidad

d) (A U B) U (A B)
Afirmacin

Razn

(A U B) U (A B)

Hipotesis

(A B) U (A B)

P. Morgan

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

P. Distrivutiva

(B A) B

P. Absorcin

P. Absorcin

e) (A U B) U (A B)
Afirmacin

Razn

(A U B) U (A B)

Hipotesis

A U B U (A B)

P. Asociativa

AUBUA

P. Absorcin

AUB

P. Idempotencia

Demostrar las siguientes proposiciones de conjuntos aplicando las propiedades

a) A U B = (A-B)
Afirmacin
A U B

Razn
(A-B)

Hipotesis

(A c B) = (A-B)

P. Morgan

(A-B)

P. Diferencia

= (A-B)

b) (A U B) U (A B) = A U B
Afirmacin

Razn

(A U B) U (A B) = A U B

Hipotesis

A U B U (A B)

=AUB

P. Asociativa

AUBUA

=AUB

P. Absorcin

AUB

=AUB

P. Idempotencia

c) [(A U B ) U B] [ B U (A U B) ] = (A - B)
Afirmacin

Razn

[(A U B ) U B] [ B U (A U B) ]= (A - B)

Hipotesis

(A U B) (V U A)

= (A - B)

P. Idempotencia, Complemento

(A U B) V

= (A - B)

P. Identidad

(A U B)

= (A - B)

P. Identidad

(A - B)

= (A - B)

P. Diferencia

d) A U (D - B ) = [A (D U B)]

Afirmacin

Razn

A U (D - B ) = [A (D U B)]

Hipotesis

A U (D - B ) = [A U (D B)]

P. Morgan

A U (D - B ) = [A U (D B)]

P. Diferencia

A U (D - B ) = A U (D - B )

P. Asociativa

e) [(A B) U B] A = (A U B)
Afirmacin

Razn

[(A B) U B] A

= (A U B)

Hipotesis

[(A B) U B] A

= (A U B)

P.Diferencia

B A

= (A U B)

P. Absorcin

(B U A)

= (A U B)

P. Morgan

(A U B)

= (A U B)

P. Conmutativa

Ejercicios propuestos:
1. Escribe simblicamente las afirmaciones siguientes:
a) v pertenece al conjunto M
b) El conjunto T contiene como subconjunto al conjunto H
c) Entre los elementos del conjunto G no est el nmero 2
d) El conjunto Z no es un subconjunto del junto A
e) El conjunto X no contiene al conjunto K
f) El conjunto H es un subconjunto propio del conjunto K

2. Demostrar aplicando las propiedades.

1.- A (A )=A B
2.- A(A B)=A B
3.- (A - B) B=
4.- A-(BC) = (A-B)(A-C)
5.- A (B A)= A - B
6.- A - B = B A

3. Simplificar aplicando las propiedades

1.- A [ (B (A B) ) (A (A B) ) ]
2.- A (A B )(A B)
3.- [A(AB)] B
4.- [(A-B)(B-C)](C-A)

4. Resolver las siguientes aplicaciones de conjuntos:

a) El equipo de ftbol-sala de la 3 clase del instituto Megalo est formado por Pedro, Diego,Hugo,
Carlos, Roberto, Rolando y Edgar. El equipo de Olimpiadas de Matemticas de dicha clase est
formado por Andrea, Diego, Cristina, Jos Rolando y Edgar. Quines estn en ambos equipos?
Quines estn en al menos uno de los dos equipos? Quines estn en el equipo de ftbol-sala
pero no en el de las olimpiadas? Quines estn nicamente en el equipo de las olimpiadas?
Quines estn slo en uno de esos dos equipos? Una vez respondidas las preguntas, expresa la
situacin y respuestas en trminos de conjuntos.
b) Laura tiene discos de diferentes gneros musicales: pop, rock, punk, gothic, clsica y jazz. Su
amiga Diana tiene discos de salsa, gothic, hip-hop, pop, metal e industrial.
a. Luis, un amigo comn, quera escuchar la msica que le gusta a cada una de ellas, as
que le prestaron un disco de cada uno de los gneros. De qu gneros le han pestado los
discos?
b. Si Luis se decide a oir primero los discos que le gustan a ambas, qu discos ha de oir?.
Expresa la situacin en trminos de conjuntos.
c) Se pregunt a 50 padres de alumnos sobre los deportes que practicaban, obtenindose los
siguientes resultados: 20 practican slo ftbol, 12 practican ftbol y natacin y 10 no practican
ninguno de estos deportes. Con estos datos averigua el nmero de padres que practican natacin,
el nmero de ellos que slo practican natacin y el de los que practican alguno de dichos
deportes.
d) Se pregunt a 11 profesores del instituto acerca de sus preferencia por dos marcas de caf
instantneo A y B y se obtuvieron los siguientes resultados: 7 prefirieron solo una de dichas
marcas; el nmero de personas que prefirieron ambas marcas fue igual al nmero de personas
que no prefiri ninguno de las dos; 3 personas manifestaron que no prefieren la A pero s la B. Se
desea saber: a) Cuntas personas prefirieron la marca A? b) Cuntas personas prefirieron slo
la B? c) Cuntas personas manifestaron que les eran indistintas ambas marcas?
e) A una prueba de ingreso a la Universidad se presentaron 100 alumnos, de los cuales 65
aprobaron el examen de Matemticas, 25 el de Matemticas y Fsica y 15 aprobaron slo el de
Fsica. Cuntos no aprobaron ninguno de los exmenes mencionados?