Algebra Superior

Dra. Jessica Campos Delgado

Semestre Agosto-Diciembre 2014

Temario
1. Conjuntos y funciones
2. Nmeros enteros y reales
3. Nmero complejos
4. Polinomios

5. Mtodos numricos para la estimacin de

races
Algebra Superior

Mtodo de evaluacin
1 examen por unidad

o Asistencia
o Tareas
o Examen

10%
30%
60%

Asistencia mnima para tener derecho a examen: 60%

Libro: Fundamentos de Matemticas. Silva, Lazo. Ed.

Limusa, 7 Edicin, 2008
Algebra Superior

Unidad 1: Conjuntos y funciones

Llamaremos conjunto a una coleccin de objetos y a los
objetos lo forman se le llama elementos del conjunto
Los elementos del conjunto tienen caractersticas en
comn

X={a, e, i, o, u}
X es el conjunto de las vocales y o es un elemento del
conjunto X
Y={Pases de Amrica}
Y es el conjunto de todos los pases en el continente
Americano, Brasil es un elemento del conjunto Y
Algebra Superior

 Llamaremos universo al conjunto que es

usado como marco de referencia para formar
conjuntos
Un conjunto queda determinado por una
coleccin de atributos que los elementos del
universo pueden o no poseer.

Los elementos del universo que s posean los

atributos requeridos forman el conjunto
Algebra Superior

En el conjunto X={a, e, i, o, u} enumeramos totalmente a los

elementos del conjunto
En el conjunto Y={Pases de Amrica} dimos una frase que
describe los elementos de Y
Diremos que un conjunto est descrito por enumeracin si se
han dado explcitamente todos sus elementos y est descrito
por comprensin si sus elementos estn dados en forma
implcita mediante una frase que los describa
A={0,1,2,3,4,5,6,7}
B={Pases europeos}
C={Roberto, Cecilia, Omar, Mateo}
D={Municipios de San Luis Potos}
Algebra Superior

A={0,1,2,3,4,5,6,7}
El nmero 2 es un elemento del conjunto A
2 A
B={Pases europeos}
Francia B
Brasil B
C={Roberto, Cecilia, Omar, Mateo}
Jess C
D={Municipios de San Luis Potos}
Rio Verde D
Algebra Superior

En el estudio de los conjuntos intervienen frases y

expresiones.

Una expresin que deba ser verdadera o falsa pero no

ambas, la llamaremos proposicin
Ejemplos de expresiones:
1)
2+3 es menor que 2*3
2)
Los Beatles fue un grupo ingls
3)
El Ro Amazonas est en Centro Amrica
4)
La msica clsica es mejor que el rock
5)
Es ms divertido nadar en el mar que en alberca
Algebra Superior

 Existen algunas afirmaciones que no podemos decir si son

falsas o verdaderas por intervenir en ellas una variable

- x es un nmero primo
- Este municipio est en San Luis Potos
Una proposicin abierta es una expresin que contiene una
variable y que al ser sustituida dicha variable por un valor
determinado, hace que la expresin se convierta en una
proposicin.
Los elementos que pueden reemplazar a la variable de una
proposicin abierta forman un conjunto que se llama Dominio
de la variable
Algebra Superior

 El dominio de la proposicin abierta

- x es un nmero primo

Son los nmeros enteros , x Enteros

- Este municipio est en San Luis Potos
Es el conjunto de municipios de Mxico, x municipios

Se le llama conjunto solucin al conjunto formado por

los valores que hacen verdadera una proposicin
abierta p(x)
A = { x | p(x) }
Se lee: A es el conjunto de elementos x,
tal que p(x) es una proposicin verdadera
Algebra Superior

10

Encontrar el conjunto solucin de la proposicin

abierta dada
p(x) : x+8 12; x enteros positivos
{1, 2, 3, 4}

p(x) : x no es un nmero primo; x {1 2 3 4 5 6 7 8 9 10}

{1, 4, 6, 8, 9, 10}

Algebra Superior

11

 Tenemos dos proposiciones p, q

La nueva proposicin que resulta de unir dos
proposiciones p y q la denotaremos p q y se
llama proposicin conjuntiva
p q tendr un valor verdadero slo cuando
ambas componentes sean verdaderas, si al
menos una de las componentes p q p q
es falsa entonces p q es falsa V V V

Algebra Superior

V F

F
12

1. El sol sale de da y la luna sale de noche

