Documentos de Académico
Documentos de Profesional
Documentos de Cultura
LOGICA SIMBLICA
INTRODUCCIN A LAS PROPOSICIONES
1.- Concepto de Proposiciones.- Las proposiciones son el lenguaje formal de la lgica
simblica por el cual estn regidas todas las leyes de esta matemtica que utiliza la
simbologa como su principal fuente de estudio.
En si las proposiciones son oraciones literarias o matemticas en la cual tiene sentido
establecer un valor de verdad o falsedad. Es decir una proposicin puede ser verdadera o
falsa y no ambas a la vez y por lo tanto una oracin que no tenga sentido o carezca de valor
no ser considerada proposicin
2.- Clasificacin de las Proposiciones
Las Proposiciones de Clasifican en los siguientes tipos de oraciones:
a) Oraciones Declarativas Simples
Son oraciones llamadas DECLARATIVAS por que declaran algo como su propio
nombre dice y tambin son llamadas simples porque carecen de conectivos lgicos.
Para mejor comprensin son oraciones formadas por una sola oracin de ah el nombre
SIMPLE
b) Oraciones Declarativas Compuestas
Son oraciones llamadas Compuestas por que al contrario de las simples. Este tipo de
oraciones tienen la presencia de conectivos lgicos y estn formadas por ms de una
oracin es decir pueden estar formadas por infinitas oraciones.
3.- Oraciones que no son consideradas Proposiciones
Las siguientes Oraciones nunca sern consideradas proposiciones:
a) Oraciones Interrogativas (?)
Este tipo de Oraciones llamadas Interrogativas son oraciones que indican alguna
pregunta dentro del lenguaje literario y por este motivo estas oraciones carecen de un
valor de verdad es decir no pueden ser ni verdaderas ni falsas. Al no ser consideradas ni
falsas ni verdaderas no pueden ser proposiciones.
Ejemplos:
1.- Cmo te llamas? No tiene sentido afirmar si es verdadero o falso
2.- A dnde Vas? No tiene sentido afirmar si es verdadero o falso
1
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
2
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
a) Conjuncin (^)
El smbolo utilizado para la conjuncin en la lgica simblica es una V pero en forma
volcada (^) este tipo de conectivo tendr un significado propio dentro de las oraciones.
La conjuncin reemplazara la consonante y en las proposiciones y por lo tanto se llega a
la conclusin de que el valor de (^) = y se leer tal como la consonante.
b) Disyuncin (v)
La disyuncin es otro smbolo matemtico perteneciente a los conectivos lgicos cuya
representacin es una (V) normal. Tambin este conectivo tendr su significado propio
en las oraciones. La disyuncin reemplazara la Vocal O en las proposiciones y por ende
se llega a la conclusin de que el valor de (v) = O y se leer tal como la vocal
c) Implicacin ()
La implicacin es uno de los conectivos ms importantes ya que tiene ms valor que la
conjuncin y la disyuncin su simbologa matemtica es una flecha () es un
conectivo que tiene varios significados y por ende habr que prestarle un poco mas de
atencin. Reemplazara las palabras Entonces, Luego, Por ende. Por tanto Etc.
En las proposiciones y por ende se llega a la conclusin de que el smbolo () tendr
varios significados y se leer conforma a la palabra que reemplac.
3
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
d) Doble Implicacin ()
La Doble Implicacin es un conectivo ms fuerte que la implicacin y por ende ms
fuerte que la disyuncin y conjuncin su smbolo matemtico es (). Tiene su
significado correspondiente dentro de las oraciones reemplazara a la palabra Si y Solo
Si en las proposiciones y se leer tal como se lea dicha palabra.
4
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
5
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
6
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
7
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
8
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
9
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
10
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
11
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
p = Prefiero ir de vacaciones
q = estar sin hacer nada
r = Si tengo tiempo para ello
s = y tengo que ir a trabajar
* Formalizando la Oracin
[p (q r)] ^ ~ s
27.- Juan es Dentista Si y Solo Si Jorge es Abogado o Antonio es Ingeniero
* Solucin
* Asignando un valor para cada Oracin
p = Juan es Dentista
q = Jorge Es Abogado
r = Antonio es Ingeniero
* Formalizando la Oracin
p (q v r)
28.- La universidad Si y Solo Si recibir alumnos en las diferentes facultades Entonces
Jorge aprobara el examen de Ingreso o Se aplazara y tendr que dar el PAB para
intentar Entonces Nuevamente entrar a la Universidad
* Solucin
* Asignando un valor para cada Oracin
p = La Universidad
q = Recibir alumnos en las diferentes Facultades
r = Jorge aprobara el examen de ingreso
s = Se aplazara
t = tendr que dar el PAB
u = Nuevamente entrar a la Universidad
* Formalizando la Oracin
{(p q) [(r v s) ^ t] u}
29.- Si los humanos furamos conscientes Entonces no se depredara a los animales y a
la ecologa Por lo tanto el mundo fuera ms feliz
* Solucin
* Asignando un valor para cada Oracin
12
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
13
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
* Solucin
* Asignando un valor para cada Oracin
p = El juez lo sentencia a Octavio
q = El fiscal puede probar su culpabilidad
r = El testigo dice la verdad
* Formalizando la Oracin
p (q ~ r)
34.- Si una sustancia orgnica se descompone entonces sus componentes se
transforman en abono y fertilizan al suelo
* Solucin
* Asignando un valor para cada Oracin
p = Si una sustancia orgnica se descompone
q = Sus componentes se transforman en abono
r = Fertilizan al suelo
* Formalizando la Oracin
p (q ^ r)
14
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
15
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
16
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Para los problemas tipo IV, V, VI se necesitara primero hacer una pequea
introduccin a los valores de verdad de cada conectivo lgicos para que de esta
manera se entienda mejor como se solucionan estos problemas
TABLA DE VALORES DE LOS CONECTIVOS LOGICOS
1.- CONJUNCION (^)
P Q p^q
V V V
V F F
F V F
F F F
17
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
La doble implicacin tiene dos casos especiales ser verdadera cuando el antecedente
p y el consecuente q tomen ambos valores idnticos como se muestra en su tabla
marcado con el color rojo
5.- DISYUNCION EXCLUSIVA (V)
P Q pvq
V V F
V F V
F V V
F F F
18
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Por lo tanto el alumno solo debe aprenderse estas siete combinaciones para poder
dominar y resolver los problemas que se mostraran a continuacin
19
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
20
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
~ (p ^ ~ q) ~ (s r)
~ (F ^ ~ V) ~ (F V)
~ (F ^ F) ~ V
~FF
VF
F
Por lo tanto el valor de Verdad de ~ (p ^ ~ q) ~ (s r) = F
42.- [(~ r ^ q) ~ p] ~ [(p ^ s) ~ r]
* Solucin
Como el problema tiene la misma condicin del problema anterior entonces ya
conocemos cunto valen los valores de verdad de cada proposicin
p=F
q=V
r=V
s=F
* Reemplazando para encontrar el valor de verdad
[(~ r ^ q) ~ p] ~ [(p ^ s) ~ r]
[(~ V ^ V) ~ F] ~ [(F ^ F) ~ V]
[(F ^ V) V] ~ [(F F)]
(F V) ~ F
VV
V
Por lo tanto el valor de verdad de [(~ r ^ q) ~ p] ~ [(p ^ s) ~ r] = V
43.- [p (q ^ s)] (~ q r)
* Solucin
Como el problema tiene la misma condicin del problema anterior entonces ya
conocemos cunto valen los valores de verdad de cada proposicin
p=F
q=V
r=V
s=F
21
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
22
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
p=V
r=V
* Anlisis de la condicin
El problema tiene una condicin la cual es ~ (~ q ^ s) es falsa significa entonces de que
las variables p y r no pueden ser elegidas por nosotros sus valores saldrn de resolver
la condicin expuesta en el ejercicio
Cmo se resuelve la condicin?
Reemplazando un valor a la variable p y a la variable r de tal manera que cuando se
hagan operaciones esta de cmo resultado verdadero aqu entra la aplicacin del
formulario expuesto anteriormente.
~ (~ q ^ s) = F
~ (~ F ^ V) = F
~ (V ^ V) = F
~V=F
F=F
Por lo tanto segn la condicin la variable q y la variable s deben tomar los siguientes
valores
q=F
s=V
* Reemplazando los valores de cada preposicin para encontrar el valor de verdad
[(p ~ q) ^ s] ~ (~ r s)
[(V ~ F) ^ V] ~ (~ V V)
[(V V) ^ V] ~ (F V)
(V ^ V) ~ V
VF
F
Por lo tanto el valor de verdad de [(p ~ q) ^ s] ~ (~ r s) = F
46.- [(~ p ^ q) ~ r] ~ (p s)
* Solucin
Como este problema tiene las mismas condiciones que el problema anterior por lo
tanto los valores de cada proposicin no varan
23
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
p=V
r=V
q=F
s=V
* Reemplazando para encontrara el respectivo valor de verdad
[(~ p ^ q) ~ r] ~ (p s)
[(~ V ^ F) ~ V] ~ (V V)
[(F ^ F) F] ~ V
(F F) F
VF
V
Por lo tanto el valor de verdad de [(~ p ^ q) ~ r] ~ (p s) = V
47.- [(~ p s) (q ^ r)] (p ~ q)
* Solucin
Como este problema tiene las mismas condiciones que el problema anterior por lo
tanto los valores de cada proposicin no varan
p=V
r=V
q=F
s=V
* Reemplazando para encontrara el respectivo valor de verdad
[(~ p s) (q ^ r)] (p ~ q)
[(~ V V) (F ^ V)] (V ~ F)
[(F V) F] ( V)
(V F) V
FV
F
Por lo tanto el valor de verdad de [(~ p s) (q ^ r)] (p ~ q) = F
24
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
25
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
26
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
~F^V=V
V^V=V
V=V
Verdadero por lo tanto los valores encontrados son correctos
51.- (~ p ^ q) (~ r s) es falso
* Solucin
* Encontrando los valores de cada argumento
p=F
q=V
r=F
s=F
* Reemplazando los valores encontrados en la proposicin para verificar los
resultados
(~ p ^ q) (~ r s) = F
(~ F ^ V) (~ F F) = F
(V ^ V) (V F) = F
VF=F
F=F
Verdadero por lo tanto los valores encontrados son correctos
52.- ~(r ~ p) (~ q s) es falso
* Solucin
* Encontrando los valores de cada argumento
p=V
q=V
r=V
s=F
* Reemplazando los valores encontrados en la proposicin para verificar los
resultados
~(r ~ p) (~ q s) = F
~ (V ~ V) (~ V F) = F
~ (V F) (F F) = F
27
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
~FF=F
VF=F
F=F
Verdadero por lo tanto los valores encontrados son correctos
53.- ~ (p ~ r) ^ ~ (q ~ s) es verdadero
* Solucin
* Encontrando los valores de cada argumento
p=F
q=V
r=V
s=V
* Reemplazando los valores encontrados en la proposicin para verificar los
resultados
~ (p ~ r) ^ ~ (q ~ s) = V
~ (F ~ V) ^ ~ (V ~ V) = V
~ (F F) ^ ~ (V F) = V
~F^~F=V
V^V=V
V=V
Verdadero por lo tanto los valores encontrados son correctos
54.- ~ [(r ^ ~ q) (~ p s)] es verdadero
* Solucin
* Encontrando los valores de cada argumento
p=F
q=F
r=V
s=F
* Reemplazando los valores encontrados en la proposicin para verificar los
resultados
~ [(r ^ ~ q) (~ p s)] = V
~ [(V ^ ~ F) (~ F F)] = V
28
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
~ [(V ^ V) (V F)] = V
~ (V F) = V
~F=V
V=V
Verdadero por lo tanto los valores encontrados son correctos
29
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
30
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
31
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
59.- [(p ~ q) ^ p] (~ p ^ q)
* Solucin
* Calculo de las combinaciones
2n = 22 = 4
* Realizacin de la tabla de verdad
A X Y
P Q ~p ~q p~q A^p ~p^q XY
V V F F F F F F
V F F V V V F V
F V V F V F V V
F F V V V F F F
Es una CONTINGENCIA
32
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
33
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
A B X C Y
p q ~p ~q q^~p pA B^~q pq ~C XY
V V F F F F F V F V
V F F V F F F V F V
F V V F V V F V F V
F F V V F V V F V V
Es una TAUTOLOGIA
63.- (~ p ~ r) [~ (p ^ q) ~ r]
* Solucin
* Calculo de las combinaciones
2n = 23 = 8
* Realizacin de la tabla de verdad
A B C
~p ~r ~pv~r P Q p^q ~B ~Bv~r AC
F F F V V V F F V
F V V V V V F V V
F F F V F F V V F
F V V V F F V V V
V F V F V F V V V
V V V F V F V V V
V F V F F F V V V
V V V F F F V V V
Es una CONTINGENCIA
64.- (p v q) (~ p ^ ~ q)
* Solucin
* Calculo de las combinaciones
Tv = 2n = 22 = 4
* Realizacin de la Tabla de Verdad
34
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
A B
P Q ~p ~q pvq ~p^~q AB
V V F F V F F
V F F V V F F
F V V F V F F
F F V V F V F
Es una ANTITAUTOLOGIA
65. - [(~ p q) ^ ~ q] p
* Solucin
* Calculo de las Combinaciones
Tv = 2n = 22 = 4
Realizacin de la Tabla de verdad
A B
P Q ~p ~q ~pq A^~q Bp
V V F F V F V
V F F V V V V
F V V F V F V
F F V V F F V
* Es una TAUTOLOGIA
35
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
66.- (~ p v ~ q) v (r q)
* Solucin
* Calculo de las combinaciones
Tv = 2n = 23 = 8
Realizacin de la Tabla de Verdad
A B
Q ~p ~q R ~pv~q rq AvB
V F F V F V V
V F F F F F F
F F V V V F V
F F V F V V V
V V F V V V V
V V F F V F V
F V V V F F F
F V V F F V V
Es una CONTINGENCIA
36
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
37
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
38
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
39
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
70.- {[(~ r ^ p) v q] ^ ~ q} v (~ q v r)
* Solucin
* Calculo de las Combinaciones
Tv = 2n = 23 = 8
Realizacin de la tabla de verdad
A B C D
p q r ~q ~r ~r^p Avq B^~q ~qvr CvD
V V V F F F V F V V
V V F F V V V F F F
V F V V F F F F V V
V F F V V V V V V V
F V V F F F V F V V
F V F F V F V F F F
F F V V F F F F V V
F F F V V F F F V V
Es una CONTINGENCIA
40
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
41
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
42
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
43
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
44
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
(~ t ^ r) ^ s
83.- { p v [ q ^ (~ r v ~ p)]} ^ [(~ p ^ ~ q) v (p v q)]
* Solucin Justificaciones
{p v [q ^ (~ r v ~ p)]} ^ [(~ p ^ ~ q) v (p v q)] Ley de Morgan
{p v [q ^ (~ r v ~ p)]} ^ [~ (p v q) v (p v q)] Condicin de Negacin
{p v [q ^ (~ r v ~ p)]} ^ V Elemento Neutro
{p v [q ^ (~ r v ~ p)]} Ley Distributiva
{(p v q) ^ [p v (~ r v ~ p)] Ley Asociativa
{(p v q) ^ [(p v ~ p) v ~ r] Condicin de Negacin
{(p v q) ^ (V v ~ r)} Condicin de Tautologa
(p v q) ^ V Elemento Neutro
(p v q)
84.- ~ [(p ^ r) q] ~ (p q)
* Solucin Justificaciones
~ [(p ^ r) q] ~ (p q) Definicin Condicional
~~ [~ (p ^ r) v q] v ~ (~ p v q) Doble negacin y Morgan
[(~ p v ~ r) v q] v (p ^ ~ q) Ley Asociativa
[(~ p v ~ r)] v q v (p ^ ~ q) Ley Distributiva
[(~ p v ~ r)] v (q v p) ^ (q v ~ q) Condicin de negacin
[(~ P v ~ r)] v (q v p) ^ V Elemento Neutro
(~ p v ~ r) v (q v p) Ley Asociativa
(~ p v p) v ~ r v q Condicin de Negacin
V v (~ r v q) Condicin de Tautologa
V
85.- {[p ^ (p q)] q}
* Solucin Justificaciones
{[p ^ (p q)] q} Definicin. Condicional
{~ [p ^ (~ p v q)] v q} Ley de Morgan y Doble Negacin
{[~ p v (p ^ ~ q)] v q} Ley Distributiva
[(~ p v p) ^ (~ p v ~ q)] v q Condicin de Negacin
[V ^ (~ p v ~ q)] v q Elemento Neutro
45
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
(~ p v ~ q) v q Ley Asociativa
(q v ~ q) v ~ p Condicin de Negacin
Vv~p Condicin de Tautologa
V
86.- (~ p r) ^ [(p ^ ~ r) (~ p ^ ~ r) v (~ p ^ r)] ^ (p v ~ r)
* Solucin Justificaciones
(~ p r) ^ [(p ^ ~ r) (~ p ^ ~ r) v (~ p ^ r)] ^ (p v ~ r) Def. Condicional y Doble Neg.
(p v r) ^ [(p ^ ~ r) v (~ p ^ ~ r) v (~ p ^ r)] ^ (p v ~ r) Ley Distributiva
(p v r) ^ [(p ^ ~ r) v [~ p ^ (~ r v r)]] ^ (p v ~ r) Cond. De Negacin
(p v r) ^ [(p ^ ~ r) v (~ p ^ V)] ^ (p v ~ r) Elemento Neutro
(p v r) ^ [(p ^ ~ r) v ~ p] ^ (p v ~ r) Ley Distributiva
(p v r) ^ [(~ p v p) ^ (~ p v ~ r)] ^ (p v ~ r) Cond. De Negacin
(p v r) ^ [V ^ (~ p v ~ r)] ^ (p v ~ r) Elemento Neutro
(p v r) ^ (~ p v ~ r) ^ (p v ~ r) Ley Distributiva
(p v r) ^ [~ r v (~ p ^ p)] Cond. De Negacin
(p v r) ^ (~ r v F) Elemento Neutro
(p v r) ^ ~ r Ley Distributiva
(~ r ^ p) v (~ r ^ r) Cond. De Negacin
(~ r ^ p) v F Elemento Neutro
~r^p
87. - ~ [p ^ ~ (p ^ ~ q)] ~ (q v ~p)
* Solucin Justificaciones
~ [p ^ ~ (p ^ ~ q)] ~ (q v ~p) Def. Condicional
~~ [p ^ ~ (p ^ ~ q)] v ~ (q v ~ p) Doble Negacin y Ley de Morgan
[p ^ (~ p v q)] v (~ q ^ p) Ley Distributiva
[(p ^ ~ p) v (p ^ q)] v (~ q ^ p) Condicin De Negacin
[(F v (p ^ q)] v (~ q ^ p) Elemento Neutro
(p ^ q) v (~ q ^ p) Ley Distributiva
p ^ (q v ~ q) Condicin de Negacin
p^V Elemento Neutro
p
46
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
88.- [q ^ (q ~ p)] ~ (p ^ q)
* Solucin Justificaciones
[q ^ (q ~ p)] ~ (p ^ q) Definicin Condicional
~ [q ^ (~ q v ~ p)] v ~ (p ^ q) Elemento Neutro y Doble Negacin
[~ q v (q ^ p) ] v (~ p v ~ q) Ley Distributiva
[(~ q v q) ^ (~ q v p)] v (~ p v ~ q) Condicin de Negacin
[V ^ (~ q v p)] v (~ p v ~ q) Elemento Neutro
(~ q v p)] v (~ p v ~ q) Ley asociativa
(~ p v p) v (~ q v ~ q) Condicin de Negacin
V v (~ q v ~ q) Condicin de Tautolgica
V
47
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
~q q
~p q
q ~p
48
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
94.- (p ^ q) v (p ^ ~ q) v (~ p ^ ~ q)
* Solucin
p q
p ~q
~p ~q
p ~r
q
q ~p
p q
~p
p q ~p ~q
~q q
~p q
49
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
~p ~q ~r
q ~r
p ~p q
~q
q ~r
50
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
~q q
~p q
{(p ^ ~ q) [~ q (~ p ^ q)]} ^ (p q)
* Solucin
{(p ^ ~ q) [~ q (~ p ^ q)]} ^ (p q) Ley de Poretsky
[(p ^ ~ q) (~ q ~ p)] ^ (p q) Ley Asociativa
[(p ^ ~ q) ~ q ~ p] ^ (p q) Ley de Absorcin
(~ q ~ p) ^ (p q)
~q p
~p q
51
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
(p ^ ~ q)
p ~q
q ~p
52
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
p ^ (q v r)
q
p
r
53
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
~q
p ~r
q
q ~p
[(~ p ^ ~ q) v (p v q)] ^ {p v [q ^ (~ r v ~ p)]}
* Solucin
[(~ p ^ ~ q) v (p v q)] ^ {p v [q ^ (~ r v ~ p)]} Ley Asociativa
[(~ p ^ ~ q) v p v q] ^ {p v [q ^ (~ r v ~ p)]} Ley de Poretsky
[(~ q v p) v q] ^ {p v [q ^ (~ r v ~ p)]} Ley Asociativa
(~ q v p v q) ^ {p v [q ^ (~ r v ~ p)]} Condicin de Negacin
(V v p) ^ {p v [q ^ (~ r v ~ p)]} Condicin de Tautologa
V ^ {p v [q ^ (~ r v ~ p)]} Elemento Neutro
{p v [q ^ (~ r v ~ p)]} Ley Distributiva
(p v q) ^ [p v (~ r v ~ p)] Ley Asociativa
(p v q) ^ (p v ~ r v ~ p) Condicin de Negacin
54
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
(p v q) ^ (V v ~ r) Condicin de Tautologa
(p v q) ^ V Elemento Neutro
(p v q)
p
p q
~p
p q ~p ~q
55
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
~q q
~p q
{(p ^ ~ q) v [~ q v (~ p ^ q)]} ^ (p v q)
* Solucin
{(p ^ ~ q) v [~ q v (~ p ^ q)]} ^ (p v q) Ley de Poretsky
[(p ^ ~ q) v (~ q v ~ p)] ^ (p v q) Ley Asociativa
[(p ^ ~ q) v ~ q v ~ p] ^ (p v q) Ley Distributiva
(~ q v ~ p) ^ (p v q)
~q p
~p q
~p ~q ~r
q ~r
{(p ^ q) v [(~ p ^ ~ q) v (q ^ ~ r)]} ^ ~ r
* Solucin
{(p ^ q) v [(~ p ^ ~ q) v (q ^ ~ r)]} ^ ~ r Ley Asociativa
[(p ^ q) v (~ p ^ ~ q) v (q ^ ~ r)] ^ ~ r Ley Distributiva
[(p ^ q) ^ ~ r] v [(~ p ^ ~ q) ^ ~ r] v [(q ^ ~ r) ^ ~ r] Ley de Idempotencia
[(p ^ q) ^ ~ r] v [(~ p ^ ~ q) ^ ~ r] v (q ^ ~ r) Ley Distributiva
[(p ^ q) ^ ~ r] v [(~ p ^ ~ q) v q] ^ ~ r Ley de Poretsky
[(p ^ q) ^ ~ r] v [(~ p v q) ^ ~ r] Ley Distributiva
[(p ^ q) v (~ p v q)] ^ ~ r Ley Asociativa
56
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
p ~p q
~q
q ~r
p q
57
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
58
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
113.- Demostrar: ~ (m k) = m ^ ~ k
1.- ~ (p ~ s)
2.- ~ p (q r)
3. - ~ r ~ s
4. - (q r) [m ^ (k ~ s)]
5. - ~ p ^ ~ s (1) Ley de Morgan
6.- ~ p (5) Simplificacin
7.-(q r) (2:6) Modus Ponnens
8.-[m ^ (k ~ s)] (4:7) Modus Ponnens
9.- m (8) Simplificacin
10.- (k ~ s) (8) Simplificacin
11.- ~ k ~ s (10) Ley Condicional
12.- ~ s (5) Simplificacin
13.- ~ k (11:12) Silogismo Disyuntivo
14.- m ^ ~ k (9:13) Conjuncin
114.- Demostrar: 4+6 > 3+3
1.- Vx (x>6 x<8) Reemplazando los valores de X e Y
2.- 4+6 < 8 X = 4+6
3.- Vy (y>6 y> 3+3) Y = 4+6
1.- 4+6>6 4+6<8
2.- 4+6<8
3.- 4+6>6 4+6> 3+3
4.- 4+6>6 (1:2) Silogismo Disyuntivo
5.- 4+6> 3+3 (3:4) Modus Ponnens
59
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
60
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
119.- Demostrar: A
1. ~ G E
2. E K
3. ~ G
4. ~ K v ~ L
5. L v M
6. M A
7. E (1:3) MP
8. K (2:7) MP
9. ~ L (4:8) SD
10. M (5:9) SD
11. A (6:10) MP
120.- Demostrar: X 0
1. x = y x = z
2. x = z x = 1
3. x = 0 x 1
4. x = y
5. x = z (1:4) MP
6. x = 1 (2:5) MP
7. x 0 (3:6) MT
121.- Demostrar: a = 0
1. a 0 b = 1
2. a = b b = c
3. b = c b 1
4. a = b ^ a < d
5. a = b (4) S
6. b = c (2:5) MP
7. b 1 (3:6) MP
8. a = 0 (1:7) MT
61
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
62
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
63
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Si el docente empieza a tomar el examen antes de la hora habitual entonces Alejandro llega
Si su compaero dice la verdad entonces Alejandro no vio que le hayan pasado el examen
resuelto. Su compaero dice la verdad o estaba copiando las preguntas del examen. El
64
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Solucin
Demostrar: t
1) p (q ^ r)
2) s ~ r
3) s v t
4) p
5) q ^ r (1; 4) MPP
6) r (5) SIMPLIFICACION
7) ~ s (2; 6) MTT
8) t (3; 7) MTP
Si Gabriel va a una fiesta entonces no dejara de estar elegante. Para que Gabriel luzca
guapo es necesario que este aseado. Si Gabriel no fuma cigarrillos entonces se respeta as
mismo. Lucir guapo entonces estar elegante para la fiesta. Gabriel usa una corbata roja,
cuando va a una fiesta. Respetarse as mismo es suficiente para que Gabriel est aseado.
Gabriel va a la fiesta.
Solucin
65
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Demostrar: v ^ t
1) p ~ q
2) s r
3) ~ t u
4) r q
5) p v
6) u s
7) p
8) ~ q (1; 7) MPP 12) ~ u (6; 11) MTT
9) v (5; 7) MPP 13) t (3; 12) MTT
10) ~ r (4; 8) MTT 14) v ^ t (9; 13) CONJUNCION
11) ~ s (2; 10) MTT
s que me preocupare por mis gastos y no estar con mi mente despejada. Mejor buscare
otra opcin y as entonces estar con mi mente despejada. Pensando mejor tratare de
descansar para que as tome una mejor decisin. S que buscare otra opcin o en ltimo
Por lo tanto: Tomare mejor una decisin y en este verano decidir no viajar
Solucin
p = Si en este verano decido viajar q = Me preocupare por los gastos que haga
r = Estar con mi mente despejada s = Tratare de descansar
t = Tome una mejor decisin u = Buscare otra opcin
v = Me dejare de hacerme problemas
Demostrar: t ^ ~ p
1) p ~ q
2) q ^ ~ r
3) u r
4) s t
5) u v (s ^ v)
6) q (2) SIMPLIFICACION
66
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
7) ~ r (2) SIMPLIFICACION
8) ~ p (1; 6) MTT
9) ~ u (3; 7) MTT
10) s ^ v (5; 9) MTP
11) S (10) SIMPLIFICACION
12) t (4; 11) MPP
13) t ^ ~ p (8; 12) CONJUNCION
entonces querr decir que nos estamos preocupando por el medio ambiente. El hombre
Solucin
Demostrar: t v u
1) p ~ q
2) ~ r s
3) ~ p t
4) q v ~ s
5) r t
6) ~ p v r (1; 2; 4) DD
7) t v t (3; 5; 6) DC
8) t (7) IDEMPOTENCIA
9) t v u (8) A
67
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Cuando sea profesional realizare grandes obras para el desarrollo de mi ciudad. No dejare
de cumplir todas mis metas y eso implicara para mi ser una persona destacada y de buenos
principios. Tengo una oferta de trabajo y aun no soy profesional. Al tener una oferta de
trabajo y al ser una persona destacada, tendr que tomar una acertada decisin. Tendr que
hacer grandes obras para el desarrollo de mi ciudad o no dejare de cumplir mis metas.
Por lo tanto: Ser una persona de buenos principios y tomare una acertada decisin
Solucin
familiar y entonces ocasionara que la ciudadana se pronuncie y salga en marcha a las calles
68
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
posible enfrentamiento. El sector transportista se pronuncia entonces querr decir que habr
Por lo tanto: La ciudadana se pronunciara o habr abusos por parte del transporte
Solucin
Demostrar: u v z
1) p ~ q
2) r ^ s
3) (~ p v t) (u ^ v)
4) ~ s v w
5) r (q v ~ w)
6) r (2) SIMPLIFICACION 11) ~ P (1; 10) MTT
7) s (2) SIMPLIFICACION 12) ~ p v t (11) ADICION
8) q v ~ w (5; 6) MPP 13) u ^ v (3; 12) MPP
9) w (4; 7) MTP 14) u (13) SIMPLIFICACION
10) q (8; 9) MTP 15) u v z (14) ADICION
Los asaltantes entraron por la puerta principal y fueron filmados por las cmaras de
seguridad entonces ser fcil identificarlos y llevarlos a la crcel. Si la polica no acta con
rapidez los asaltantes no irn a la crcel. Pero ser fcil identificarlos entonces la polica no
actuara con rapidez. Si los investigadores analizan la escena del hecho entonces entraron
por la puerta principal. Si los investigadores analizan la escena del hecho entonces fueron
69
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Por lo tanto: Los investigadores no analizaran la escena del hecho y atraparan a los
Solucin
p = Entraron por la puerta principal q = Fueron filmados por las cmaras de seguridad
r = Sera fcil identificarlos s = Llevarlos a la crcel
t = La polica acta con rapidez u = Los investigadores analizan la escena del hecho
w = Atraparan a los asaltantes
Demostrar: ~ u ^ (w v ~ r)
1) (p ^ q) (r ^ s)
2) ~ t ~ s
3) r ~ t
4) u p
5) u q
6) t
7) ~ r (3; 6) MTT 12) ~ p v ~ q (11) LEY DE MORGAN
8) r ~ s (2; 3) SH 13) ~ u (4; 5; 12) DD
9) ~ r v ~ s (8) Dc 14) ~ r v w (7) ADICION
10) ~ (r ^ s) (9) Lm 15) ~ u ^ (~ r v w) (13; 14) CONJUNCION
11) ~ (p ^ q) (1; 10) MTT
La constitucin queda como estaba o habr que modificar algunas leyes para mejorar este
pas. Es suficiente que la constitucin quede como estaba para que se produzca un
desacuerdo entre los ciudadanos. Habr desacuerdo entre los ciudadanos entonces las
autoridades tendrn que tomar alguna decisin. Cuando las autoridades tomen alguna
decisin se tendr que cambiar algunas leyes para mejorar este pas. Las autoridades
necesitan tomar alguna decisin o habr guerra civil y entonces se podrn lamentar las
primeras vctimas. El oficialismo afirma que si la constitucin queda como estaba entonces
70
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Solucin
Demostrar: ~ q
1) q v p
2) q r
3) r s
4) p s
5) (s v t) u
6) q ~ u
7) q s (2; 3) SH
8) s v s (1; 4; 7) DC
9) s (8) IDEMPOTENCIA
10) s v t (9) ADICION
11) u (5; 10) MPP
12) ~ q (6; 11) MTT
Me voy a un karaoke o a una discoteca. Es suficiente que tome whisky para que no tome
cerveza. Si voy a un karaoke entonces tomare whisky. Si en ltimo caso decido quedarme
en mi casa entonces no tomare cerveza. Ahora quede indeciso voy a un karaoke o me quedo
Solucin
71
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Demostrar: p
1) p v q
2) r ~ s
3) p r
4) t ~ s
5) p v t
6) q s
7) p ~ s (2; 3) SH 15) ~ s (14) ELEMENTO NEUTRO
8) ~ p t (5) Dc 16) ~ q (6; 15) MTT
9) ~ p ~ s (4; 8) SH 17) p (1; 16) MTP
10) ~ p v ~ s (7) Dc
11) p v ~ s (9) Dc
12) (~ p v ~ s) ^ (p v ~ s) (10; 11) CONJUNCION
13) ~ s v (p ^ ~ p) (12) LEY DISTRIBUTIVA
14) ~ s v F (13) CONDICION DE NEGACION
Solucin
Demostrar: u ^ q
1) p v q
2) (r ^ s) ~ t
3) u v t
72
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
4) ~ p ^ s
5) ~ r ~ q
6) ~ p (4) SIMPLIFICACION
7) s (4) SIMPLIFICACION
8) q (1; 6) MTP
9) r (5; 8) MTT
10) r ^ s (7; 9) CONJUNCION
11) ~ t (2; 10) MPP
12) u (3; 11) MTP
13) u ^ q (8; 12) CONJUNCION
136.- Demostrar: ~ p Mtodo Directo
1. r ~ p
2. s r
3. s
4. r (2;3) MP
5. ~ p (1; 4) MP
137.- Demostrar: ~ p Mtodo Indirecto
1. r ~ p
2. s r
3. s
4. ~~ p RP
5. P (4) Doble Negacin
6. r (2; 3) MP
7. ~ P (1; 6) MP
8. ~ P ^ P (5; 7) C
9. F (8) Condicin de Negacin
138.- Demostrar: p v q Mtodo Directo
1. ~ r p
2. F v G ~ r
3. G
4. F v G (3) A
5. ~ r (2:4) MP
6. p (1:5) MP
7. P v Q (6) A
73
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
74
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
5. L v M
6. M A
7. ~ A RP
8. E (1; 3) MP
9. K (2; 8) MP
10. ~ L (4; 9) SD
11. M (5; 10) SD
12. A (6; 11) MP
13. A ^ ~ A (7; 12) C
14. F (13) Condicin de Negacin
142.- Demostrar: F Mtodo Directo
1. g h
2. ~ g ~~ f
3. ~ h ^ q
4. ~ h (3) S
5. ~ g (1; 4) MT
6. ~~ f (2; 5) MP
7. f (6) Doble Negacin
143.- Demostrar: F Mtodo Indirecto
1. g h
2. ~ g ~~ f
3. ~ h ^ q
4. ~ f RP
5. ~ h (3) S
6. ~ g (1; 5) MT
7. ~~ f (2; 6) MP
8. f (7) Doble Negacin
9. f ^ ~ f (4; 8) C
10. F (9) Condicin de Negacin
75
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
76
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
7. j (2; 6) SD
8. ~ j (5) S
9. j ^ ~ j (7; 8) C
10. F (9) Condicin de Negacin
148.- Demostrar: p ~ s Mtodo Condicional
1. p (q v r)
2. q ~ p
3. s ~ r
4. p RP
5. q v r (1; 4) MP
6. ~ q (2; 4) MT
7. r (5; 6) SD
8. ~ s (3; 7) MT
9. p ~ s (4; 9) Demostracin Condicional
149.- Demostrar: p ~ s Mtodo Indirecto
1. p (q v r)
2. q ~ p
3. s ~ r
4. ~ (p ~ s) RP
5. ~ (~ p v ~ s) (4) Definicin Condicional
6. (p ^ s) (5) Ley de Morgan y Doble Negacin
7. p (6) S
8. q v r (1;7) MP
9. ~ q (2;7) MT
10. r (8;9) SD
11. ~ s (3;10) MT
12. s (6) S
13. s ^ ~ s (11;12) C
14. F (13) Condicion de Negacin
77
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
78
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
79
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
7. r (6) S
8. p v q (1;7) MP
9. ~ p (2; 7) MT
10. q (8;9) SD
11. ~ s (3; 10) MT
12. s (6) S
13. s ^ ~ s (11;12) C
14. F (13) Condicion de Negacin
154.- Demostrar: s (p v q) Mtodo Condicional
1. s t
2. r p
3. t r
4. s RP
5. t (1 ; 4) MP
6. r (3 ; 5) MP
7. p (2 ; 6) MP
8. p v q (7) A
9. s (p v q) (4; 8) Demostracin Condicional
155.- Demostrar: s (p v q) Mtodo Indirecto
1. s t
2. r p
3. t r
4. ~ [~ s v (p v q)] RP y Definicin Condicional
5. ~~ s ^ (~ p ^ ~ q) (4) Ley de Morgan
6. s ^ (~ p ^ ~ q) (5) Doble Negacin
7. s (6) Simplificacin
8. t (1; 7) MP
9. r (3; 8) MP
10. p (2; 9) MP
11. (~ p ^ ~ q) (6) Simplificacin
12. ~ p (11) Simplificacin
80
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
81
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
82
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
83
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
84
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
A B = {1, 3} 4
0 3 5 8
7 6 C 9
b) B = {2, 4,5}
A = {1, 2, 3,4} A B
1 2
B U A = {1, 2, 3, 4,5}
4
0 3 5 8
7 6 C 9
A B
c) C= {3, 4, 5,6}
1 2
0 8
85
4
7 3 6 5 C 9
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
A = {1, 2, 3,4}
C A = {3, 4}
d) C= {3, 4, 5,6}
A = {1, 2, 3,4} A B
1 2
C A = {1, 2, 5,6}
B = {2, 4,5} 4
0 3 5 8
(C A) B = {1, 6}
7 6 C 9
e) A = {1, 2, 3,4} A B
1 2
B = {2, 4,5}
A U B = {1, 2, 3, 4,5} 4
C 3 5
(A U B) = {0, 6, 7, 8,9} 0 8
B = {2, 4,5} 7 6 C 9
C = {3, 4, 5,6}
B C = {4,5}
(A U B) C (B C) = {0, 6, 7, 8,9}
2.- Dados los siguientes conjuntos por extensin
U = {0, 1, 2, 3, 4, 5, 6,7}
A = {0, 1, 2,3}
B = {1, 3, 5,7}
C = {2, 4, 6,7}
D = {0, 1, 3,4}
Determinar:
a) (B A) U C
b) (AC B) (A B)
c) [(D A) U (B C) C] D
SOLUCIN
a) B = {1, 3, 5, 7} b) A = {0, 1, 2, 3} (AC B) (A B) = {0, 2, 5, 7}
86
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
A = {0, 1, 2, 3} AC = {4, 5, 6, 7}
B A = {5, 7} B = {1, 3, 5, 7}
C = {2, 4, 6, 7} AC B = {5, 7}
(B A) U C = {2, 4, 5, 6,7} A B = {0,2}
c) D = {0, 1, 3,4} (D A) U (B C) C = {0, 2, 4, 6,7}
A = {0, 1, 2,3} D = {0, 1, 3,4}
D A = {4} [(D A) U (B C) C] D = {0,4}
B = {1, 3, 5,7}
C = {2, 4, 6,7}
B C = {1, 3,5}
(B C)C = {0, 2, 4, 6,7}
3.- Dados los siguientes conjuntos:
U = {x Z / -2 X 6}
A = {x N / -1 x 5}
B = {x Z / -2 X < 4}
C = {1, 2, 3,4}
U = {-2,-1, 0, 1, 2, 3, 4, 5,6}
A = {1, 2, 3, 4, 5,}
B = {-2, -1, 0, 1, 2, 3}
C = {1, 2, 3, 4}
Determinar:
a) (A-B) C CC b) (A B) - (C A)
A = {1, 2, 3, 4, 5,} A = {1, 2, 3, 4, 5}
B = {-2, -1, 0, 1, 2, 3} B = {-2, -1, 0, 1, 2, 3,}
A - B = {4, 5} A B= {-2, -1, 0, 4, 5}
C
(A-B) = {-2, -1, 0, 1, 2, 3, 6} C = {1, 2, 3, 4}
C = {1, 2, 3, 4} A = {1, 2, 3, 4, 5}
CC= {-2, -1, 0, 5, 6} C A = {1, 2, 3, 4}
(A-B)C CC = {1, 2, 3} (A B) - (C A) = {-2, -1, 0, 5}
c) (A-C C) C U B
A= {1, 2, 3, 4, 5}
87
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
C = {1, 2, 3, 4}
CC = {-2, -1, 0, 5, 6}
A CC = {1, 2, 3, 4}
(A CC)C = {-2, -1, 0, 5, 6}
B= {-2, -1, 0, 1, 2, 3}
(A-CC)C U B = {-2, -1, 0, 1, 2, 3, 5, 6}
4.- Dados los siguientes conjuntos:
U = {a, b, c, d, e f, g, h}
A = {a, c, d, f, h}
B = {b, c, e, f}
C = {a, c, d, e}
Determinar:
a) A Bc b) (A B) - A
A = {a, c, d, f, h} A = {a, c, d, f, h}
B = {b, c, e, f} B = {b, c, e, f}
BC = {a, c, g, h} A B = {a, b, d, e, h}
A Bc = {a, d, h} (A B) A = {b, e}
5.- Dados los siguientes conjuntos:
U = {-6, -2, 0, 1, 2, 3, 4}
A = {x / x2 -4x+3 = 0}
B = {x / 6-5x+x2 = 0}
C ={x/x3-x2-4x+4 = 0}
Determinar:
a) (A - B) U C b) (A B) - B
A = {1, 3} A = {1, 3}
B = {-6, 1} B = {-6, 1}
A-B = {3} A B = {-6, 3}
C = {-2, 1, 2} (A B) B = {3}
(A - B) U C = {-2, 1, 2, 3}
c) (AC)c U (B A)
A = {1, 3}
88
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
C = {-2, 1, 2}
(A C) = {1}
(AC) c = {-6, -2, 0, 2, 3, 4}
B = {-6, 1}
A = {1, 3}
B A = {1}
(AC) c U (B A) = {-6, -2, 0, 1, 2, 3, 4}
6.- Determinar los Elementos de A y B sabiendo que:
U = {1, 2, 3, 4, 5, 6, 7, 8}
A B = {1, 2, 3, 4, 5}
Bc = {1, 4, 7}
* Solucin
Calculo de B Clculo de A
U = {1, 2, 3, 4, 5, 6, 7, 8} A B = {1, 2, 3, 4, 5}
BC = {1, 4, 7} B = {2, 3, 5, 6, 8}
B = {2, 3, 5, 6, 8} A = {1, 4, 6, 8}
7.- Determinar los Elementos de A y B y del Universo U sabiendo que:
A U B = {a, b, c, e, f, g, h}
A B = {a, e}
Bc = {c, d, g, i}
* Solucin
Calculo del universo Clculo de B
A U B = {a, b, c, e, f, g, h} Bc = {c, d, g, i}
A B = {a, e} U = {a, b, c, d, e, f, g, h, i}
Bc = {c, d, g, i} B = {a, b, e, f, h}
U = {a, b, c, d, e, f, g, h, i}
Calculo de A
B = {a, b, e, f, h}
B A = {a, e}
A U B = {a, b, c, e, f, g, h}
A = {a, c, e, g}
89
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
90
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
b) A = {0, 1, 2, 3, 4, 5}
C = {0, 2, 4, 6, 8}
A C = {0, 1, 3, 5}
(A C)C = {2, 4, 6, 7, 8, 9}
(A C)C B = {3, 5}
10.- Dados los siguientes conjuntos
U = {2, 4, 6, 8, 10, 12, 14}
C = {2, 4, 6, 8, 10, 12}
D = {2, 6, 10}
Determinar:
[(CC D) U C] D
* Solucin
CC = {14} [(CC D) U C] D = {4, 8, 12, 14}
CC D = {14}
(CC D) U C = {2, 4, 6, 8, 10, 12, 14}
91
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
92
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
(A C) (B C) = (A C) (B C)
93
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
94
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
95
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
96
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
97
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
D=
0 10
C-D =
C-D =
b) D-C
D-C =
D-C = [5; 10[ 5 10
c) Dc
Dc =
Dc = [10; + [ 10
d) CC
CC =
CC = [5; + [ 5
e) C D
98
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
CD=
C D =]-; 5[ 5
f) (C-D) C
(C-D) C =
U=
0
A=
0 4
B=
0 3
C=
-6 0 18
AB=
0
AC=
0 4 18
99
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
(A B) (A C) =
0
(A B) (A C) = {} Conjunto Vaci
U=
0
A=
-3 0 2
B=
0 1 9
C=
-2 0 10
AUB
0 2 9
100
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
(A U B) C =
-2 0 2 9 10
U=
0
A=
-3 0 5
B=
0 3 7
C=
-3 -1 0
AB=
-3 0 7
(A B)C =
-3 0 7
101
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
(A B)C C=
-3 -1 0
U=
0
A=
-4 0 8
B=
-3 0 5
C=
-4 0 10
AB=
-4 -3 0 5 8
(A B) U C =
-4 -3 0 5 8
102
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
U=
0
A=
-1 0 11
B=
-3 0 9
C=
0 12
AB=
-3 0 11
AC=
-1 0 12
103
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
(A B) (A C) =
0 11 12
U=
0
A=
-1 0 11
B=
-3 0 9
AB=
-3 0 11
(A B)C =
-3 0 11
(A B)C B =
0 9 11
104
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
BA=
-1 0 9
AC =
-1 0 11
(B A) AC =
38.- Daos los siguientes conjuntos -1 0 9
U=R
A = [-2; 10]
B =]-; -6] U [4; 10]
C = [6; 10]
Calcular:
a) (AC BC) C
b) (A C) U BC
* Solucin
U=
0
A=
-2 0 10
B=
0 4 10
-6
C=
0 6 10
AC =
-2 0 10
BC =
-6 0 4
AC BC =
-6 0 10
(AC BC) C =
0 10
-6
105
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
AC=
-2 0 6
(A C) U BC =
-6 0 6
U=
0
A=
-1 0 5
B=
-6 0
C=
-6 0 3 6
AC=
0 3
(A C) B =
0
BA=
-6 -1 0 5
106
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
U=
0
A=
0 5
B=
0 5
C=
-2 0 3 6
AC=
0 3
(A C) B =
0 3
AC =
0 3
CC =
-2 0 3 6
AC U CC =
0
107
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
A BC = A BC
108
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
A B=A
B
109
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
110
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Solucin
Justificaciones
[(A B) U A] B = A BC Ley de Diferencia Simtrica
C C
[(A B) U (B A) U A] B = A B Ley de Diferencia
[(A BC) U (B AC) U A] BC = A BC Ley Asociativa
C C C C
[(A B ) U A U (B A )] B = A B Ley de Absorcin
[A U (B AC)] BC = A BC Ley de Poretsky
C C
(A U B) B = A B Ley de Poretsky
A BC = A BC
111
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
B CC = B C Ley de Diferencia
Por tanto queda demostrado
BC=B
C
54.- Demostrar la siguiente igualdad de conjuntos: (B A) (C A) = (B C) A
Solucin
Justificaciones
(B A) (C A) = (B C) A Ley de Diferencia
C C
(B A ) (C A ) = (B C) A Ley de Diferencia Simtrica
[(B AC) (C AC)] U [(C AC) (B AC)] = (B C) A Ley de Diferencia
[(B AC) (C AC)C] U [(C AC) (B AC)C] = (B C) A Complemento
C C CC C C CC
[(B A ) (C U A )] U [(C A ) (B U A )] = (B C) A Doble Complemento
[(B AC) (CC U A)] U [(C AC) (BC U A)] = (B C) A Ley Asociativa
C C C C
[B A (C U A)] U [C A (B U A)] = (B C) A Ley de Poretsky
[(B AC CC)] U [(C AC BC)] = (B C) A Ley Distributiva
[(B CC) U (C BC)] AC = (B C) A Ley de Diferencia
[(B C) U (C B)] A = (B C) A Ley de Diferencia Simtrica
Por tanto queda demostrado
(B C) A = (B C) A
AAA
55.- Demostrar la siguiente igualdad:{{B [(A U B) (B A)]}C B}C = B AC
Solucin
Justificaciones
{{B [(A U B) (B A)]}C B}C = B AC Ley de Diferencia
C C C C C
{{B [(A U B) (B A )] } B} = B A Complemento y Doble Complemento
{{BC U [(A U B) (B AC)]} B}C = B AC Ley Asociativa
{{BC U [(A U B) B AC]} B}C = B AC Ley de Absorcin
{[BC U (B AC)] B}C = B AC Ley de Poretsky
C C C C
[(B U A ) B] = B A Ley de Diferencia Simtrica
{[(BC U AC) B] U [B (BC U AC)]}C = B AC Ley de Diferencia
{[(BC U AC) BC] U [B (BC U AC)C]}C = B AC Complemento y Doble Complemento
{[(B A) U B] [BC U (BC U AC)]} = B AC Ley de Absorcin y Ley Asociativa
{B [AC U (BC U BC)]} = B AC Ley de Idempotencia
C C C
[B (A U B )] = B A Ley de Poretsky
B AC = B AC
112
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
113
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
AUB
AB
114
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
A BC
AB
64.- Simplificar la siguiente formula conjuntista: [(A B)C AC] U [BC (B A)]
Solucin
Justificaciones
[(A B)C AC] U [BC (B A)] Ley de Diferencia y Doble Complemento
C C C C
[(A B) A] U [B (B A ) ] Ley del Complemento y Doble Complemento
115
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
A U BC
A U (B CC)
116
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
A BC CC
B (A U
CC)
69.- Simplificar la siguiente formula conjuntista: {[(A C) U C] (A C)} C
Solucin
Justificaciones
{[(A C) U C] (A C)} C Ley de Diferencia y Ley de Diferencia Simtrica
{[(A C ) U C] [(A C) U (C A)]} CC
C
Ley de Poretsky y Ley de Diferencia
{(A U C) [(A CC) U (C AC)]} CC Ley Distributiva
C C C
{[(A U C) A C ] U [(A U C) C A ]} C Ley de Absorcin
[(A CC) U (C AC)] CC Ley Distributiva
[(A CC) CC] U [(C AC) CC] Ley Asociativa, Identidad y Complementacin
(CC A) U ( AC) Ley de Identidad
A CC
117
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
A BC C
(A BC)
UC
72.- Simplificar la siguiente formula conjuntista: {[B (A B)] U (A C)} (A B)
Solucin
Justificaciones
{[B (A B)] U (A C)} (A B) Ley de Diferencia
{[B (A BC)C] U (A CC)} (A B)C Ley del Complemento y Doble Complemento
{[B (AC U B)] U (A CC)} (A B)C Ley de Diferencia Simtrica
{[B (AC U B)] U (A CC)} [(A B) U (B A)]C Absorcin, Ley de Diferencia
{[B U (A CC)} [(A BC) U (B AC)]C Complemento y Doble Complemento
[B U (A CC)] [(AC U B) (BC U A)] Ley Distributiva
C C C
(B U A) (B U C ) (A U B) (B U A) Ley Asociativa
[(B U A) (BC U A)] (B U CC) (AC U B) Ley Distributiva
C C C
[A U (B B )] (B U C ) (A U B) Complementacin y Ley de Identidad
A (B U CC) (AC U B) Ley Asociativa y Ley de Poretsky
A B (B U CC) Ley de Absorcin
AB
CC
118
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
[AC (B C)C] [(A U B) (AC B)C] Ley del Complemento y Doble Complemento
[AC (BC U CC)] [(A U B) (A U BC)] Ley Distributiva
[AC (BC U CC)] [A U (B BC)] Ley de Complementacin y Ley de Identidad
C C C
[A (B U C )] A Ley de Diferencia Simtrica
{[AC (BC U CC)] A} U {A [AC (BC U CC)]} Ley de Diferencia
C C C C C C C C
{[A (B U C )] A } U {A [A (B U C )] } Asociativa y Ley del Complemento
{[AC AC (BC U CC)]} U {A [ACC U (BCC CCC)]} Idempotencia; Complemento
{[AC (BC U CC)]} U {A [A U(B C)]} Ley de Absorcin
{[AC (BC U CC)]} U A Ley Distributiva
(A U AC) [A U (BC U CC)] Ley de Complementacin y Ley de Identidad
A U BC U
CC
119
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
75.- En un club deportivo de 1000 socios, hay 800 que juegan al menos un deporte
entre Ftbol, Bsquet y Tenis. De ellos 400 juegan al Ftbol, 350 al Bsquet y 300 al
Tenis. 100 al Ftbol y Bsquet, 130 al Bsquet y Tenis, 80 al Ftbol y Tenis.
Determinar el nmero de personas que no juegan ningn deporte?
* Solucin
U = 1000
F U B U T = 800
F = 400 n (F U B U T) = n(F) + n(B) + n(T) - n(F B) - n(F T) - n(B T) + n(B F T)
B = 350 800 = 400 + 350 +300 100 - 80 130 + x
T = 300 x = 800 400 350 300 + 100 + 80 +130
F B = 100 x = 60
B T = 130 (F U B U T) C = U - (F U B U T) = 1000 800 = 200
F T = 80
U = 1000
F 280 40 180 B
(F U B U T)C =?
20 60 70
20
150 T
200
120
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
* Solucin
U=? 15 5 25
A = 70
B = 60 35
C
C = 80
A (B U C) = 30
C B = 30
A C = 20
ACB=5
a) A B =?
b) B (A U C) =? A = a + b + d + e = 40
c) C (A U B) =? B = b+ c + e + f = 60
d) A U B =? C = d + e + f + g = 80
e) U =? f + e = 30 d = 20 - e
d + e = 20 d = 20 5
e=5 d = 15
a = 30 f = 30 - e
b = 70 a d e f = 30 5
b = 70 30 15 -5 f = 25
b = 20 c = 60 b e - f
g = 80 d e f c = 60 20 5 - 25
121
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
g = 80 15 5 -25 c = 10
g = 35
a) A B = 25 estudiantes
b) B (A U C) = 10 estudiantes
c) C (A U B) = 35 estudiantes
d) A U B = 105 estudiantes
e) U = 140 estudiantes
77.- Entre los 40 alumnos de una escuela de Comunicacin, 32 alumnos se suscriben
al diario El Deber; 210 a la revista COSAS y 15 alumnos al diario y a la revista.
Cuntos alumnos no se han suscrito al Diario ni a la revista?
* Solucin U = 40
U = 40 D C
D = 32
C = 21
17 15 6
D C = 15
(D U C)C =? 2
(D U C)C = U a b c a + b = 32 a = 32 b c = 21 b
(D U C)C = 40 17 15 6 b + c = 21 a = 32 15 c = 21 - 15
C
(D U C) = 2 b = 15 a = 17 c=6
78.- Una caja contiene 120 caramelos, de los cuales 56 son redondos y 36 de menta. Si
22 caramelos de menta son tambin redondos, se pide determinar:
a) cuntos de los caramelos no son de menta ni redondos?
b) Cuntos de los caramelos de la caja no son redondos?
* Solucin
U = 120 U = 120
R = 56
M = 36
R M
R M = 22
(R U M)C =? 34 22 14
C
(M R) U (R U M) =?
122 50
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
a) (R U M) C = U - a b c
(R U M)C = 120 34- 22- 14 = 50 Caramelos
b) (M R) U (R U M) C = 14 + 50 = 64 Caramelos
79.- En una encuesta a 400 estudiantes se determino que:
320 son habladores, 276 son inteligentes, 136 se comportan bien, 26 se comportan bien
y no son habladores, 40 se comportan bien y no son inteligentes, 240 son habladores e
inteligentes, 30 se comportan bien y son habladores pero no son inteligentes.
Cuntos de los 400 estudiantes encuestados no se comportan bien, no son habladores
y no son inteligentes?
* Solucin
U = 400 U = 400
H = 320
I = 276
H I
B = 136 50 160 20
(B U H U I)C =?
30 80 16
10
B
34
a + b +d + e = 320 d + g = 40 f + g = 26 b + e = 240
b + c + e + f = 276 g = 40 - d f = 26 g b = 240 - e
d + e + f + g = 136 g = 40 30 f = 26 10 b = 240 - 80
f + g = 26 g = 10 f = 16 b = 160
d + g = 40
b + e = 240 e = 136 d f g a = 320 b d - e
d = 30 e = 136 30 - 16 10 a = 320 160 30 - 80
e = 80 a = 50
c = 276 b e f
c = 276 160 80 16 c = 20
123
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
(B U H U I)C = U a- b c d- e f- g
(B U H U I)C = 400 50 160 20 30 80 16 10
(B U H U I)C = 34 Estudiantes
80.- En una encuesta realizada a 100 estudiantes sobre si iban a aprobar el examen se
obtuvieron los siguientes resultados:
60 confan que aprobaran el primer parcial, 40 que aprobaran el segundo parcial, 30
que aprobaran el tercer parcial, adems 15 confan que van a aprobar el primero y
segundo parcial, 10 el primero y tercer parcial, 12 el segundo parcial y el tercer
parcial se pide determinar:
a) Cuantos alumnos aprobaran el primer o segundo parcial pero no el tercer parcial?
b) Cuantos alumnos aprobaran el segundo parcial y el tercer parcial?
c) Cuantos aprobaran dos de los tres exmenes?
* Solucin U = 100
U = 100
P = 60
P S
S = 40 a = 42 b= 8 c= 20
T = 30
P S = 15 d =3 e=7 f=5
P T = 10
S T = 12 g =15
a) (P U S) T=? T
b) S T=?
c) Dos exmenes?
n (P U S U T) = n(P) + n(S) + n(T) n (P S) n (P T) - n(S T) + n (P S T)
100 = 60 + 40 + 30 15 10 12 + n (P S T)
100 = 93 + n (P S T)
n (P S T) = 7
a +b + d + e = 60 a) (P U S) T= 42 + 8 + 20 = 70 alumnos
b + c + d + f = 40 b) S T = 7 + 5 = 12 alumnos
d + 3 + f + g = 30 c) Dos exmenes = 8 + 3 + 5 = 16 alumnos
b + e = 15
124
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
81.- En una encuesta realizada a 100 estudiantes sobre sus preferencias entre una
Universidad Privada y una Universidad Estatal se determino que: 60 les gustara
estudiar en una Universidad Estatal y 50 en una Universidad Privada, adems 30
estudiantes desearan estudiar en una Universidad Estatal y en una Universidad
privada al mismo tiempo, con esta informacin obtenida en dicha encuesta se pide
determinar:
a) Cuntos estudiantes solamente estudiaran en una Universidad Estatal?
b) Cuntos estudiantes no estudiaran en ninguna de estas Universidades?
Solucin
Datos del Problema Solucin del Ejercicio Aplicando Ecuaciones de Primer Grado
U = 100 Primera Ecuacin: a + b + c + d = 100 a = 20
n (P) = 50 Segunda Ecuacin: a + b = 50 b = 30
n (E) = 60 Tercer Ecuacin: b + c = 60 RESOLVIENDO c = 30
n (E P) = 30 Cuarta Ecuacin: b = 30 d = 20
n (E P) =?
n (P U E)C =? Diagrama de Venn U= 100
P E
a = 20 b = 30 c = 30
d = 20
125
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
126
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
500
127
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
16 4 11
128
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Diagrama de Venn
U= 100%
M T
10%
129
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
86.- En una encuesta acerca de la preferencia que tenan las personas en utilizar los
productos A, B y C, se determino que todas las personas entrevistadas utilizaban el
producto A, algunos el producto B y otros el producto C, si se sabe que a 400 personas
les gusta el producto A y B, y 550 personas les gusta el producto A o C, con esta
informacin se pide determinar:
a) A cuntas personas no les gusta utilizar el producto B?
b) A cuntas personas en total se les realizo la encuesta?
Solucin
Datos del Problema Diagrama de Venn
n (A B) = 400
n (A U C) = 550 A
n [(A U C) B]=? B C
n (A U B U C)=?
b = 400 c
a
n [(A U C) B] = 150
b) n (A U B U C) = a + b + c
n (A U B U C) = 400 + 150
n (A U B U C) = 550
130
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
n (F U Q U C) = 110 n [F (Q U C)] = 10
Y = 30
X = 10 Z = 20 W = 50
131
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
n [S de
Diagrama (P venn
U T)] = 90
U= 490
P S T
Z = 90
Y = 50 W =60
x = 50
t= 240
132
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
89.- Una empresa lanza al mercado nacional tres productos A, B y C y realiza una
encuesta a 2000 personas para poder determinar la opinin de la gente acerca de estos
productos, los resultados obtenidos en esta encuesta fueron los siguientes: todas las
personas entrevistadas afirmaron que utilizaran el producto A, 500 utilizaran el
producto B, 400 utilizaran el producto C y 300 personas afirmaron que iban a
utilizar el producto A, B y C, con esta informacin se pide determinar:
a) Cuntas personas utilizaran o el producto B o el producto C pero no ambos a la
vez?
b) Cuntas personas utilizaran el producto A y el producto C?
c) Cuntas personas solo utilizaran el producto A?
Solucin
Datos del Problema Solucin del Ejercicio Aplicando las Ecuaciones de Primer Grado
n (A U B U C) = 2000 y + z = 500 y = 500 z y = 500 300 y = 200
n (B) = 500 z + w = 400 w = 400 z w = 400 300 w = 100
n (C) = 400 z = 300
n (A B C) = 300 a) n (B C) = y + w b) n (A C) = w
n (B C) =? n (B C) = 200 + 100 n (A C) = 100
n (A C)=?
n [A (B U C)]=? n (B C) = 300 n (A C) = 100
c) n [A (B U C)] = n (A U B U C) y z w
n [A (B U C)] = 2000 200 300 100
n [A (B U C) =1400
x = 1400
133
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
b) n (I V) + n (I P) + n (P V) = b + d + f
n (I V) + n (I P) + n (P V) = 100 + 200 + 200
b = 100 c = 200
a = 100
e=0
P
d = 200 f = 200
g = 200
P
n (I V) + n (I P) + n (P V) = 500
134
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
91.- En una encuesta a 2000 estudiantes que aspiran a estudiar una carrera de la
facultad de ciencias exactas y tecnologa, se les consulto sobre sus preferencias entre
las carreras de Ingeniera Civil, Ingeniera Petrolera e Ingeniera Industrial por lo
cual se obtuvieron los siguientes resultados: 900 aspiran a estudiar Civil, 800 aspiran
estudiar Petrolera y 700 aspiran a estudiar Industrial, se determino tambin que 200
estaban dudando entre Civil y Petrolera, 200 entre Petrolera e Industrial y 100 se
inclinaban por las tres carreras. Se pide entonces determinar de esta encuesta:
a) Cuantos estudiantes aspiran a estudiar solo la carrera de Ingeniera Petrolera?
b) Cuantos estudiantes aspiran a estudiar las carreras de Civil o Industrial pero no
Petrolera?
Solucin
Datos Solucin del Ejercicio Aplicando la Formula General
U = 2000 n (F U P U I) = n (C) + n (P) + n (I) n (C P) n (C I) n (P I) +
n (C P I)
n (C) = 900 2000 = 900 + 800 + 700 200 n (C I) 200 + 100
n (P) = 800 2000 = 2400 300 n (F I)
n (I) = 700 2000 = 2100 n (C I)
n (C P) = 200 n (C I) = 100
n (P I) = 200 Diagrama de Venn
n (C P I) = 100 U = 2000
n [P (C U I)]=? C P
n [(C U I) P]=?
a = 700 b = 100 c = 500
e = 100
d=0 f = 100
g = 500
I
a) n [P (C U I)] = 500 b)
n [(C U I) P]= 1200
135
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
RELACIONES
136
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
126.- Dado el conjunto A= {1, 2, 3,4} y las relaciones R1 = {(x, y)/ A / x=y} R2 = {(x,
y) A / y=3} y R3 = {(x, y) A / x<y}
Encuentre: R3 (R1 U R2)
Solucin
Calculo de las relaciones por extensin
AxA = {(1,1)(1,2)(1,3)(1,4)(2,1)(2,2)(2,3)(2,4)(3,1)(3,2)(3,3)(3,4)(4,1)(4,2)(4,3)(4,4)}
R1 = {(1,1)(2,2)(3,3)(4,4)}
R2 = {(1,3)(2,3)(3,3)(4,3)}
R3 = {(1,2)(1,3)(1,4)(2,3)(2,4)(3,4)}
Calculo de R3- (R1 U R2)
R1 U R2 = {(1,1)(2,2)(3,3)(4,4)(1,3)(2,3)(4,3)}
R3 (R1 U R2) = {(1,2)(1,4)(2,4)(3,4)}
127.- Dados los conjuntos A = {x N / x<3; B = x N / x es par ^ x<5}; C = {x N / x
es impar ^ x6
Encuentre: (A B) x (C B)
Solucin
Calculo de los conjuntos por extensin
A= 1,2
B = 2,4
C = 1, 3,5
Calculo de (A B) x (C B)
(A B) = 2
(C B) = 1, 3,5
(A B) x (C B) = (2,1) (2,3) (2,5)
128.- Dadas las siguientes relaciones en A, encuentre el Dominio e Imagen en funcin
al conjunto A = 1, 2, 3, 4,5
a) R1 = (x, y) A / x = y }
Solucin
AXA ={(1,1)(1,2)(1,3)(1,4)(1,5)(2,1)(2,2)(2,3)(2,4)(2,5)(3,1)(3,2)(3,3)(3,4)(3,5)(4,1)
(4,2)(4,3)(4,4)(4,5)(5,1)(5,2)(5,3)(5,4)(5,5)}
137
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
138
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Y (-1,3]
b) (-3,1] x {2}
Solucin
X (-3,1]
Y {2}
c) {3} x [-1,3]
Solucin
X {3}
Y [-1,3]
d) R ={(2,y) / y R}
Solucin
X = {2}
Y =]-; [
e) R = {(x, y) R / y = 3x-1}
Solucin
Graficando la funcin
f) R = {(x, y) R / y = x}
Solucin
Graficando la funcin
Y=x
139
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
T= {(2,1)(3,6)(4,3)(8,4)}
Encuentre:
a) R o S
Solucin
R o S = {(3,2) (5,5) (6,4) (8,5)}
b) S o R
Solucin
S o R = {(2,1) (4,4) (5,3)}
c) T o R
Solucin
T o R = {((1,1)(2,6)(3,3)}
d) (R o S) o T
Solucin
Calculo de (R o S)
R o S = {(3,2) (5,5) (6,4) (8,5)}
Calculo de (R o S) o T
(R o S) o T = {(3,4) (4,2)}
e) Ro(S o T)
Solucin
Calculo de S o T
S o T = {(3,3) (4,1)}
Calculo de R o (S o T)
Ro (S o T) = {(3,4) (4,2)}
f) (S o R)-1
Solucin
Calculo de la inversa de la relacin S
S = {(1,3)(4,5)(3,6)(4,8)(8,9)}
Calculo de la inversa de la relacin R
R = {(2,1)(3,2)(4,3)(5,4)(6,5)(7,6)}
Calculo de la inversa de (S o R)
140
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
SoR-1 = {(2,3)(4,6)(5,5)(5,8)}
g) So(T o R)-1
Solucin
Calculo de la inversa de la relacin T
T = {(1,2)(6,3)(3,4)(4,8)}
Calculo de la inversa de la relacin R
R = {(2,1)(3,2)(4,3)(5,4)(6,5)(7,6)}
Calculo de la inversa de la composicin T o R
ToR-1 = {(2,2)(4,4)(5,8)(7,3)}
Calculo de S o (T o R)
S o (T o R)-1 = {(5,4)(7,1)}
h) R-1 o(T-1oS)
Solucin
Calculo de la inversa de la relacin R
R-1 = {(2,1)(3,2)(4,3)(5,4)(6,5)(7,6)}
Calculo de la inversa de la relacin T
T-1 = {(1,2)(6,3)(3,4)(4,8)}
Calculo de T-1oS
T-1oS = {(3,2)(5,8)(6,4)(8,8)}
Calculo de R-1o(T-1oS)
R-1 o (T-1oS) = {(3,1)(6,3)}
131.- Determine si las siguientes relaciones son de equivalencia
a) R ={(x, y) N x N /x-y es par}
Solucin
Verificando si la relacin es de equivalencia
Propiedad reflexiva
x Si x N (x, x) R
Si x N (x-y) R
V V
V Cumple La Propiedad
141
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Propiedad Simtrica
x, y Si (x, y) R (y, x) R
Si (x-y) R (y-x) R
V V
V Cumple la Propiedad Simtrica
Propiedad Transitiva
x, y, z Si (x, y) R (y, z) R (x, z) R
Si (x-y) R (y-z) R (x-z) R
V V V
V V
V Cumple la Propiedad Transitiva
Por lo tanto la Relacin es de equivalencia
b) R = {(x, y) N x N / x=y}
Propiedad Reflexiva
x Si x N (x, x) R
Si x N (x=y) R
V V
V Cumple la Propiedad Reflexiva
Propiedad Simtrica
x, y Si (x, y) R (y, x) R
Si (x=y) R (y=x) R
V V
V Cumple la Propiedad Simtrica
Propiedad Transitiva
x, y, z Si (x, y) R (y, z) R (x, z) R
Si (x=y) R (y=z) R (x=z) R
V V V
V V
142
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
143
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
x Si x A (x, x) R
Si 1 A (1,1) R
V F
F
Por lo tanto R no es reflexiva.
b) R es simtrica
Solucin
R= {(1,2)(1,8)(2,1)(2,4)(4,2)(4,8)(66)(8,1)(8,4)}
x, y Si (x, y) R (y, x) R
Si (1,2) R (2,1) R
V V
V
Por lo tanto R es simtrica
c) R es Transitiva
Solucin
R= {(1,2)(1,8)(2,1)(2,4)(4,2)(4,8)(66)(8,1)(8,4)}
x, y, z Si (x, y) R (y, z) R (x, z) R
Si (1,2) R (2,1) R (1,1) R
V V F
F Por lo tanto R no es transitiva
d) R tiene nueve elementos
R= {(1,2)(1,8)(2,1)(2,4)(4,2)(4,8)(66)(8,1)(8,4)}
R tiene nueve elementos
133.- En Z definimos la relacin T por: (x, y) T x-y es divisible por 5 cuales son
verdaderas?
a) (x, y) T (y, x) T
Solucin
La propiedad se refiere a la simetra por lo tanto es verdadero por que la relacin T es
simtrica
b) (x, y) T x es mltiplo de 5
144
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Solucin
La relacin T estar expresada en forma de extensin por la condicin x-y es divisible por 5
entonces tanto la variable x como y tendrn que ser mltiplos de 5 para que cumplan la
condicin por ende la proposicin es verdadera
c) (2,17) T
Solucin
El par ordenado (2,17) T por que cumple la condicin expuesta por la relacin T de que
x-y sea divisible por 5 por la tanto la proposicin es verdadera
d) (4n,-8n) T
Solucin
El par ordenado (4n,-8n) no pertenece a la relacin T porque no cumple la condicin
expuesta por la relacin de que x-y sea divisible entre 5 por lo tanto la proposicin es falsa
134.- Si A= {(x, y)/(x+3x; y+3y-2) = (-2,2x)} c Z x Z
B= {(x, y)/ y=x X Z}
Encuentre A-B
Solucin
Calculo del conjunto A y B por extensin
x+3x+2 =0 y+3y-4=0 y=x
(x +1) (x +2) (y +4) (y- 1) x= {1, 2 ,3 ,4 ,5 ,6.....+}
x=-1 y=-4 B= {1, 2, 3, 4, 5 ,6.....+}
x=-2 y=1
A= {-4,-2,-1,1}
Calculo de A-B
A-B= {-4,-2,-1}
135.- Dadas las siguientes relaciones en Z:
R1= {(x, y)/ (xy) es par}
R2= {(x, y)/ x+y=x+y}
R3= {(x, y) /x<y}
Cules de las siguientes afirmaciones son verdaderas:
a) R1 y R2 son reflexivas
145
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Solucin
R1 no es reflexiva por que el par (3,3) no pertenece a la relacin por que 3x3=9 y la
respuesta no es par
R2 es reflexiva porque todo par igual perteneciente a los enteros cumple la condicin
Por ende la proposicin del inciso A es Falsa
b) R2 es simtrica
Solucin
R2 es simtrica por que x+y=x+y de aqu se concluye que x=y y x=y por ende la
proposicin del inciso B es verdadera
c) R3 no es simtrica
Solucin
R3 tiene la condicin de que x<y para que sea considerada simtrica debera tambin
cumplirse de que y<x y esto no se cumple por ende la relacin no es simtrica
d) R2 es transitiva
Solucin
R2 es Transitiva por que x+y=x+y de aqu se concluye que x=y=z y x=y=z por ende la
proposicin del inciso B es verdadera
e) R3 es Transitiva
Solucin
La relacin tiene la condicin x<y por lo tanto se cumplir de que y<z y por ende x<z por
lo tanto la proposicin propuesta el inciso E es verdadera
146
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
147
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
148
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
149
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Y= x
0x4
0 x 4
0y2
y [0;2] Cumple la condicin de Existencia
Verificando la condicin de Unicidad
(x, y) f (x, z) f y =z
V x = x (a)
V x=x
V V
V Cumple la condicin de Unicidad
c) y = x-1 RR
Solucin
Verificando la condicin de Existencia
Conjunto de Partida = R
Y = x-1
-<x<+
(-)<x<()
<x<
-1<x-1<-1
<y<
y [0;+[ Por lo tanto Cumple Existencia
Condicin de Unicidad
(x, y) f (x, z) f y =z
V x-1 = x-1
V x = x ()
V x=x
V V
V Cumple la condicin de Unicidad
150
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
d) y = 9-x [0;3][0;3]
Solucin
Verificando la Condicin de Existencia
Conjunto de Partida = [0; 3]
Y = 9-x
0<x<3
0<x<3
0<x<9
0-9<-9+x<9-9
-9<-9+x<0 (-1)
99-x0
99-x0
3y0
y [0:3] Cumple la Condicin de Existencia
Verificando la Condicin de Unicidad
(x, y) f (x, z) f y =z
V 9-x =9-x ()
V 9-x = 9-x
V -x = -x
V x = x
V V
V Cumple la condicin de Unicidad
e) y = 1 R ]0;1]
1+x
Solucin
151
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
-<x<
(-)<x<()
<x<
+1<1+x<+1
<1+x<
1< 1 < 1
1+x
0>y>0
y ]0[ Cumple la Condicin de Existencia
Verificando la Condicin de Unicidad
(x, y) f (x, z) f y =z
V 1 = 1
1+x 1+x
V 1+x = 1+x
V x = x ()
V x =x
V V
V Cumple la condicin de Unicidad
f) y = 1 [0;+[]0;1/2]
3x+2
Solucin
Verificando la Condicin de Existencia
Conjunto de Partida = [0;+[
y= 1
3x+2
0 x <+
3(0) 3x <3(+)
0 3x < +
0+2 3x+2<2+
23x+2<+
1 1 < 1
152
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
2 3x+2 +
1 y < 0
2
y ]0;1/2] Por lo tanto cumple la Condicin de Existencia
Verificando la condicin de Unicidad
(x, y) f (x, z) f y =z
V 1 = 1
3x+2 3x+2
V 3x+2 = 3x+2
V 3x = 3x
V x =x
V V
V Cumple la condicin de Unicidad
g) y = 1 [0;+[]0;1/2]
x+2
Verificando la Condicin de Existencia
Conjunto de Partida = [0;+[
Y= 1
X+2
0 x <+
0+2x+2<2+
2x+2<+
1 1 < 1
2 x+2 +
1y<0
2
y ]0;1/2] Por lo tanto Cumple la Condicin de Existencia
Verificando la Condicin de Unicidad
(x, y) f (x, z) f y =z
V 1 = 1
x+2 x+2
V x+2 = x+2
153
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
V x=x
V V
V Cumple la condicin de Unicidad
h) y = x+1 RR
Solucin
Verificando la Condicin de Existencia
Conjunto de Partida = R
Y = x+1
-<x<+
(-)<x<(+)
-<x<+
-+1<x+1<++1
-<y<
y R Cumple la Condicin de Existencia
154
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
155
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
156
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
157
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
V x+1 = x+1
V x=x
V V
V Cumple la condicin de Unicidad
) y = x-x RR
Solucin
Verificando la condicin de Existencia
Conjunto de Partida = R
Y = x-x
Como existen dos variables X se procede a calcular el Dominio de imagen de la funcin
para ver si coincide con el conjunto de llegada
DI(x) = R
Por lo tanto cumple la condicin de Existencia
Verificando la Condicin de Unicidad
(x, y) f (x, z) f y =z
V x-x = x-x
V x = x
V x=x
V V
V Cumple la condicin de Unicidad
o) y = 4x RR
Solucin
Verificando la Condicin de Existencia
Conjunto de Partida = R
Y = 4x
-<x<+
4(-)<4x<4(+)
-<y<+
y R Por lo tanto cumple la Condicin de Existencia
Verificando la Condicin de Unicidad
158
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
(x, y) f (x, z) f y =z
V 4x = 4x
V x= x
V V
V Cumple la condicin de Unicidad
p) y = x-1 [1;+[R
Solucin
Verificando la Condicin de Existencia
Conjunto de Partida = [1;+[
Y = x-1
1 x <+
1-1 x-1<+-1
0 x-1<+
0 x-1<+
0 y <+
y [0;+[ Por lo tanto Cumple la Condicin de Existencia
Verificando la Condicin de Unicidad
(x, y) f (x, z) f y =z
V x-1 = x-1
V x-1 = x-1
V x=x
V V
V Cumple la condicin de Unicidad
q) y = 16-x [0; 4][-4; 4]
Solucin
Verificando la Condicin de Existencia
Conjunto de Partida = [0; 4]
Y = 16-x
0x4
159
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
0x4
0x16
0-16 -16+x16-16
-16 -16+x0
16 16-x0
1616-x0
4y0
y [0;4] Por lo tanto Cumple la Condicin de Existencia
Verificando la Condicin de Unicidad
(x, y) f (x, z) f y =z
V 16-x = 16-x
V 16-x = 16-x
V x = x
V x =x
V V
V Cumple la condicin de Unicidad
r) y = x R+R+
Solucin
Verificando la Condicin de Existencia
Conjunto de Partida = R+
Y = x
0<x<+
0<x<(+)
0<y<+
y R+ Por lo tanto Cumple la Condicin de Existencia
Verificando la Condicin de Unicidad
(x, y) f (x, z) f y =z
V x = x V V
V x = x V
160
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
RELACIONES
7
6
5
4
B
3
2
1
0
0 1 2 3 4 5 6
A
161
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
GRAFICO DE R
7
6
5
4
B
Serie1
3
2
1
0
0 1 2 3 4 5 6
A
c) Clculo de R-1
R-1 {(2,1) (2,3) (3,3) (4,3) (2,5) (3,5) (4,5) (5,5) (6,5)}
2.- Sean los Conjuntos A = {1, 2, 3, 4,5} y B= {2, 3,6} y R una Relacin de A en B
definida por R = x + y par.
a) Determinar R y R-1 por extensin
b) Representar A x B y R
c) Determinar Dominio e Imagen de R
Solucin
1.- Verificar que los conjuntos estn por extensin
A = {1, 2, 3, 4,5}
B= {2, 3,6}
2.- Calculo del producto Cartesiano
A x B = {(1,2)(1,3)(1,6)(2,2)(2,3)(2,6)(3,2)(3,3)(3,6)(4,2)(4,3)(4,6)(5,2)(5,3)(5,6)}
a) Calculo de la Relacin R y su Inversa R-1
R = {(1,3) (2,2) (2,6) (3,3) (4,2) (4,6) (5,3)}
R-1= {(3,1) (2,2) (6,2) (3,3) (2,4) (6,4) (3,5)}
b) Representacin Grafica de R y A x B
162
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
7
6
5
4
B
Serie1
3
2
1
0
0 1 2 3 4 5 6
A
GRAFICO DE LA RELACION
7
6
5
4
B
3 Serie1
2
1
0
0 1 2 3 4 5 6
A
163
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
x4 4x2-x2 + 4= 0
x4 -5x2 + 4 = 0
A = {-2,- 1, 1,2}
2.- Calculo de los productos cartesianos A x B y B x C
A x B = {(-2,2)(-2,3)(-2,4)(-2,5)(-1,2)(-1,3)(-1,4)(-1,5)(1,2)(1,3)(1,4)(1,5)(2,2)(2,3)(2,4)(2,5)}
B x C = {(2,-2)(2,-1)(2,0)(2,1)(2,2)(2,3)(3,-2)(3,-1)(3,0)(3,1)(3,2)(3,3)(4,-2)(4,-1)(4,0)(4,1)(4,2)(4,3)
(5,-2)(5,-1)(5,0)(5,1)(5,2)(5,3)}
a) Calculo de R y S por extensin
R = {(-2,3) (-1,2) (1,4) (2,3)}
S = {(2,-1) (2,1) (3,-2) (3,0) (3,3) (4,-1) (4,2) (5,-2) (5,1)}
b) Calculo de S o R
S o R = {(-1,-1) (-1,1) (-2,-2) (-2,0) (-2,3) (2,-2) (2,0) (2,3)}
c) Calculo del Dominio e Imagen de las relaciones
DR = {-2,-1, 1,2}
IR = {2, 3,4}
DS= {2, 3, 4,5}
IS= {-2,-1, 0, 1, 2,3}
DSoR= {-2,-1,2}
ISoR= {-2,-1, 0, 1,3}
d) Calculo de (S o R)-1 = (S-1 o R-1)
S-1= {(-1,2) (1,2) (-2,3) (0,3) (3,3) (-1,4) (2,4) (-2,5) (1,5)}
R-1= {(3,-2) (2,-1) (4,1) (3,2)}
S-1o R-1= {(3,3) (3,5) (2,2) (2,4) (4,2) (4,5) (3,4)}
Calculo de R-1o S-1 = {(-1,-1) (1,-1) (-2,-2) (-2,2) (0,-2) (0,2) (3,-2) (3,2) (-1,1) (2,1)}
4.- Determinar las propiedades que cumple la relacin R definida en A= {a, b, c, d, e}
a) R= {(a, a)(b, b)(c, c)(d, d)(e, e)}
Propiedad Reflexiva Propiedad Simtrica
x Si x A (x, x) R x, y Si (x, y) R (y, x) R
a A (a, a) R (a, a) R (a, a) R
V V V V
V V
164
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
165
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
sucesin matemtica
Solucin
1 = 1 Verdadero
2 2
2 2
(k+1)(k+2) = (k+1)(k+2)
2 2
166
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
sucesin matemtica
3 = 3 Verdadero
sucesin matemtica
2 = 2 Verdadero
167
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
2 2
3k2+k+2(3k+2) = (k+1)(3k+4)
2 2
3k2+k+6k+4 = (k+1)(3k+4)
2 2
3k2+7k+4 = (k+1)(3k+4)
2 2
(k+1)(3k+4) = (k+1)(3k+4)
2 2
sucesin matemtica
1 = 1 Verdadero
168
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
2 2
2 2
3k2-k+6k+2 = (k+1)(3k+2)
2 2
3k2+5k+2 = (k+1)(3k+2)
2 2
(k+1)(3k+2) = (k+1)(3k+2)
2 2
sucesin matemtica
1 = 1 Verdadero
169
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
2k2-k+4k+1 = (k+1)(2k+1)
2k2+3k+1 = (k+1)(2k+1)
(k+1)(2k+1) = (k+1)(2k+1)
sucesin matemtica
2 6
2 = 6
1 = 1 Verdadero
2 6
2 6
6 2 6
6 6
170
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
(k+1)(k+2)(k+3) = (k+1)(k+2)(k+3)
6 6
sucesin matemtica
1 = 1 Verdadero
6 6
6 6
(k+1){k(2k+1)+6(k+1)} = (k+1)(k+2)(2k+3)
6 6
(k+1){(2k2+k)+(6k+6)} = (k+1)(k+2)(2k+3)
6 6
171
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
(k+1)(2k2+7k+6) = (k+1)(k+2)(2k+3)
6 6
(k+1)(k+2)(2k+3) = (k+1)(k+2)(2k+3)
6 6
sucesin matemtica
1 = 1 Verdadero
4 4
4 4
(k+1)2(k2+4(k+1)) = (k+1)2(k+2)2
4 4
172
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
(k+1)2(k2+4k+4) = (k+1)2(k+2)2
4 4
(k+1)2(k+2)2 = (k+1)2(k+2)2
4 4
sucesin matemtica
30
30
1 = 1 Verdadero
30
30
30 30
30 30
30 30
173
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
30 30
30 30
30 30
(k+1){(6k4+9k3+k2-k)+30(k3+3k2+3k+1) = (k+1)(k+2)(2k+3)(3k2+9k+5)
30 30
(k+1){(6k4+9k3+k2-k+30k3+90k2+90k+30)} = (k+1)(k+2)(2k+3)(3k2+9k+5)
30 30
(k+1)(6k4+39k3+91k2+89k+30) = (k+1)(k+2)(2k+3)(3k2+9k+5)
30 30
(k+1)(k+2)(2k+3)(3k2+9k+5) = (k+1)(k+2)(2k+3)(3k2+9k+5)
30 30
sucesin matemtica
174
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
3 3
3 3
(k+1)(k+2)(k+3) = (k+1)(k+2)(k+3)
3 3
sucesin matemtica
3 = 3 Verdadero
6 6
175
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
6 6
(k+1){k(2k+7)+6(k+3)} = (k+1)(k+2)(2k+9)
6 6
(k+1){(2k2+7k+6k+18)} = (k+1)(k+2)(2k+9)
6 6
(k+1)(2k2+13k+18) = (k+1)(k+2)(2k+9)
6 6
(k+1)(k+2)(2k+9) = (k+1)(k+2)(2k+9)
6 6
sucesin matemtica
10 = 10 Verdadero
176
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
3 3
3 3
(k+5){k(k+4)+3(k+2)} = (k+1)(k+5)(k+6)
3 3
(k+5)(k2+4k+3k+6) = (k+1)(k+5)(k+6)
3 3
(k+5)(k2+7k+6) = (k+1)(k+5)(k+6)
3 3
(k+5)(k+1)(k+6) = (k+1)(k+5)(k+6)
3 3
(k+1)(k+5)(k+6) = (k+1)(k+5)(k+6)
3 3
177
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
PRACTICO N 1
TEMA: LOGICA SIMBOLICA
I.- Determinar el valor de verdad de las siguientes proposiciones sabiendo que el valor
de verdad de las proposiciones p, q y r son respectivamente
v (p) = F, v (q) = V y v (r) = F
1) {[(p v q) (q p)] ~p} ~ p
2) {[(q v ~ p) (p ^ q)] v (p v ~ q)} ^ (p v ~ p v q)
3) {[p v (q p)] v (p q)} (p v ~ q)
4) {[(p ^ q) v (q p)] (p v ~ q)} v (p q)
5) {[q (~ p v ~ q)] (q v p)} p
6) {[(r v p) (p r)] (r v q)} ~ (r p)
7) {[(r v q) r] [(q v ~ r) p]} ~ (~ q p)
8) [(p v q) ~ r] [(r ^ q) p] (p v r v q)
9) [(p v q) v (r ^ ~ r)] ~ [~ (r p) ~ q]
10) ~ {{r v ~ [q (~ p ~ r)]} (p ^ ~ q ^ ~ r)} ~ (q q)
II.- Determinar el valor de verdad de las proposiciones v (p), v (q) y v (r) sabiendo
que:
11) [(p v ~ r) (p ^ q)] v (q v ~ p) = V
12) {[(r v ~ q) (p q)] ~q} r = F
13) {[~ r v (p q)] v (q p)} v (p v q v r) = V
14) {[r (p ~ q)] (p v q)} r = F
15) [(r v q) ~ r] [(p v ~ r) q] = V
16) [(r v q) v (p ^ ~ r)] ~ [~ (r p) ~ q] = F
17) ~ {{r v ~ [q (~ p ~ r)]} (p ^ ~ q ^ ~ r)} = V
18) {[p (~ r v ~ q)] (q v p)} r = F
19) [(r v p) ~ q] [(r ^ q) p] (p v r v q) = V
20) {[(r v q) (q p)] ~p} ~ q = F
III.- Determinar el valor de verdad de las siguientes proposiciones, sabiendo que cada
una de las proposiciones mostradas en la parte inferior estar sujeta a otras
proposiciones cuyo valor de verdad ya es conocido como se muestra a continuacin:
21) (p q) v (~ p v r) v (r p) (p q) = F y (q r) = V
178
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
179
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
180
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
q ~p q
p ~q
63) p
p r q p
q q
~p ~r
~r p
r ~p r p q
64) p
r ~p q
q q p s
p r
r q
r q
181
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
65) q p r
p
p ~q q
p
p q q p ~r
p
66) r ~q
p ~q s
~p
~p
q
q p
67) p q r
p
r p q q
p
~p r
q r
68) ~p r q ~r p
r q r
~q q
r p ~r p p
t ~q ~p
r q ~r
~p
182
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Si se sabe que cada interruptor en las tiendas tiene un costo de 50 bolivianos se pide
determinar:
a) Cual es el costo total de inversin que debe realizar el Ingeniero Civil en la instalacin
elctrica
b) Determinar un circuito elctrico ms simple y equivalente e indicar cul sera el costo de
este nuevo circuito
c) Determine el ahorro econmico que tuviera el Ingeniero Civil si instala el circuito ms
equivalente en su hogar
72) Determinar el valor de la proposicin x para que el circuito equivalente del circuito
que se muestra en la parte inferior resulte ser paralelo
p x p
x ~p x
p ~x
73) Determinar el valor de la proposicin x de tal forma que el circuito ms equivalente y
sencillo del circuito mostrado en la parte inferior resulte ser: p v q
~x q x
p
p ~p q
~q
p q q p ~x
p
X.- Determinar mediante inferencia lgica la validez de los siguientes razonamientos
aplicando los mtodos Directo e Indirecto respectivamente
74) Demostrar: q
1) p q
2) ~ p r
3) ~ r
75) Demostrar: ~ r
1) ~ p v ~ q
2) p
3) r q
76) Demostrar: p
183
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
1) p v ~ q
2) r ~ q
3) p v ~ r
77) Demostrar: t
1) ~ p q
2) ~ r ~ q
3) ~ (p ^ ~ t)
4) ~ r
78) Demostrar: u ^ ~ v
1) v ~ p
2) p ^ ~ t
3) s r
4) q u
5) s v (q ^ r)
79) Demostrar: g ^ f
1) c b
2) ~ d (e ^ f)
3) a ^ ~ b
4) (a ^ e) g
5) c v ~ d
80) Demostrar: r v s
1) p ~ c
2) a ^ ~ b
3) (~ p v q) (r ^ t)
4) b v d
5) a (c v ~d)
184
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
81) Demostrar: r v s
1) p ~ a
2) ~ q b
3) ~ p r
4) a v ~ b
5) q r
82) Demostrar: s v t
1) (p r) (~ a v b)
2) p q
3) b s
4) q r
5) ~ a s
83) Demostrar: ~ p v q
1) (a ^ b) ~ (r ~ s)
2) t ~ s
3) r t
4) p a
5) p b
84) Demostrar: ~ p
1) (p ^ q) r
2) r s
3) q ^ ~ s
85) Demostrar: q ^ ~ r
1) r s
2) p v q
3) ~ (~ p s)
4) ~ p q
185
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
86) Demostrar: ~ q
1) p ~ q
2) (p ^ r) v s
3) s (t v u)
4) ~ t ^ ~ u
87) Demostrar: x 3 v y 1
1) x = 3 y 3
2) x = y ^ x y
3) x 5 v y < 3
4) x = y (x = y + 2 v x < 5)
5) x = y + 2 x < y
88) Demostrar: x = 5 v z > 5
1) x 7 z x
2) x < 6 v x = 3
3) x = 3 z > x
4) x < 6 z > x
5) x = 5 v x 7
89) Demostrar: x 0
1) x = y x = z
2) x = z x = 1
3) x = 0 x 1
4) x = y
90) Demostrar: a = 0
1) a 0 b = 1
2) a = b b = c
3) b = c b 1
4) (a = b) ^ (a < d)
186
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
91) Demostrar: r = 8
1) r = 10 v r < s
2) (r > 5 v t < 2) (t < r v s = 0)
3) r < s t < 2
4) s = 0 ~ (r > s v t < 2)
5) r = 10 r > 5
6) t < r r = 8
92) Demostrar: x = 3 v y < 2
1) x = y v x < y
2) (x < 3 ^ y= x + 1) y 8
3) x = 3 v y = 8
4) x y ^ y = x + 1
5) x 3 x y
93) Demostrar: y 2 ^ y > 2
1) y 2 x 2
2) x 5 v y 2
3) x = y + 3 ^ y < 4
4) (y > 2 ^ y < 4) x > 5
5) x y + 3 v x > 2
94) Demostrar: x < 6 v z > 6
1) (x < 7 ^ x = 5) (z > x v y < z)
2) (x < 6) (x = 5 ^ x < 7)
3) (x > y) ~ (y < z v z > x)
4) (x > 4) (x = 5 ^ x < 7)
5) (x > y) (x > 4)
6) (x > y) v (x < 6)
95) Demostrar: ~ (x < y ^ x = 1)
1) (x = y y = 0) x = 0
2) (x = 0 v xy = 0) y = 0
3) x = y x y
4) y = 0 x y
187
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
188
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
101) Demostrar: r ~ j
1) r m
2) j ~ n
3) l q
4) l v (m n)
5) ~ (q v t)
102) Demostrar: p q
1) (a ^ b) ~ (r ~ s)
2) t s
3) r ~ t
4) p a
5) p b
103) Demostrar: m = m ^n
1) m = mn =
2) m + n 7 m
3) n = v m = ~ (m + n = 7 ^ mn = )
104) Demostrar: b c a 5
1) a = b a < c
2) a = 5 ~ (a < c)
3) a = 3 a < c
4) ~ (a < b) a = b
5) a = 3 v ~ (a < b)
XII.- Dar una demostracin formal y completa mediante la inferencia lgica para
demostrar la validez de los siguientes razonamientos
105) Evo acepta las autonomas departamentales o habr guerra civil.
Los bolivianos se enfrentaran si hay guerra civil.
Si los bolivianos se enfrentaran entonces Evo no acepta las autonomas departamentales.
No habr guerra civil.
Por tanto: si hay guerra civil, se derrama sangre inocente
189
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
190
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
191
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
192
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
193
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
127) Si el examen es vlido entonces el alumno Jose tendr que repetir la materia o estar
obligado a abandonar la universidad.
Si el alumno Jose tiene que repetir la materia entonces el examen no es vlido.
Si la calificacin del profesor es dudosa entonces el alumno Jose no estar obligado a
abandonar la universidad.
Por lo tanto: si el examen es vlido entonces la calificacin del profesor no es dudosa
XIII.- Expresar las siguientes proposiciones en forma simblica, negarlas y
traducirlas al lenguaje comn:
128) El cuadrado de todo nmero entero negativo es siempre positivo
129) Si todos los trabajadores son excluidos del proceso de cambio entonces ningn
empresario saldr beneficiado o algn poltico tendr grandes ganancias
130) Todo el que estudia algn da tendr su profesin y la satisfaccin de tener felicidad
131) Todos los nios en algn momento de su vida suean con ir al circo
132) Todos los docentes de la universidad en algn tiempo libre dedican horas de
enseanza a algunos estudiantes con el fin de mejorar la calidad de aprendizaje
133) Todos los nmeros enteros no son primos pero algn numero entero es par, si y solo si
algn numero entero es primo
134) Algunos estudiantes son consientes de estudiar y todos los dems se dedican a copiar
135) Todos los estudiantes deseamos salir profesionales y trabajar en alguna empresa
importante
136) Todo aquel que estudia algn da ser ejemplo de valor, capacidad y responsabilidad
137) Todas las personas que fuman alguna vez tomaron caf y por lo tanto todas tiene un
vicio
194
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
195
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
196
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
197
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
MAT 100
PRACTICO N2
TEMA: TEORIA DE CONJUNTOS
I.- Realizar las siguientes Operaciones Conjuntistas con sus respectivos diagramas de
venn
1.- Dados los siguientes conjuntos expresados por comprensin
U=AUBUC
A = {x N/ |x - 1| 5} B = {x N/ |x - 3| < 6} C = {x N/ |x - 6| 12}
Determinar y realizar su respectivo diagrama de Venn de las siguientes operaciones
conjuntista
a) [A (B C)] (AC C)
b) {(A B)C (C A)} U B
c) [(C B)C (A C)]C B
2.- Dados los siguientes conjuntos expresados por comprensin
U=AUBUC
A = {x Z/ x2- 5x + 6 0} B = {x N/ |x - 1| < 9} C = {x N/ |x - 2| 4}
Determinar y realizar su respectivo diagrama de Venn de las siguientes operaciones
conjuntista
a) {[C (B C)]C (AC B)} (B C)
b) {(A B)C (C A)} (B A)
c) (A BC) U [C (B A)] U (A B C)
3.- Dados los siguientes conjuntos expresados por comprensin
U=AUBUC
A = {x Z/ } B = {x Z/ (x 2) (x 3) (x + 1) 0} C = {x N/ |x - 4|
198
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
199
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
200
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
201
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
56) (A B) (B C) = (A C) B
57) [A (A B)] B =
58) {[A (B U A)] [C (B U C)]} U (A C) = A C
202
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
74) U = R A = {x R/ } B = {x R/ |x 2| 5 C = {x R/ x2 + x 6 0}
a) [(A B) B] (C A)C
203
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
78) U = R A = {x R/ } B = {x R/ |x 4| 5}
204
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
tercer pregunta, con esta informacin se desea determinar Cuntos estudiantes fueron
capaces de responder las tres preguntas del concurso?
84) De un grupo de 70 estudiantes postulantes a la universidad se determino que: 22
aprobaron para estudiar alguna carrera de ciencias exactas y tecnologa, 30 aprobaron para
estudiar alguna carrera de ciencias financieras, 34 aprobaron para estudiar alguna carrera de
ciencias jurdicas, tambin se determino que 3 estudiantes aprobaron para estudiar alguna
carrera de ciencias exactas y ciencias financieras pero no de ciencias jurdicas, 4 estudiantes
aprobaron para estudiar alguna carrera de ciencias exactas y ciencias jurdicas pero no de
ciencias financieras, si 5 estudiantes tienen la condicin de estudiar alguna carrera de las
tres facultades, se pide determinar:
a) Cuntos estudiantes pueden estudiar solo alguna carrera de Ciencias Exactas?
b) Cuntos estudiantes no pueden estudiar ninguna de estas carreras?
c) Cuntos estudiantes pueden estudiar en dos de estas facultades?
85) En una encuesta acerca de la asistencia a clases en las materias de algebra, calculo y
qumica de la universidad Autnoma Gabriel Ren Moreno, se obtuvieron los siguientes
resultados: 60% asisten a las clases de algebra, 50% asisten a las clases de clculo, 50%
asisten a las clases de qumica, 30% asisten a las clases de algebra y calculo, 20% asiste a
las clases de clculo y qumica, 30% asiste a las clases de algebra y qumica y 10% asisten
a las clases de las 3 materias, con esta informacin se pide determinar:
a) Qu porcentaje de estudiantes asiste a las clases de algebra y calculo pero no a la de
qumica?
b) Qu porcentaje asiste exactamente a dos de estas materias?
c) Qu porcentaje no asiste a ninguna de estas materias?
86) La Universidad Autnoma Gabriel Ren Moreno est organizando las Olimpiadas de
Matematicas en las materias de matemtica, fsica y qumica, hay 870 estudiantes en la
universidad que van a participar de estas olimpiadas de los cuales se sabe que: 400 van a
participar en matematicas, 390 en fsica, 480 en qumica, 680 van a participar en
matematicas o fsica, 210 han sido desclasificados y no podrn participar en ninguna
materia, 90 van a participar en las dos primeras materias pero no en la tercera, 190 solo van
a participar en qumica, con esta informacin se pide determinar:
a) Cuntos estudiantes participaran en las tres materias?
205
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
206
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
207
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
van a inscribir la materia A y C, 40 van a inscribir las tres materias, 56 estudiantes no van a
inscribir la materia B, con esta informacin se pide determinar:
a) Cuntos estudiantes van a inscribir solo la materia B?
b) Cuntos estudiantes van a inscribir la materia A y B?
c) Cuntos estudiantes van a inscribir solo las materias A y C?
95) En la Ciudad Universitaria se realizo una encuesta y se concluyo que de 150
estudiantes, 100 en su tiempo libre leen libros en la biblioteca o estn en el comedor
universitario o jugando cartas, 66 estn jugando cartas, 50 estn en el comedor
universitario, 50 estn leyendo un libro en la biblioteca, 27 estn jugando cartas y estn en
el comedor universitario, 30 estn jugando cartas y estn en la biblioteca, 21 estn en la
biblioteca y estn comiendo algo del comedor universitario, con esta informacin se pide
determinar:
a) Cuntos estudiantes pueden hacer las tres cosas a la vez?
b) Cuntos estudiantes hacen dos de estas actividades?
c) Cuntos estudiantes estn solo jugando cartas?
d) Cuntos no realizan ninguna de estas actividades?
96) Se efectu una entrevista a 885 madres de diversos estudiantes de la Universidad y se
encontr la siguiente informacin acerca del rendimiento de sus hijos en la universidad:
600 madres dijeron que estaban muy satisfechas con el rendimiento de sus hijos, 400
madres dijeron que estaban conforme con los resultados, 620 madres dijeron estar
desilusionadas con el rendimiento de sus hijos, 195 madres a la hora de responder la
consulta dudaron entre estar muy satisfechas y estar conformes, 190 dudaron entre estar
conformes y desilusionadas, 400 dudaron entre estar muy satisfechas y desilusionadas con
sus hijos, con esta informacin proporcionada se pide determinar:
a) Cuntas madres dijeron estar solamente conformes con el rendimiento de sus hijos?
b) Cuntas madres dijeron estar solamente desilusionadas con sus hijos?
97) Se realizo una encuesta a una delegacin deportiva de estudiantes de la Universidad
formada por 250 estudiantes de la facultad de Tecnologa sobre su aficin respecto al
teatro, la danza y el estudio se determino lo siguiente: 125 prefieren el teatro, 180 prefieren
la danza, 65 prefieren el estudio, 100 prefieren el teatro y la danza, 25 teatro y el estudio, 40
208
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
209
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
PRACTICO 1
AYUDANTIA DE MAT 100
1. - Sea la Relacin
R = {(x, y) / Y = x + 1 con x R ^ y R}
Analice si R es funcin y grafquela
2.- Dado el Conjunto A = {0, 1, 2, 3,4} y la relacin
R = {(x, y) / | x 2 | = | y 2 |} c A x A
a) Definir R por extensin
b) Clasificar la Relacin
c) Graficar la Relacin
3.- Sea R: A A una Relacin donde:
R = {(x, y) / | x y | 4} c A x A siendo A = {0, 1, -1, 2, -2}
Analizar si R es de Equivalencia
4.- Sea A = {x, y, z, t}
Hallar una Relacin de R: A A que tenga como mnimo 5 pares ordenados y que sea
Simtrica y Transitiva pero no Reflexiva.
5.- Sean los Conjuntos:
A = {1, 2, 3,4} y B = {3, 4,5}
Se define R = {(x, y) / x + y = 6} c A x B Determinar:
a) R por Extensin
b) Dr; DIr; Grafica
c) R-1 por Extensin
210
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
PRACTICO 2
AYUDANTIA DE MAT 100
211
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
1 1 1 n(n 3)
a) P (n) = + +.................+ =
1* 2 * 3 2 *3* 4 n( n 1)( n 2) 4(n 1)( n 2)
1 1 1 1 n
b) P (n) = + + +.................+ =
2 * 5 5 * 8 8 * 11 (3n 1)(3n 2) ( 6 n 4)
n 2 (n 1) 2
c) P (n) = 13 + 23 + 33 +... + n 3 =
4
d) P (n) = 2 + 6 + 10 + 14 +......................... + (4n -2) = 2n2
n
e) P (n) = a + (a + d) + (a +2d) +.................... + [a + (n-1) d] = [2a+ (n-1) d]
2
f) P (n) = 1 + 2 + 4 + 8 + 16 +......................... + 2n-1 = 2n 1
n(n 1)(2n 1)
g) P (n) = 12 + 22 + 32 +.................................+ n2 =
6
1 1 1 1 n
h) P (n) = + + +..+ =
1* 2 2 *3 3* 4 n(n 1) n 1
212
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
PRACTICO 4
AYUDANTIA DE MAT 100
x
F(x) =
x2
x3
(g o f) (x) =
x 1
Hallar g (x)
3.- Dada la siguiente relacin:
2
R= {(x y) / y = ^ x ] - 0] ^ y [- 2 0 [}
1 x2
Demostrar analticamente que es una funcin y sus propiedades
4.- Sean las funciones g(x) y f(x); ambas biyectivas, si:
x2 x3
f(x) = y (g o f) (x) = hallar g(x)
x 1 x2
5.- Sea:
1
R = {(x y) / y = con x [1 [; y ] 01/3]
2x 1
213
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
PRACTICO 5
AYUDANTIA DE MAT 100
Determine analticamente cuales de las siguientes relaciones son funciones y las que
sean funciones determinar si son biyectivas
1.- y = x R R+
3.- y = 9 x2 [0;3][0;3]
1
4.- y = R ]0;1]
1 x2
1
5.- y = [0;+[]0;1/2]
3x 2
6.- y = x [0;2][0;2]
7.- x + y = 1 [0;1][-1;1]
214
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
215
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
216
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
217
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
218