2. 9 es un nmero impar y es mltiplo de 3

3. Cantinflas fue un comediante y Luis Miguel es
actor
4. Brasil est en Amrica y el Congo tambin

Algebra Superior

13

 La conjuncin de dos proposiciones abiertas

p(x) : x2 49 = 0 ; x enteros
q(x) : x es un nmero primo > 3 y < 15 ; x enteros
p q es la proposicin:
x2 49 = 0 y x es un nmero primo > 3 y < 15 ;
x enteros

El conjunto solucin de p(x) es P={7,-7} y el de q(x) es

Q={5, 7, 11}, por lo tanto el conjunto solucin de p q
es el conjunto formado por los elementos que estn
simultneamente en P y Q: R ={7}
Algebra Superior

14

p(x) : x2 2x - 15 = 0 ; x enteros
q(x) : 2x 10 = 0; x enteros
p(x)q(x) : x2 2x - 15 = 0 2x 10 = 0 ;
x enteros

Conjunto solucin de p(x) : P= {-3,5}

Conjunto solucin de q(x) : Q= {5}
Conjunto solucin de p(x)q(x) : R= {5}

Algebra Superior

15

 Sean A y B dos conjuntos cualesquiera, entonces

definiremos el conjunto A interseccin B, que
denotaremos por AB como sigue:
AB = { x | x A x B }

El conjunto solucin de una proposicin conjuntiva

p(x) q(x) es la interseccin de los conjuntos solucin
de las proposiciones p(x) y q(x)
Conjunto vaco es el conjunto que no tiene elementos.
= { x | x A x A }
Algebra Superior

16

 Tenemos dos proposiciones p, q

La nueva proposicin que resulta de unir dos
proposiciones p o q la denotaremos p q y se
llama proposicin disyuntiva
p q tendr un valor falso slo cuando ambas
componentes sean falsas, si al menos una de
las componentes
p q pq
V V V
es verdadera
V F V
entonces p q es verdadera
F V V
F
Algebra Superior

F
17

1. El sol sale de da o el arcoiris sale de noche

2. 8 es un nmero impar o es mltiplo de 2

3. Cantinflas fue un beisbolista o Luis Miguel es
actor
4. Brasil est en Amrica o el Congo est en Africa

Algebra Superior

18

p(x) : x2 4 = 0 ; x enteros
q(x) : x es un nmero primo >3 y < 15;
x enteros
p(x)q(x) : x2 4 = 0 x es un nmero primo >3 y <
15;
x enteros
Conjunto solucin de p(x) : P= {-2,2}
Conjunto solucin de q(x) : Q= {5,7,11,13}
Conjunto solucin de p(x)q(x) :
PUQ= {-2,2,5,7,11,13}
Algebra Superior

19

 Sean A y B dos conjuntos cualesquiera,

entonces definiremos el conjunto A unin B,
que denotaremos por A U B como sigue:
AUB = { x | x A x B }

El conjunto solucin de una proposicin p(x) q(x)

es la unin de los conjuntos solucin de las
proposiciones p(x) y q(x)

Algebra Superior

20

 P={2,-2} y Q={5,7,11,13}
PUQ=
A={1,5,7,9}, B={2,4} y C={0,4,5,7,8}
AUB=
AUC=
BUC=
AUBUC=
(AUB)(BC)=
(AC)(BC)=
(AUB)C=

Algebra Superior

21

 Si p y q son dos proposiciones, podemos

formar una nueva proposicin si p entonces
q, que llamaremos proposicin condicional
pq

p es llamado antecedente y q consecuente

p q tendr un valor falso
cuando el antecedente p es
p q pq
verdadero (V) y el
V V V
consecuente q es falso (F)
V F F
Algebra Superior

V
22

1.

Si Roma est en Estados Unidos entonces Washington est en Italia

2.

Si 4 es un mltiplo de 2 entonces 4 es un nmero par

3.

Si un tringulo tiene tres ngulos entonces un cuadrado tiene dos ngulos

4.

Si el sol sale de noche entonces la Luna sale de da

pq

V V

V F

Algebra Superior

23

Ejercicios implicacin

pq

V V

V F

F F V
Si 3 + 2 = 7 10 < 3
Si la suma de dos impares es par la suma
de dos pares es impar
Si Nuevo Len es la capital de San Luis
3+0=3
Si 2 es un nmero primo 1000 es un
nmero par
Si la Media Luna est en San Luis 5 es par

Algebra Superior

24

Afirmaciones
Para algn dgito x; x -1 =10
Todas las canicas ruedan
Ningn nmero entre 0 y 1 es entero
Una palabra o frase que indique cuntos objetos o
cosas cumplen con determinada propiedad, se llama
un cuantificador
Algunos cuantificadores: existe, existe por lo menos
uno, algn, para todos, cualquiera
Algebra Superior

25

Al cuantificador Existe se le llamar

Cuantificador existencial y se le denotar
por
x D; px
se lee:
existe un elemento x que pertenece al conjunto
D, tal que proposicin p(x) se satisface

Algebra Superior

26

Al cuantificador Todo, Todos, Ninguno,

Para todo se le llamar Cuantificador
universal y se le denotar por
x D; px
se lee:
para todo elemento x del conjunto D, la
proposicin p(x) se satisface

Algebra Superior

27

 La proposicin x D; px es falsa si al
menos un elemento del dominio D, hace falsa
la proposicin p(x)
La proposicin x D; px es verdadera
cuando hay al menos un valor x en el dominio
D que haga verdadera la proposicin p(x) y
ser falsa si no existe un solo elemento del
dominio que haga verdadera a p(x)

Algebra Superior

28

 Para todo nmero entero, su cuadrado es

positivo o cero
x {enteros}; x2 0
Para todo nmero entero, su raz cuadrada es
entero
x {enteros}; x es entero
Al menos existe un nmero entero que
sumado con tres es dos
x {enteros}, x+3=2
x {enteros}; x+1>x
Algebra Superior

29

 x , x = x+1, x pertenece a los enteros

x , - x es positivo, x pertenece a los enteros

Algebra Superior

30

 Si A y B son dos conjuntos, diremos que A es

subconjunto de B, que se escribe a A B ,
si para toda x que pertenece a A se tiene que x
tambin pertenece a B. Es decir, todos los
elementos de A lo son tambin de B
A= {2,4,6,8} B={1,2,3,4,5,6,7,8}

A B

Sean A y B dos conjuntos cualesquiera. Diremos

que A es un subconjunto propio de B si y slo si
A B y A B
Y lo denotaremos por A B
Algebra Superior

31

 Si A={x|x es una letra del abecedario} y B={x|x

es una vocal}, entonces B A y A B
Si A= y B={1,2,3}, entonces A B ya que
B y B

Algebra Superior

32

 La proposicin x D; px q( x) es verdadera
si y slo si P Q donde P es el conjunto
solucin de p(x) y Q es el conjunto solucin de q(x)
U={1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,2
0}
p(x) : x es divisible por 6, x U
q(x) : x es divisible por 2, x U
P={6,12,18}, Q={2,4,6,8,10,12,14,16,18,20}
P Q por lo tanto x; px q( x) es verdadera
Algebra Superior

33

 U={1,2,3,4,5,6,7,8,9,10}
p(x) : x es un nmero primo, x U
q(x) : x es par, x U
P={2,3,5,7}, Q={2,4,6,8,10}
P Q por lo tanto x; px q( x) es falsa

Algebra Superior

34

 Sea p una proposicin, entonces no p que

escribimos ~p, es la proposicin negativa o
negacin de p

p: 8=10 es falsa, entonces ~p: 810 es

verdadera
p: Santiago de Chile est en Sudamrica es
verdadera, entonces ~p: Santiago de Chile no
est en Sudamrica es falsa

Algebra Superior

~p

V
35

 Negaciones ms comunes de proposiciones

cuantificadas
Proposicin
Todos
Algunos
Algunosno
Ningn

Negacin
Algunos.no
Ningn
Todos
Algunos

Algebra Superior

36

p: Todas las personas son alegres

~p: Al menos una persona no es alegre
q: Algunos animales son limpios
~q:Todos los animales son sucios
r: Algunos nios no lloran
~r: Todos los nios lloran o Ningn nio no llora

Algebra Superior

37

~ x D; p( x) x D; ~ p( x)
~ x D; p( x) x D; ~ p( x)

Negar las siguientes proposiciones

x enteros; x 1
~ x enteros; x 1 x enteros; x1
x enteros ; x 0

~ x enteros ; x 0 x enteros ; x 0
Algebra Superior

38

 p: Todos los nmeros primos son impares

~p:
q: Existe un tringulo equiltero que tiene sus
tres lados desiguales
~q:

x enteros; x es nmero par

x enteros; x>5 x<10
Algebra Superior

39

 Si consideramos a U como el conjunto

universo y A U , definimos el
complemento de A, que denotaremos por Ac o
A como:

A' A x U | x A
c

Es decir son todos los elementos del universo

que no pertenecen a A
U={1,2,3,4,5,6,7,8,9,10}
A={1,3,5,7,9}
Ac=
Algebra Superior

40

 U={letras del abecedario}

A={consonantes} Ac=
U={-5,-4,-3,-2,-1,0,1,2,3,4,5}
A={x|x+8 12} Ac=
U={1,2,3,4,5}
A={x|x2-6x+8=0}

Ac =

U={1,2,3,4,5,6,7,8,9,10}
A={x|x=2n,n=1,2,3} Ac=
Algebra Superior

41

 Consideremos la siguiente proposicin:

p(x): x(x+2)(x-3)=0, x enteros
El conjunto solucin de p(x) es P={-2,0,3}

Ahora consideremos ~p: x(x+2)(x-3)0, el conjunto

solucin de ~p es {x enteros|x P}; es claro que este
conjunto es PC
Entonces podemos decir que el conjunto solucin de
~p(x) es Pc donde P es el conjunto solucin de p(x)

Algebra Superior

42

Si p(x): x 3 = 0 el conjunto solucin P={ }

~p(x): x-30, el conjunto solucin es:
Pc=
En los ejemplos dados para la negacin podemos
comprobar que AAc= y que AUAc=U. Si x Ac
significa que x U y x A
Sean A y B dos conjuntos cualesquiera, definimos
el conjunto diferencia A-B como sigue:
A B = { x | x A y x B}
Algebra Superior

43

Ac= U A = {x | x U y x A}

Si A={2,3,4,5} y B={4,5}
Entonces A-B=
Si A={a,e,i,o,u} y B={e,o,b,v}
Entonces A-B=
Si A={a,e,i} y B={o,u}
Entonces A-B =
Si A={a,e} y B={a,e,i,o,u}
Entonces A-B=
Algebra Superior

44

 Sean U={0,1,2,3,4,5,6,7,8,9,10}
A={0,2,4,6,8,10}, B={1,3,5,7,9} y C={1,4,7,10}
Encontrar
A-C=
C-A=
(A-B)-C=
(A-B)U(B-C)=
(A-B)U(B-A)=
(AUB)-(AB)=
A-(BUC)=
(A-B)U(A-C)
Ac (BUCc)=
(A-B)CU(B-A)=
Algebra Superior

45

A partir de la implicacion p q se pueden

establecer las siguientes implicaciones:
- Recproca de la implicacin q p
-Contraria de la implicacin ~ p ~ q
-Contra recproca de la implicacin ~ q ~ p
pq

q p
Si una condicional es cierta
su recproca puede que sea
o no verdadera
Algebra Superior

pq

qp

46

 Una condicional y su contraria no son

equivalentes
p q pq

~p

~q

~p~q

V V

V F

F V

( p q) (~ p ~ q)

Si es helado de limn, entonces se derrite

Si no es helado de limn entonces no se derrite
Algebra Superior

47

 Una condicional y su contrarecproca si son

equivalentes
p

~p

~q

pq

~q~p

( p q) (~ q ~ p)

Si es helado de limn, entonces se derrite

Si no se derrite , entonces no es helado de
limn
Algebra Superior

48

 Escribir la contraria, recproca y

contrarecproca
Si un nmero es impar entonces su
cuadrado es impar
Contraria:
Recproca:
Contrarecproca:
Algebra Superior

49

Si es entero entonces su cuadrado es positivo

Contraria:
Recproca:
Contrarecproca:

Algebra Superior

50

 Consideremos dos proposiciones p(x) y q(x), la

nueva proposicin p q q p est formada
por dos implicaciones y una conjuncin.
Podemos escribir esta proposicin haciendo uso
de un nuevo conectivo llamado conectivo
bicondicional o doble implicacin,
la proposicin que resulta la llamaremos
proposicin bicondicional
pq

Y se lee p si y slo si q
Algebra Superior

51

 Ejemplos:
p: 3*2=5 ;

q: 3*4=12

pq
q p
p qq p

p q

p: Uruguay est en Asia

q: El Golfo de Mxico est en el ocano Pacfico
pq
q p
p qq p

p q
Algebra Superior

52

 Si p y q tiene el mismo valor de verdad,

entonces p q es verdadera, y si p y q tienen
valor de verdad opuestos, entonces p q es
falsa
p

p q

V V

V F

Algebra Superior

53

 RECORDATORIO
La proposicin x D; px q( x) es
verdadera si y slo si P Q donde P es el
conjunto solucin de p(x) y Q es el conjunto
solucin de q(x)

Algebra Superior

54

Al relacionar dos proposiciones abiertas mediante

el bicondicional tenemos:
p ( x ) q ( x)

o sea,

x; " p( x) q( x) q( x) p( x)"

El valor de verdad se determina al observar que

x; px q( x) es verdadera cuando P Q y
q( x) p( x) es verdadera cuando Q P
La proposicin x; px q( x) es verdadera si
y slo si P Q y Q P
Algebra Superior

55

 Ejercicio
p(x): x2-16=0
q(x):x2-8x+16=0
p ( x ) q ( x)

D={-3,-2,-1,0,1,2,3}
x D; x 3 0 ( x 3)( x 3) 0
x D; x 3 0 2 x 3 3
Algebra Superior

56

Tablas de verdad
Conjuncin
p

Disyuncin

pq

V V

V F
F
F

Implicacin

pq

V V

V F

pq

~p

V V

V F

Recproca

Negacin

Bicondicional

pq

qp

V V

V F

Algebra Superior

p q

57

 Al formar el conectivo bicondicional

relacionamos proposiciones con los conectivos
conjuncin y condicional
p qq p

Podemos pensar en formar nuevas

proposiciones relacionando proposiciones
dadas con los conectivos ya conocidos y
podemos encontrar la tabla de verdad para la
proposicin que resulta

Algebra Superior

58

 Encontrar la tabla de verdad de

p

~q

p ~ q

P~q

Encontrar la tabla de verdad de p (~ p q)

p

~p

~pq

Algebra Superior

p~pq

59

 Encontrar la tabla de verdad de

M ~ ( p q) ( p ~ q) (~ p)

Algebra Superior

60

 Formar la tabla de verdad de la proposicin

p (q r )
p

qr

p(qr)

Algebra Superior

61

 Dos proposiciones son equivalentes si sus

tablas de verdad son idnticas. Usaremos el
smbolo para denotar equivalencia
Verificar la equivalencia ~ ( p q) ~ p ~ q
Buscamos la tabla de verdad de cada proposicin para
compararlas y evaluar su equivalencia
p

(pq)

~(pq)

Algebra Superior

~p

~q

~p~q

62

 Verificar la equivalencia ~ ( p q) ~ p ~ q
Buscamos la tabla de verdad de cada proposicin para
compararlas y evaluar su equivalencia
p

(pq)

~(pq)

Algebra Superior

~p

~q

~p~q

63

 En los ejercicios anteriores verificamos que:

~ ( p q) ~ p ~ q
~ ( p q) ~ p ~ q
Estas proposiciones son llamadas las Leyes de
Morgan

Algebra Superior

64

 Verificar la equivalencia de las proposiciones

~(~p) q

(pq) (~q~p)

Algebra Superior

65

 Verificar la equivalencia de las proposiciones

p(qr) (pq)(pr)

Algebra Superior

66

 Verificar la equivalencia
p qq p p q

Algebra Superior

67

 Una proposicin ser llamada tautologa si

para cualquier valor de sus componentes su
valor siempre es verdadero

Una proposicin ser llamada contradiccin si

para cualquier valor de sus componentes su
valor siempre es falso

Algebra Superior

68

 Indicar si las proposiciones siguientes son

tautologas o contradicciones
p ~ (~ p)

M ~ [(~ a b) (b a)]

Algebra Superior

69

RECORDATORIO
p ( x ) q ( x)

o sea,
x; " p( x) q( x) q( x) p( x)"

El valor de verdad se determina al observar que

x; px q( x) es verdadera cuando P Q y
q( x) p( x) es verdadera cuando Q P
La proposicin x; px q( x) es verdadera si
y slo si P Q y Q P
Algebra Superior

70

 Sean A y B dos conjuntos cualesquiera,

diremos que A=B si y slo si A B y B A
Podemos concluir que
x : p( x) q( x)

es verdadera si y slo si P = Q

Algebra Superior

71

Algebra Superior

72