Lógica Simbólica: Proposiciones y Conectivos
Lógica Simbólica: Proposiciones y Conectivos
LOGICA SIMBÓLICA
INTRODUCCIÓN A LAS PROPOSICIONES
1.- Concepto de Proposiciones.- Las proposiciones son el lenguaje formal de la lógica
simbólica por el cual están regidas todas las leyes de esta matemática que utiliza la
simbología como su principal fuente de estudio.
En si las proposiciones son oraciones literarias o matemáticas en la cual tiene sentido
establecer un valor de verdad o falsedad. Es decir una proposición puede ser verdadera o
falsa y no ambas a la vez y por lo tanto una oración que no tenga sentido o carezca de valor
no será considerada proposición
2.- Clasificación 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 también son llamadas simples porque carecen de conectivos lógicos.
Para mejor comprensión son oraciones formadas por una sola oración 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 lógicos y están formadas por más de una
oración es decir pueden estar formadas por infinitas oraciones.
3.- Oraciones que no son consideradas Proposiciones
Las siguientes Oraciones nunca serán 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.- ¿Cómo te llamas? No tiene sentido afirmar si es verdadero o falso
2.- ¿A dónde Vas? No tiene sentido afirmar si es verdadero o falso
1
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
3.- ¿Quien sos? No tiene sentido afirmar si es verdadero o falso
4.- ¿Que te gusta tomar? No tiene sentido afirmar si es verdadero o falso
5.- ¿Cuantos años tenes? No tiene sentido afirmar si es verdadero o falso
Por lo tanto llegamos a la conclusión de que cualquier oración interrogativa no puede
ser considerada una proposición
b) Oraciones de Admiración (¡!)
Estas oraciones de “Admiración” tampoco son consideradas proposiciones ya que este
tipo de oración indica algo admirable y por ende no tiene sentido afirmar si dicha
oración es verdadera o falsa. Al tener esta características no podrán ser consideradas
proposiciones
Ejemplos:
1.- ¡Viva Bolivia! No tiene sentido afirmar si es verdadero o falso
2.- ¡Viva Santa Cruz! No tiene sentido afirmar si es verdadero o falso
3.- ¡es Linda mi tierra! No tiene sentido afirmar si es verdadero o falso
4.- ¡Viva Oriente Petrolero! No tiene sentido afirmar si es verdadero o falso
c) Oraciones de Deseo
Estas oraciones de “Deseo” también no son consideradas proposiciones ya que cuando
uno expresa un deseo este deseo puede ser falso y verdadero al mismo tiempo. Al tener
esta característica no pueden ser consideradas proposiciones
Ejemplos:
1.- Deseo helados
2.- Quiero ir a la plaza
3.- Quiero que gane oriente petrolero
4.- Quiero darte un beso
d) Oraciones de Orden
Es otro tipo de oraciones las cuales entran en el grupo de las no pertenecientes a las
proposiciones ya que una oración literal de orden no tendrá sentido afirmar si es
verdadera o falsa por el mismo hecho de que se trata de una oración de orden al tener
esta característica no será considerada Proposición.
Ejemplos:
1.- Tráeme una silla
2
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
2.- Búscame un lápiz
3.- Traigan todos los documentos
4.- Acomoden en aula
a) Conjunción (^)
El símbolo utilizado para la conjunción en la lógica simbólica es una V pero en forma
volcada (^) este tipo de conectivo tendrá un significado propio dentro de las oraciones.
La conjunción reemplazara la consonante y en las proposiciones y por lo tanto se llega a
la conclusión de que el valor de (^) = y se leerá tal como la consonante.
b) Disyunción (v)
La disyunción es otro símbolo matemático perteneciente a los conectivos lógicos cuya
representación es una (V) normal. También este conectivo tendrá su significado propio
en las oraciones. La disyunción reemplazara la Vocal O en las proposiciones y por ende
se llega a la conclusión de que el valor de (v) = O y se leerá tal como la vocal
c) Implicación (→)
La implicación es uno de los conectivos más importantes ya que tiene más valor que la
conjunción y la disyunción su simbología matemática es una flecha (→) es un
conectivo que tiene varios significados y por ende habrá que prestarle un poco mas de
atención. Reemplazara las palabras Entonces, Luego, Por ende. Por tanto Etc.
En las proposiciones y por ende se llega a la conclusión de que el símbolo (→) 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 Implicación (↔)
La Doble Implicación es un conectivo más fuerte que la implicación y por ende más
fuerte que la disyunción y conjunción su símbolo matemático 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
PROBLEMAS QUE INVOLUCRAN RESOLUCIONES CON PROPOSICIONES
5
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Es una Proposición porque es una declaración declarativa y por lo tanto se puede
decir si es verdadera o falsa
5.- newton fue un famoso químico
Solución
1er paso.- Verificando que tipo de oración es
Es una declaración Declarativa
2do Paso.- Determinar si es Proposición
Es una Proposición porque es una declaración declarativa y por lo tanto se puede
decir si es verdadera o falsa
6.- La carrera de Ingeniería Petrolera pertenece a la facultad de Ciencias
Económicas
Solución
1er paso.- Verificando que tipo de oración es
Es una declaración Declarativa
2do Paso.- Determinar si es Proposición
Es una Proposición porque es una declaración declarativa y por lo tanto se puede
decir si es verdadera o falsa
7.- La materia de algebra I es una materia muy difícil
Solución
1er paso.- Verificando que tipo de oración es
Es una declaración Declarativa
2do Paso.- Determinar si es Proposición
Es una Proposición porque es una declaración declarativa y por lo tanto se puede
decir si es verdadera o falsa
8.- las vocales son diez
Solución
1er paso.- Verificando que tipo de oración es
Es una declaración Declarativa
2do Paso.- Determinar si es Proposición
Es una Proposición porque es una declaración declarativa y por lo tanto se puede
decir si es verdadera o falsa
6
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
9.- El tema de Derivadas pertenece a la materia de Ecuaciones Diferenciales
Solución
1er paso.- Verificando que tipo de oración es
Es una declaración Declarativa
2do Paso.- Determinar si es Proposición
Es una Proposición porque es una declaración declarativa y por lo tanto se puede
decir si es verdadera o falsa
10.- En el curso existen más de 100 Alumnos
Solución
1er paso.- Verificando que tipo de oración es
Es una declaración Declarativa
2do Paso.- Determinar si es Proposición
Es una Proposición porque es una declaración declarativa y por lo tanto se puede
decir si es verdadera o falsa
11.- 3+3
Solución
1er Paso.- Verificando que tipo de oración es
Es una expresión Matemática sin sentido
2do Paso.- Determinar si es Proposición
No es una proposición porque carece de igualdad por lo tanto no se puede decir si
es verdadera o falsa.
12.- Quiero ir a la Plaza
Solución
1er Paso.- Verificando que tipo de oración es
Es una oración de deseo
2do Paso.- Determinar si es Proposición
No es una proposición porque es una oración de Deseo y por lo tanto no tiene
sentido afirmar si es verdadera o falsa
13.- Quiero Jugar Cartas
Solución
1er Paso.- Verificando que tipo de oración es
7
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Es una oración de deseo
2do Paso.- Determinar si es Proposición
No es una proposición porque es una oración de Deseo y por lo tanto no tiene
sentido afirmar si es verdadera o falsa
14.- Tráeme dos asientos del otro curso por favor
Solución
1er Paso.- Verificando que tipo de Oración es
Es una oración de Orden
2do Paso.- Determinar si es Proposición
No es una Proposición porque es una oración de orden y por lo tanto no tiene
sentido afirmar si es verdadera o falsa
15.- Ayúdame a terminar mi tarea
Solución
1er Paso.- Verificando que tipo de Oración es
Es una oración de Orden
2do Paso.- Determinar si es Proposición
No es una Proposición porque es una oración de orden y por lo tanto no tiene
sentido afirmar si es verdadera o falsa
16.- ¡Viva Oriente Petrolero!
Solución
1er Paso.- Verificando que tipo de Oración es
Es una oración de Admiración
2do Paso.- Determinar si es Proposición
No es una Proposición porque es una oración de Admiración y por lo tanto no
tiene sentido afirmar si es verdadera o falsa.
17.- ¡Viva Santa Cruz!
Solución
1er Paso.- Verificando que tipo de Oración es
Es una oración de Admiración
2do Paso.- Determinar si es Proposición
8
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
No es una Proposición porque es una oración de Admiración y por lo tanto no
tiene sentido afirmar si es verdadera o falsa
18.- ¿Cómo es tu Nombre?
Solución
1er Paso.- Verificando que tipo de Oración es
Es una oración de Interrogación
2do Paso.- Determinar si es Proposición
No es una Proposición porque es una oración de Interrogación y por lo tanto no
tiene sentido afirmar si es verdadera o falsa
19.- ¿Cuántos años tienes?
Solución
1er Paso.- Verificando que tipo de Oración es
Es una oración de Interrogación
2do Paso.- Determinar si es Proposición
No es una Proposición porque es una oración de Interrogación y por lo tanto no
tiene sentido afirmar si es verdadera o falsa
20.- ¿Cuál es tu materia Favorita?
Solución
1er Paso.- Verificando que tipo de Oración es
Es una oración de Interrogación
2do Paso.- Determinar si es Proposición
No es una Proposición porque es una oración de Interrogación y por lo tanto no
tiene sentido afirmar si es verdadera o falsa
9
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
b) PROBLEMA TIPO II (Dadas las proposiciones determinar su expresión
simbólica)
- Para solucionar estos problemas se siguen los siguientes pasos
1.- Se lee el pensamiento para determinar cuántas oraciones tiene el mismo
2.- El numero de oraciones estará en función a los conectivos lógicos que se
encuentren en el pensamiento es decir (y) (o) (entonces) (si y solo si) (si P o Q pero
no ambas) (Palabras claves)
3.- Una vez determinado el número de oraciones existentes en el pensamiento se
procede a nombrar a cada una asignándole un valor a cada una generalmente una
letra del alfabeto a partir de la letra P.
4.- Si hubiera oraciones negadas estas deben nombrarse en forma positiva y
cuando se tengan que simbolizar se las coloca en forma negativa.
5.- Se procede a escribir el pensamiento en su correspondiente simbología
matemática reemplazando las palabras claves por sus respectivos conectivos
NOTA: EN LOS EJERCICIOS A CONTINUACION EL COLOR ROJO
MOSTRARA LOS CONECTIVOS QUE SE ENCUENTRAN EN CADA
ORACION.
21.- No es cierto que no me gusta bailar
* Solución
* Asignando un valor a la Oración
p = Me gusta bailar
* Formalizando la Oración
~~p
22.- Me gusta bailar y leer libros de ciencia ficción
* Solución
* Asignando un valor para cada Oración
p = Me gusta bailar
q = Leer libros de ciencia ficción
* Formalizando la Oración
p^q
10
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
23.- Si los gatos de mi hermana no soltaran tanto pelo Entonces me gustaría
acariciarlos
* Solución
* Asignando un valor para cada Oración
p = Si los gatos de mi hermana soltaran tanto pelo
q = Me gustaría Acariciarlos
* Formalizando la Oración
~p→q
24.- Si y solo si viera un marciano con mis propios ojos, Entonces creería que hay vida
extraterrestre
* Solución
* Asignando un valor para cada Oración
p = Si viera un marciano
q = Con mis propios ojos
r = Creería que hay vida extraterrestre
* Formalizando la Oración
(p ↔ q) → r
25.- Si los elefantes volaran o supieran tocar el acordeón, Entonces pensaría que estoy
como una regadera y dejaría que me internaran en un psiquiátrico.
* Solución
* Asignando un valor para cada Oración
p = Si los elefantes volaran
q = Supieran tocar el acordeón
r = Pensaría que estoy como una regadera
s = Dejaría que me internaran en un Psiquiátrico
* Formalizando la Oración
~ (p ↔ q) → (r ^ s)
26.- Prefiero ir de vacaciones o estar sin hacer nada Si y Solo Si tengo tiempo para
ello, y no tengo que ir a trabajar.
* Solución
* Asignando un valor para cada Oración
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 Oración
[p ν (q ↔ r)] ^ ~ s
27.- Juan es Dentista Si y Solo Si Jorge es Abogado o Antonio es Ingeniero
* Solución
* Asignando un valor para cada Oración
p = Juan es Dentista
q = Jorge Es Abogado
r = Antonio es Ingeniero
* Formalizando la Oración
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
* Solución
* Asignando un valor para cada Oración
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 Oración
{(p ↔ q) → [(r v s) ^ t] → u}
29.- Si los humanos fuéramos conscientes Entonces no se depredaría a los animales y a
la ecología Por lo tanto el mundo fuera más feliz
* Solución
* Asignando un valor para cada Oración
12
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
p = Si los humanos fuéramos conscientes
q = Se depredaría a los animales
r = A la ecología
s = El mundo fuera mas feliz
* Formalizando la Oración
[p → (~ q ^ r)] → s
30.- El gordo Alberto vive para comer y no come para vivir
* Solución
* Asignando un valor para cada Oración
p = El gordo Alberto vive para comer
q = Come para Vivir
* Formalizando la Oración
p^~q
31.- La decisión dependerá del juicio o la intuición, y no de quien pago mas
* Solución
* Asignando un valor para cada Oración
p = La decisión dependerá del juicio
q = La intuición
r = De quien pago mas
* Formalizando la Oración
(p ν q) ^ ~ r
32.- Si esta planta no crece, entonces necesita más agua o necesita mejor abono
* Solución
* Asignando un valor para cada Oración
p = Si esta Planta Crece
q = Necesita más agua
r = Necesita mejor abono
* Formalizando la Oración
~ p → (q ν r)
33.- El juez lo sentencia a Octavio Si y Solo Si el fiscal puede probar su culpabilidad o
el testigo no dice la verdad
13
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
* Solución
* Asignando un valor para cada Oración
p = El juez lo sentencia a Octavio
q = El fiscal puede probar su culpabilidad
r = El testigo dice la verdad
* Formalizando la Oración
p ↔ (q ν ~ r)
34.- Si una sustancia orgánica se descompone entonces sus componentes se
transforman en abono y fertilizan al suelo
* Solución
* Asignando un valor para cada Oración
p = Si una sustancia orgánica se descompone
q = Sus componentes se transforman en abono
r = Fertilizan al suelo
* Formalizando la Oración
p → (q ^ r)
14
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
PROBLEMA TIPO III (Dadas las proposiciones y su simbología correspondiente
determinar su correspondiente en lenguaje común)
1.- Se reemplaza los valores correspondientes asignados a cada proposición donde
corresponda.
2.- Se procede a escribir su equivalencia en lenguaje común
Sean p, q y r los siguientes enunciados:
p = Estudiare Matemáticas
q = Iré a mi clase de Computación
r = Estoy de buen humor
Escriba en lenguaje común las oraciones que correspondan a los siguientes enunciados
35.- ~ p ^ q
* Solución
* Colocando el valor correspondiente a cada proposición
p = Estudiare Matemáticas
q = Iré a mi clase de Computación
* Encontrando su correspondiente en lenguaje común
~ p ^ q = No estudiare matemáticas e iré a mi clase de computación
36.- r → (p ν q)
* Solución
* Colocando el valor correspondiente a cada proposición
p = Estudiare Matemáticas
q = Iré a mi clase de Computación
r = Estoy de buen humor
* Encontrando su correspondiente en lenguaje común
r → (p ν q) = Estoy de buen humor entonces estudiare matemáticas o iré a mi clase de
computación
37.- ~ r → (p ν ~ q)
* Solución
* Colocando el valor correspondiente a cada proposición
p = Estudiare Matemáticas
q = Iré a mi clase de Computación
15
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
r = Estoy de buen humor
* Encontrando su correspondiente en lenguaje común
~ r → (p ν ~ q) = No estoy de buen humor entonces estudiare matemáticas o no iré a
mi clases de computación
38.- (~ p ^ q) ↔ r
* Solución
* Colocando el valor correspondiente a cada proposición
p = Estudiare Matemáticas
q = Iré a mi clase de Computación
r = Estoy de buen humor
* Encontrando su correspondiente en lenguaje común
(~ p ^ q) ↔ r = No estudiare matemáticas e iré a mi clase de computación si y solo si
estoy de buen humor
39.- ~ q ↔ (p → r)
* Solución
* Colocando el valor correspondiente a cada proposición
p = Estudiare Matemáticas
q = Iré a mi clase de Computación
r = Estoy de buen humor
* Encontrando su correspondiente en lenguaje común
~ q ↔ (p → r) = No iré a mi clase de computación si y solo si estudiare matemáticas
entonces estoy de buen humor
40.- (~ r ↔ q) ν p
* Solución
* Colocando el valor correspondiente a cada proposición
p = Estudiare Matemáticas
q = Iré a mi clase de Computación
r = Estoy de buen humor
* Encontrando su correspondiente en lenguaje común
(~ r ↔ q) ν p = No estoy de buen humor si y solo si iré a mi clase de computación o
estudiare matemáticas
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 pequeña
introducción a los valores de verdad de cada conectivo lógicos 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
4.- BICONDICIONAL O DOBLE IMPLICACION (↔)
P Q p↔q
V V V
V F F
F V F
F F V
La doble implicación tiene dos casos especiales será verdadera cuando el antecedente
p y el consecuente q tomen ambos valores idénticos 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
FORMULARIO PARA FACIL RESOLUCION DE LOS PROBLEMAS
Para evitar de aprenderse todas las combinaciones mostradas en cada una de las
tablas de verdad de los conectivos lógicos se realizara este formulario que permitirá
una fácil solución de los problemas
V^V V
FνF F
V→F F
V↔V V
F↔F V
VνV F
FνF F
Por lo tanto el alumno solo debe aprenderse estas siete combinaciones para poder
dominar y resolver los problemas que se mostraran a continuación
19
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
PROBLEMA TIPO IV (VALORES DE VERDAD CON CONDICIONES)
Sean q y s proposiciones cualesquiera, p y r proposiciones tales que ~ (p ν ~ r) es
verdadera hallar el valor de verdad de las proposiciones siguientes
41.- ~ (p ^ ~ q) → ~ (s ν r)
* Solución
* Encontrando el valor de las proposiciones cualesquiera
Como las variables q y s son proposiciones cuales quiera esto significa entonces de que
nosotros podemos elegir en forma voluntaria el valor que tomara q y s
Por lo tanto elegimos de qué q sea V y s sea F:
q=V
s=F
* Análisis de la condición
El problema tiene una condición la cual es ~ (p ν ~ r) es verdadera significa entonces
de que las variables p y r no pueden ser elegidas por nosotros sus valores saldrán de
resolver la condición expuesta en el ejercicio
Como se resuelve la condición?
Reemplazando un valor a la variable p y a la variable r de tal manera que cuando se
hagan operaciones esta de cómo resultado verdadero aquí entra la aplicación del
formulario expuesto anteriormente.
~ (p ν ~ r) = V Haciendo de que el paréntesis se convierta en falso
~ (F ν ~ V) = V Efectuando la negación que existe dentro del paréntesis
~ (F ν F) = V Efectuando la operación de Disyunción
~F=V Aplicando el concepto de negación
V=V
Por lo tanto para que la conclusión se cumpla Las variables p y r deben tomar los
siguientes valores
p=F
r=V
* Reemplazando para encontrar el valor de verdad correspondiente
Como ya hemos encontrado todos los valores correspondientes a las proposiciones
procedemos a reemplazarlas en la proposición para encontrar su valor de verdad
20
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
~ (p ^ ~ q) → ~ (s ν r)
~ (F ^ ~ V) → ~ (F ν V)
~ (F ^ F) → ~ V
~F→F
V→F
F
Por lo tanto el valor de Verdad de ~ (p ^ ~ q) → ~ (s ν r) = F
42.- [(~ r ^ q) ν ~ p] → ~ [(p ^ s) ν ~ r]
* Solución
Como el problema tiene la misma condición del problema anterior entonces ya
conocemos cuánto valen los valores de verdad de cada proposición
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
V→V
V
Por lo tanto el valor de verdad de [(~ r ^ q) ν ~ p] → ~ [(p ^ s) ν ~ r] = V
43.- [p → (q ^ s)] ν (~ q → r)
* Solución
Como el problema tiene la misma condición del problema anterior entonces ya
conocemos cuánto valen los valores de verdad de cada proposición
p=F
q=V
r=V
s=F
21
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
* Reemplazando para encontrar el valor de verdad
[p → (q ^ s)] ν (~ q → r)
[F → (V ^ F)] ν (~ V → V)
(F → F) ν (F → V)
VνV
F
Por lo tanto al valor de verdad de p → (q ^ s)] ν (~ q → r) = F
44.- [(r ν q) → (p ^ s)] → (~ q ν s)
* Solución
Como el problema tiene la misma condición del problema anterior entonces ya
conocemos cuánto valen los valores de verdad de cada proposición
p=F
q=V
r=V
s=F
* Reemplazando para encontrar el valor de verdad
[(r ν q) → (p ^ s)] → (~ q ν s)
[(V ν V) → (F ^ F)] → (~ V ν F)
(V → F) → (F ν F)
F→V
V
Por lo tanto el valor de verdad de [(r ν q) → (p ^ s)] → (~ q ν s) = V
Sean p y r proposiciones cualesquiera q y s proporciones tales que ~ (~ q ^ s) es falsa
halar el valor de verdad de las proposiciones siguientes
45.- [(p ν ~ q) ^ s] → ~ (~ r ν s)
* Solución
* Encontrando el valor de las proposiciones cualesquiera
Como las variables p y r son proposiciones cuales quiera esto significa entonces de que
nosotros podemos elegir en forma voluntaria el valor que tomara q y s
Por lo tanto elegimos de qué p sea V y r sea V:
22
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
p=V
r=V
* Análisis de la condición
El problema tiene una condición la cual es ~ (~ q ^ s) es falsa significa entonces de que
las variables p y r no pueden ser elegidas por nosotros sus valores saldrán de resolver
la condición expuesta en el ejercicio
¿Cómo se resuelve la condición?
Reemplazando un valor a la variable p y a la variable r de tal manera que cuando se
hagan operaciones esta de cómo resultado verdadero aquí entra la aplicación del
formulario expuesto anteriormente.
~ (~ q ^ s) = F
~ (~ F ^ V) = F
~ (V ^ V) = F
~V=F
F=F
Por lo tanto según la condición la variable q y la variable s deben tomar los siguientes
valores
q=F
s=V
* Reemplazando los valores de cada preposición para encontrar el valor de verdad
[(p ν ~ q) ^ s] → ~ (~ r ν s)
[(V ν ~ F) ^ V] → ~ (~ V ν V)
[(V ν V) ^ V] → ~ (F ν V)
(V ^ V) → ~ V
V→F
F
Por lo tanto el valor de verdad de [(p ν ~ q) ^ s] → ~ (~ r ν s) = F
46.- [(~ p ^ q) → ~ r] ν ~ (p ν s)
* Solución
Como este problema tiene las mismas condiciones que el problema anterior por lo
tanto los valores de cada proposición no varían
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
VνF
V
Por lo tanto el valor de verdad de [(~ p ^ q) → ~ r] ν ~ (p ν s) = V
47.- [(~ p ν s) → (q ^ r)] ↔ (p → ~ q)
* Solución
Como este problema tiene las mismas condiciones que el problema anterior por lo
tanto los valores de cada proposición no varían
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
F↔V
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
48.- [(q → p) ν (~ p ^ r)] ^ [(p → s) ν ~ r]
* Solución
Como este problema tiene las mismas condiciones que el problema anterior por lo
tanto los valores de cada proposición no varían
p=V
r=V
q=F
s=V
* Reemplazando para encontrara el respectivo valor de verdad
[(q → p) ν (~ p ^ r)] ^ [(p → s) ν ~ r]
[(F → V) ν (~ V ^ V)] ^ [(V → V) ν ~ V]
[V ν (F ^ V)] ^ (V ν F)
(V ν F) ^ V
V^V
V
Por lo tanto el valor de verdad de [(q → p) ν (~ p ^ r)] ^ [(p → s) ν ~ r] = V
25
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
PROBLEMA TIPO V (Dado el valor de verdad de la proposición encontrar el valor
de verdad de cada argumento)
Hallar el valor de verdad de las proposiciones p, q, r y s sabiendo que:
49.- (~ p → q) ν ~ (r ^ ~ s) es falsa
* Solución
* Encontrando los valores de cada argumento
p=F
q=F
r=V
s=F
* Reemplazando los valores encontrados en la proposición para verificar los
resultados
(~ p → q) ν ~ (r ^ ~ s) = F
(~ F → F) ν ~ (V ^ ~ F) = F
(V → F) ν ~ (V ^ V) = F
Fν~V=F
FνF=F
F=F
Verdadero por lo tanto los valores encontrados son correctos
50.- ~ (r → ~ p) ^ (~ q ^ s) es verdadero
* Solución
* Encontrando los valores de cada argumento
p=V
q=F
r=V
s=V
* Reemplazando los valores encontrados en la proposición para verificar los
resultados
~ (r → ~ p) ^ (~ q ^ s) = V
~ (V → ~ V) ^ (~ F ^ V) = V
~ (V → F) ^ (V ^ V) = V
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
* Solución
* Encontrando los valores de cada argumento
p=F
q=V
r=F
s=F
* Reemplazando los valores encontrados en la proposición para verificar los
resultados
(~ p ^ q) → (~ r → s) = F
(~ F ^ V) → (~ F → F) = F
(V ^ V) → (V → F) = F
V→F=F
F=F
Verdadero por lo tanto los valores encontrados son correctos
52.- ~(r → ~ p) → (~ q ν s) es falso
* Solución
* Encontrando los valores de cada argumento
p=V
q=V
r=V
s=F
* Reemplazando los valores encontrados en la proposición 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
~F→F=F
V→F=F
F=F
Verdadero por lo tanto los valores encontrados son correctos
53.- ~ (p ν ~ r) ^ ~ (q → ~ s) es verdadero
* Solución
* Encontrando los valores de cada argumento
p=F
q=V
r=V
s=V
* Reemplazando los valores encontrados en la proposición 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
* Solución
* Encontrando los valores de cada argumento
p=F
q=F
r=V
s=F
* Reemplazando los valores encontrados en la proposición 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
PROBLEMA TIPO VI (Dada una proposición y conocidos los argumentos
Encontrar x)
Sabiendo que p = F y que q es una proposición cualquiera determinar el valor de
verdad de la proposición X tal que:
55.- [X → (p ^ q)] → p Sea F
* Solución
* Encontrando el valor de la variable X
X=F
p=F
q=F
* Verificando si el valor asignado a X cumple la condición
[X → (p ^ q)] → p = F
[F → (F ^ F)] → F = F
(F → F) → F = F
V→F=F
F=F
Verdadero por lo tanto el valor encontrado es correcto
56.- [X ν (p ^ ~ q)] ↔ (~ p ν q) Sea V
* Solución
* Encontrando el valor de la variable X
X=V
p=F
q=F
* Verificando si el valor asignado a X cumple la condición
[X ν (p ^ ~ q)] ↔ (~ p ν q) = V
[V ν (F ^ ~ F)] ↔ (~ F ν F) = V
[(V ν (F ^ V)] ↔ (V ν F) = V
(V ν F) ↔ V = V
V↔V=V
V=V
Verdadero por lo tanto el valor encontrado es correcto
30
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
57.- [(p → q) ↔ X] ν ~ (p ^ q) Sea V
* Solución
* Encontrando el valor de la variable X
X=F
p=F
q=F
* Verificando si el valor asignado a X cumple la condición
[(p → q) ↔ X] ν ~ (p ^ q) = V
[(F → F) ↔ F] ν ~ (F ^ F) = V
(V ↔ F) ν ~ F = V
FνV=V
V=V
Verdadero por lo tanto el valor encontrado es correcto
31
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
59.- [(p → ~ q) ^ p] ν (~ p ^ q)
* Solución
* Calculo de las combinaciones
2n = 22 = 4
* Realización de la tabla de verdad
A X Y
P Q ~p ~q p→~q A^p ~p^q XνY
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
60.- [(~ p ν ~ q) ^ (p → ~ q)] ν ~ (~ p ↔ q)
* Solución
* Calculo de las combinaciones
2n = 22 = 4
* Realización de la tabla de verdad
A B X C Y
p Q ~p ~q ~pν~q p→~q A^B ~p↔q ~C XνY
V V F F F F F F V V
V F F V V V V V F V
F V V F V V V V F V
F F V V F V F F V V
Es una TAUTOLOGIA
33
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
A B X C Y
p q ~p ~q q^~p p→A B^~q pνq ~C X↔Y
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]
* Solución
* Calculo de las combinaciones
2n = 23 = 8
* Realización de la tabla de verdad
A B C
~p ~r ~pv~r P Q p^q ~B ~Bv~r A↔C
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)
* Solución
* Calculo de las combinaciones
Tv = 2n = 22 = 4
* Realización 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 A↔B
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
* Solución
* Calculo de las Combinaciones
Tv = 2n = 22 = 4
Realización de la Tabla de verdad
A B
P Q ~p ~q ~p→q A^~q B→p
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)
* Solución
* Calculo de las combinaciones
Tv = 2n = 23 = 8
Realización de la Tabla de Verdad
A B
Q ~p ~q R ~pv~q r↔q 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
67.- [(~ p ↔ q) v (p v q)] ↔ (~ p ^ r)
* Solución
* Calculo de las Combinaciones
Tv = 2n = 23 = 8
Realización de la Tabla de Verdad
A B C D
P Q r ~p ~p↔q pvq AvB ~p^r C↔D
V V V F F V V F F
V V F F F V V F F
V F V F V V V F F
V F F F V V V F F
F V V V V V V V V
F V F V V V V F F
F F V V F F F V F
F F F V F F F F V
Es una CONTINGENCIA
La fórmula que rige las tablas de verdad está en función a la cantidad de letras o variables
que tenga la proposición esta fórmula está representada por la siguiente expresión
matemática:
37
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Realización de la Tabla de verdad
A B C D E F G
P R ~p ~q ~r ~pvr Av~q p^B pv~q ~r^p D^E Fvr CvG
V V F F F V V V V F F V V
V F F F V F F F V V V V V
V V F V F V V V V F F V V
V F F V V F V V V V V V V
F V V F F F F F F F F V V
F F V F V V V F F F F F F
F V V V F F V F V F F V V
F F V V V V V F V F F F F
Es una CONTINGENCIA
38
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Realización de la tabla de verdad
A B C D
P Q r ~p ~q ~r ~p^q Av~r ~pvq r^C B↔D
V V V F F F F F V V F
V V F F F V F V V F F
V F V F V F F F F F V
V F F F V V F V F F F
F V V V F F V V V V V
F V F V F V V V V F F
F F V V V F F F V V F
F F F V V V F V V F F
Es una CONTINGENCIA
Las letras A, B, C etc. que se ven en la parte superior de algunos ejercicios son conocidas
como “Auxiliares o pivotes” ya que permiten resumir la realización de un ejercicio es decir
pueden representar a una formula extensa que exista en la proposición se colocan encima de
la formula a la cual están representando así se sabrá que formula fue designada por una de
estas letras en la proposición evitando una solución larga.
70.- {[(~ r ^ p) v q] ^ ~ q} v (~ q v r)
* Solución
* Calculo de las Combinaciones
Tv = 2n = 23 = 8
Realización de la tabla de verdad
A B C D
p q r ~q ~r ~r^p Avq B^~q ~qvr CvD
39
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
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
[(p → q) ^ (q → p)] ν (p ν q) Definición de Implicación
[(~ p ν q) ^ (~ q ν p)] ν (p ν q) Ley Distributiva
[(~ p ν q) ν (p ν q)] ^ [(~ q ν p) ν (p ν q)] Ley Asociativa
[q ν (~ p ν p)] ^ [p ν (~ q ν q)] Condición de Negación
(q ν V) ^ (p ν V) Condición de Tautología
V
72.- [(~ p ν q) ^ (~ q → p)] ν (p ^ ~ q)
* Solución Justificaciones
[(~ p ν q) ^ (~ q → p)] ν (p ^ ~ q) Definición de Implicación
[(~ p ν q) ^ (~~ q ν p)] ν (p ^ ~ q) Doble Negación
[(~ p ν q) ^ (q ν p)] ν (p ^ ~ q) Ley Distributiva
[q ν (~ p ^ p)] ν (p ^ ~ q) Condición de negación
(q ν F) ν (p ^ ~ q) Elemento Neutro
q ν (p ^ ~ q) Ley Distributiva
(q ν p) ^ (q ν ~ q) Condición de Negación
(q ν p) ^ V Elemento Neutro
(q ν p)
73.- [p → (p ^ r)] ^ [~ p → (p ^ r)]
* Solución Justificaciones
[p → (p ^ r)] ^ [~ p → (p ^ r)] Definición Condicional y Doble Negación
[~ p ν (p ^ r)] ^ [p ν (p ^ r)] Ley Distributiva y Ley de Absorción
[(~ p ν p) ^ (~ p ν r)] ^ p Condición de Negación
[V ^ (~ p ν r)] ^ p Elemento Neutro
(~ p ν r)] ^ p Ley Distributiva
(p ^ ~ p) ν (p ^ r) Condición de Negación
F ν (p ^ r) Elemento Neutro
(p ^ r)
74.- [(q → p) ^ (~ p → q)] → ~ (p ν ~ q)
* Solución Justificaciones
[(q → p) ^ (~ p → q)] → ~ (p ν ~ q) Definición Condicional y Doble Negación
~ [(~ q ν p) ^ (p ν q)] ν ~ (p ν ~ q) Ley de Morgan y Doble Negación
41
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
[(q ^ ~ p) ν (~ p ^ ~ q)] ν (~ p ^ q) Ley Distributiva
[~ p ^ (q ν ~ q)] ν (~ p ^ q) Condición de Negación
(~ p ^ V) ν (~ p ^ q) Elemento Neutro
~ p ν (~ p ^ q) Ley de Absorción
~p
75.- (q → p) → [(p ν q) → (q ^ ~ p)]
* Solución Justificaciones
(q → p) → [(p ν q) → (q ^ ~ p)] Definición Condicional
~ (~ q ν p) ν [ ~ (p ν q) ν (q ^ ~ p)] Ley de Morgan y Doble Negación
(q ^ ~ p) ν [(~ p ^ ~ q) ν (q ^ ~ p)] Ley Distributiva
(q ^ ~ p) ν [~ p ^ (~ q ν q)] Condición de Negación
(q ^ ~ p) ν (~ p ^ V) Elemento Neutro
(q ^ ~ p) ν ~ p Ley de Absorción
~p
76.- (p → q) ^ (p ↔ q)
* Solución Justificaciones
(p → q) ν (p ↔ q) Definición De implicación y Definición Bicondicional
(~ p ν q) ν [(p → q) ^ (q → p)] Definición de Implicación
(~ p ν q) ν [(~ p ν q) ^ (~ q ν p)] Ley de Absorción
(~ p ν q)
77.- (p ↔ q) ν p
* Solución Justificaciones
(p ↔ q) ν p Definición Bicondicional
[(p → q) ^ (q → p)] ν p Definición Condicional
[(~ p ν q) ^ (~ q ν p)] ν p Ley distributiva
[p ν (~ p ν q)] ^ [p ν (~ q ν p)] Ley asociativa
[(p ν ~ p) ν q] ^ [(p ν p) ν ~ q] Condición de Negación y Idempotencia
(V ν q) ^ (p ν ~ q) Condición de Tautológica
V ^ (p ν ~ q) Elemento Neutro
(p ν ~ q)
78.- [p ν (p ^ r)] → [(p → r) ^ ~ r]
42
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
* Solución Justificaciones
[p ν (p ^ r)] → [(p → r) ^ ~ r] Ley de Absorción
p → [(p → r) ^ ~ r] Definición Condicional
~ p ν [(~ p ν r) ^ ~ r] Ley distributiva
~ p ν [(~ r ^ r) ν (~ r ^ ~ p)] Condición de Negación
~ p ν [F ν (~ r ^ ~ p)] Elemento Neutro
~ p ν (~ r ^ ~ p) Ley de Absorción
~p
79.- [(p ↔ q) → p] ν (p ν q)
* Solución Justificaciones
[(p ↔ q) → p] ν (p ν q) Definición Bicondicional
{[(p → q) ^ (q → p)] → p} ν (p ν q) Definición Condicional
{~[(~ p ν q) ^ (~ q ν p)] ν p} ν (p ν q) Ley de Morgan
{[(~~ p ^ ~ q) ν (~~ q ^ ~ p)] ν p} ν (p ν q) Doble Negación
{[(p ^ ~ q) ν (q ^ ~ p)] ν p} ν (p ν q) Ley asociativa
{[p ν (p ^ ~ q)] ν [p ν (q ^ ~ p)]} ν (p ν q) Ley de Absorción y Ley Distributiva
{p ν [(p ν q) ^ (p ν ~ p)]} ν (p ν q) Condición de Negación
{p ν [(p ν q) ^ V] ν (p ν q) Elemento Neutro
[p ν (p ν q)] ν (p ν q) Ley Asociativa
[(p ν p) ν q] ν (p ν q) Idempotencia
(p ν q) ν (p ν q) Idempotencia
(p ν q)
43
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
[(~ q ^ ~ r) ^ F] ν p Condición de Anti tautología
Fνp Elemento Neutro
p
81.- {[(p ^ ~ r) v (r ^ p)] ^ ~ q} v [~ p ^ (~ p v r)]
* Solución Justificaciones
{[(p ^ ~ r) v (r ^ p)] ^ ~ q} v [~ p ^ (~ p v r) Ley Distributiva y Ley de Absorción
{[p ^ (~ r v r)] ^ ~ q} v ~ p Condición de Negación
{[p ^ V] ^ ~ q} v ~ p Elemento Neutro
(p ^ ~ q) v ~ p Ley distributiva
(~ p v p) ^ (~ p v ~ q) Condición de Negación
V ^ (~ p v ~ q) Elemento Neutro
(~ p v ~ q)
82.- {~ t v [S v ~ (t ^ S)]} ^ ~ [~ (t v r) v (~ s v t)]
* Solución Justificaciones
{~ t v [S v ~ (t ^ S)]} ^ ~ [~ (t v r) v (~ s v t)] Ley de Morgan
{~ t v [S v (~ t v ~ S)]} ^ [~~ (t v r) ^ (~~ s ^ ~ t)] Ley Asociativa y Doble Negación
{~ t v [(S v ~ S) v ~ t]} ^ [(t v r) ^ (s ^ ~ t)] Condición de Negación
[~ t v (V v ~ t)] ^ [(t v r) ^ (s ^ ~ t)] Condición de tautología
V ^ [(t v r) ^ (s ^ ~ t)] Elemento Neutro
[(t v r) ^ (s ^ ~ t)] Ley Asociativa
[(t v r) ^ ~ t ^ s] Ley Distributiva
[(~ t ^ t) v (~ t ^ r)] ^ s Condición de Negación
[F v (~ t ^ r)] ^ s Elemento Neutro
(~ t ^ r) ^ s
83.- { p v [ q ^ (~ r v ~ p)]} ^ [(~ p ^ ~ q) v (p v q)]
* Solución 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)] Condición de Negación
{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
44
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
{(p v q) ^ [(p v ~ p) v ~ r] Condición de Negación
{(p v q) ^ (V v ~ r)} Condición de Tautología
(p v q) ^ V Elemento Neutro
(p v q)
84.- ~ [(p ^ r) → q] → ~ (p → q)
* Solución Justificaciones
~ [(p ^ r) → q] → ~ (p → q) Definición Condicional
~~ [~ (p ^ r) v q] v ~ (~ p v q) Doble negación 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) Condición de negación
[(~ 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 Condición de Negación
V v (~ r v q) Condición de Tautología
V
85.- {[p ^ (p → q)] → q}
* Solución Justificaciones
{[p ^ (p → q)] → q} Definición. Condicional
{~ [p ^ (~ p v q)] v q} Ley de Morgan y Doble Negación
{[~ p v (p ^ ~ q)] v q} Ley Distributiva
[(~ p v p) ^ (~ p v ~ q)] v q Condición de Negación
[V ^ (~ p v ~ q)] v q Elemento Neutro
(~ p v ~ q) v q Ley Asociativa
(q v ~ q) v ~ p Condición de Negación
Vv~p Condición de Tautología
V
86.- (~ p → r) ^ [(p ^ ~ r) √ (~ p ^ ~ r) v (~ p ^ r)] ^ (p v ~ r)
* Solución 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
45
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
(p v r) ^ [(p ^ ~ r) v [~ p ^ (~ r v r)]] ^ (p v ~ r) Cond. De Negación
(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 Negación
(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 Negación
(p v r) ^ (~ r v F) Elemento Neutro
(p v r) ^ ~ r Ley Distributiva
(~ r ^ p) v (~ r ^ r) Cond. De Negación
(~ r ^ p) v F Elemento Neutro
~r^p
87. - ~ [p ^ ~ (p ^ ~ q)] → ~ (q v ~p)
* Solución Justificaciones
~ [p ^ ~ (p ^ ~ q)] → ~ (q v ~p) Def. Condicional
~~ [p ^ ~ (p ^ ~ q)] v ~ (q v ~ p) Doble Negación y Ley de Morgan
[p ^ (~ p v q)] v (~ q ^ p) Ley Distributiva
[(p ^ ~ p) v (p ^ q)] v (~ q ^ p) Condición De Negación
[(F v (p ^ q)] v (~ q ^ p) Elemento Neutro
(p ^ q) v (~ q ^ p) Ley Distributiva
p ^ (q v ~ q) Condición de Negación
p^V Elemento Neutro
p
88.- [q ^ (q → ~ p)] → ~ (p ^ q)
* Solución Justificaciones
[q ^ (q → ~ p)] → ~ (p ^ q) Definición Condicional
~ [q ^ (~ q v ~ p)] v ~ (p ^ q) Elemento Neutro y Doble Negación
[~ q v (q ^ p) ] v (~ p v ~ q) Ley Distributiva
[(~ q v q) ^ (~ q v p)] v (~ p v ~ q) Condición de Negación
[V ^ (~ q v p)] v (~ p v ~ q) Elemento Neutro
(~ q v p)] v (~ p v ~ q) Ley asociativa
46
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
(~ p v p) v (~ q v ~ q) Condición de Negación
V v (~ q v ~ q) Condición de Tautológica
V
47
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
~q q
~p q
q ~p
94.- (p ^ q) v (p ^ ~ q) v (~ p ^ ~ q)
* Solución
48
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
p q
p ~q
~p ~q
p ~r
q
q ~p
p q ~q~p
p q ~p
97.- {(p ^ ~ q) v [~ q v (~ p ^ q)]} ^ (p v q)
* Solución
p ~q p
~q q
~p q
98.- {(p ^ q) v [(~ p ^ ~ q) v (q ^ ~ r)]} ^ ~ r
* Solución
p q
~p ~q ~r
q ~r
49
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
p q
~q
q ~r
~q q
~p q
{(p ^ ~ q) ν [~ q ν (~ p ^ q)]} ^ (p ν q)
* Solución
{(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 Absorción
50
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
(~ q ν ~ p) ^ (p ν q)
~q p
~p q
q ~p
51
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
{(p ^ q) v [~ p ^ (~ q v q)]} ^ p Condicion de Negacion
[(p ^ q) v (~ p ^ V)] ^ p Elemento Neutro
[(p ^ q) v ~ p] ^ p Ley de Poretsky
(q v ~ p) ^ p Ley de Poretsky
(p ^ q)
p q
52
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
{[(~ p ^ q) v p v ~ q] ^ {p v [~ q ^ (~ p v ~ r)]}} ^ q Ley de Poretsky
{[(p v q) v ~ q] ^ {p v [~ q ^ (~ p v ~ r)]}} ^ q Ley Asociativa
[p v q v ~ q] ^ {p v [~ q ^ (~ p v ~ r)]}} ^ q Condición de Negación
(p v V) ^ {p v [~ q ^ (~ p v ~ r)]}} ^ q Condición de Tautología
V ^ {p v [~ q ^ (~ p v ~ r)]}} ^ q Elemento Neutro
{p v [~ q ^ (~ p v ~ r)]}} ^ q Distributiva
(p v ~ q) ^ [p v (~ p v ~ r)] ^ q Ley Asociativa
(p v ~ q) ^ [p v ~ p v ~ r] ^ q Condición de Negación
(p v ~ q) ^ (V v ~ r) ^ q Condición de Tautología
(p v ~ q) ^ V ^ q Elemento Neutro
(p v ~ q) ^ q Ley de Poretsky
p^q
p q
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)]}
* Solución
[(~ 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)]} Condición de Negación
(V v p) ^ {p v [q ^ (~ r v ~ p)]} Condición de Tautología
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) Condición de Negación
(p v q) ^ (V v ~ r) Condición de Tautología
(p v q) ^ V Elemento Neutro
(p v q)
p
p q ~q~p
p q ~p
{[(~ p ^ ~ q) v p] v (p ^ q)} ^ [(p v q) v (~ p ^ ~ q)] ^ ~ p
* Solución
{[(~ p ^ ~ q) v p] v (p ^ q)} ^ [(p v q) v (~ p ^ ~ q)] ^ ~ p Ley de Poretsky
54
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
[(~ q v p) v (p ^ q)] ^ [(p v q) v (~ p ^ ~ q)] ^ ~ p Ley Asociativa
[~ q v p v (p ^ q)] ^ [p v q v (~ p ^ ~ q)] ^ ~ p Ley de Absorción
(~ q v p) ^ [p v q v (~ p ^ ~ q)] ^ ~ p Ley de Poretsky
(~ q v p) ^ [p v (q v ~ p)] ^ ~ p Ley Asociativa
(~ q v p) ^ (p v q v ~ p) ^ ~ p Condición de Negación
(~ q v p) ^ (V v q) ^ ~ p Condición de Tautología
(~ q v p) ^ V ^ ~ p Elemento Neutro
(~ q v p) ^ ~ p Ley de Poretsky
(~ q ^ ~ p)
~p ~q
~q q
~p q
{(p ^ ~ q) v [~ q v (~ p ^ q)]} ^ (p v q)
* Solución
{(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
55
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
~p ~q ~r
q ~r
{(p ^ q) v [(~ p ^ ~ q) v (q ^ ~ r)]} ^ ~ r
* Solución
{(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
[(p ^ q) v q v ~ p] ^ ~ r Ley de Absorción
(q v ~ p) ^ ~ r
q
~r
~p
56
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
{[(~ p ^ q) v p v q] ^ [p v [~ q ^ (~ p v ~ r)]]} ^ q Ley de Absorcion
{(p v q) ^ [p v [~ q ^ (~ p v ~ r)]]} ^ q Ley Asociativa
{(p v q) ^ q ^ [p v [~ q ^ (~ p v ~ r)]]} Ley de Absorcion
q ^ [p v [~ q ^ (~ p v ~ r)]] Ley Distributiva
(q ^ p) v {q ^ [~ q ^ (~ p v ~ r)]} Ley Asociativa
(q ^ p) v {q ^ ~ q ^ (~ p v ~ r)} Condicion de Negacion
(q ^ p) v {F ^ (~ p v ~ r)} Condicion de Antitautologia
(q ^ p) v F Elemento Neutro
(q ^ p)
p q
57
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) Simplificación
7.-(q ν r) (2:6) Modus Ponnens
8.-[m ^ (k → ~ s)] (4:7) Modus Ponnens
9.- m (8) Simplificación
10.- (k → ~ s) (8) Simplificación
11.- ~ k ν ~ s (10) Ley Condicional
12.- ~ s (5) Simplificación
13.- ~ k (11:12) Silogismo Disyuntivo
58
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
14.- m ^ ~ k (9:13) Conjunción
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
1. ~ g → ~ q
2. ~ q → H
3. ~ g
4. ~ q (1:3) MP
5. H (2:4) MP
118.- Demostrar: P v Q
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
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
60
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
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
6.- q (1:4) Modus Ponnens
7.- ~ r (2:6) Modus Ponnens
8.- s ^ ~ r (5:7) Conjunción
123.- Demostrar la validez de los siguientes razonamientos
Si la enmienda no fue aprobada entonces la constitución queda como estaba. Si la
constitución queda como estaba, entonces no podemos añadir nuevos miembros al
comité. Podemos añadir nuevos miembros al comité o el informe se retrasara un mes.
Pero el informe no se retrasara un mes. Por tanto la enmienda fue aproada.
* Solución
* Asignándole un valor ara cada Proposición
p = Si la enmienda fue aprobada
q = La constitución queda como estaba
r = Podemos añadir nuevos miembros al comité
s = El informe se retrasara un mes
* Transformando a su expresión lógica
Demostrar: p (Método Directo)
1.- ~ p → q
2.- q → ~ r
3.- r ν s
4.- ~ s
5.- r (3:4) Silogismo Disyuntivo
6.- ~ q (2:5) Modus Tollens
7.- ~~ p (1:6) Modus Tollens
8.- p (7) Doble Negación
124.- Demostrar la validez de los siguientes razonamientos
Si el reloj esta adelantado entonces Juan llego antes de las diez y vio partir el coche de
Andrés. Si Andrés dice la verdad, entonces Juan no vio partir el coche de Andrés.
Andrés dice la verdad o estaba en el edificio en el momento del crimen. El reloj esta
adelantado. Por tanto, Andrés estaba en el edificio en el momento del crimen.
* Solución
* Asignándole un valor a cada Proposición
62
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
p = Si el reloj esta adelantado
q = Juan llego antes de las diez
r = Vio partir el coche de Andrés
s= Andrés dice la verdad
t= Estaba en el edificio en el momento del crimen
Demostrar: t (Método Directo)
1. - p → (q ^ r)
2. - s → ~ r
3. - s ν t
4. - p
5. - (q ^ r) (1:4) Modus Ponnens
6. – r (5) Simplificación
7. - ~s (2:6) Modus Tollens
8.- t (3:7) Silogismo Disyuntivo
125.- Demostrar la validez de los siguientes razonamientos
Si Marcos consigue trabajo entonces comprara un automóvil. Si Marcos compra un
automóvil entonces no conducirá con cuidado. Si Marcos no conduce con cuidado
entonces tendrá un accidente.
Por tanto: Si Marcos consigue trabajo entonces tendrá un accidente
* Solución
* Asignándole un valor a cada Proposición
p = Marcos consigue trabajo
q = Comprara un automóvil
r = Conducirá con cuidado
s = Tendrá un accidente
Demostrar: p → s
1. p → q
2. q → ~ r
3. ~ r → s
4. p (RP)
5. q (1:4) MP
63
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
6. ~ r (2:5) MP
7. s (3:6) MP
8. p → s (4:7) DC
Si el docente empieza a tomar el examen antes de la hora habitual entonces Alejandro llega
Si su compañero dice la verdad entonces Alejandro no vio que le hayan pasado el examen
resuelto. Su compañero dice la verdad o estaba copiando las preguntas del examen. El
Solución
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í
64
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
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.
Solución
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 opción y así entonces estaré con mi mente despejada. Pensando mejor tratare de
descansar para que así tome una mejor decisión. Sé que buscare otra opción o en último
Por lo tanto: Tomare mejor una decisión y en este verano decidiré no viajar
65
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Solución
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 decisión u = Buscare otra opción
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
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
Solución
66
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
s = Un futuro desalentador
t = Nos preocupamos por el medio ambiente
u = La humanidad se destruirá
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
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 decisión. 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 decisión
Solución
67
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
8) ~ r (5; 7) MTP
9) s ^ t (2; 8) MPP
10) u (2) SIMPLIFICACION
11) s (9) SIMPLIFICACION
12) u ^ s (10; 11) CONJUNCION
13) w (4; 12) MPP
familiar y entonces ocasionara que la ciudadanía se pronuncie y salga en marcha a las calles
posible enfrentamiento. El sector transportista se pronuncia entonces querrá decir que habrá
Por lo tanto: La ciudadanía se pronunciara o habrá abusos por parte del transporte
Solución
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
68
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
10) q (8; 9) MTP 15) u v z (14) ADICION
Los asaltantes entraron por la puerta principal y fueron filmados por las cámaras de
seguridad entonces será fácil identificarlos y llevarlos a la cárcel. Si la policía no actúa con
rapidez los asaltantes no irán a la cárcel. Pero será fácil identificarlos entonces la policía 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
Por lo tanto: Los investigadores no analizaran la escena del hecho y atraparan a los
Solución
p = Entraron por la puerta principal q = Fueron filmados por las cámaras de seguridad
r = Sera fácil identificarlos s = Llevarlos a la cárcel
t = La policía actúa 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
69
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
La constitución queda como estaba o habrá que modificar algunas leyes para mejorar este
país. Es suficiente que la constitución quede como estaba para que se produzca un
desacuerdo entre los ciudadanos. Habrá desacuerdo entre los ciudadanos entonces las
autoridades tendrán que tomar alguna decisión. Cuando las autoridades tomen alguna
decisión se tendrá que cambiar algunas leyes para mejorar este país. Las autoridades
necesitan tomar alguna decisión o habrá guerra civil y entonces se podrán lamentar las
primeras víctimas. El oficialismo afirma que si la constitución queda como estaba entonces
Solución
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
70
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
en mi casa entonces no tomare cerveza. Ahora quede indeciso voy a un karaoke o me quedo
Solución
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
vida. La fe se terminara o habrá más esperanza de vida. Habrá grandes cambios en la tierra
Solución
71
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Demostrar: u ^ q
1) p v q
2) (r ^ s) → ~ t
3) u v t
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 Método Directo
1. r → ~ p
2. s → r
3. s
4. r (2;3) MP
5. ~ p (1; 4) MP
137.- Demostrar: ~ p Método Indirecto
1. r → ~ p
2. s → r
3. s
4. ~~ p RP
5. P (4) Doble Negación
6. r (2; 3) MP
7. ~ P (1; 6) MP
8. ~ P ^ P (5; 7) C
9. F (8) Condición de Negación
72
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
138.- Demostrar: p v q Método 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
9. ~ L (4:8) SD
10. M (5:9) SD
11. A (6:10) MP
141.- Demostrar: A Método Indirecto
1. ~ G → E
2. E → K
3. ~ G
4. ~ K v ~ L
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) Condición de Negación
142.- Demostrar: F Método 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 Negación
143.- Demostrar: F Método Indirecto
1. g → h
2. ~ g → ~~ f
3. ~ h ^ q
4. ~ f RP
74
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
5. ~ h (3) S
6. ~ g (1; 5) MT
7. ~~ f (2; 6) MP
8. f (7) Doble Negación
9. f ^ ~ f (4; 8) C
10. F (9) Condición de Negación
75
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
6. R v J (5) A
147.- Demostrar: R v J Método Indirecto
1. p → (s v j)
2. ~ s
3. p
4. ~ (r v j) RP
5. ~ r ^ ~ j (4) LM
6. s v j (1; 3) MP
7. j (2; 6) SD
8. ~ j (5) S
9. j ^ ~ j (7; 8) C
10. F (9) Condición de Negación
148.- Demostrar: p → ~ s Método 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) Demostración Condicional
149.- Demostrar: p → ~ s Método Indirecto
1. p → (q v r)
2. q → ~ p
3. s → ~ r
4. ~ (p → ~ s) RP
5. ~ (~ p v ~ s) (4) Definición Condicional
6. (p ^ s) (5) Ley de Morgan y Doble Negación
7. p (6) S
8. q v r (1;7) MP
76
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
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 Negación
77
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
2. m ^ n
3. ~ t → ~ r
4. ~ r → u
5. ~ r → ~ q
6. f → ~ p
7. u → f
8. ~ [(p ^ q) → (s ^ t)] RP
9. ~ [~ (p ^ q) v (s ^ t)] (8) Definición Condicional
10. [(p ^ q) ^ (~ s v ~ t)] (9) Ley de Morgan y Doble Negación
11. p ^ q (10) S
12. p (11) S
13. ~ f (6; 12) MT
14. ~ u (7; 13) MT
15. r (4;14) MT
16. t (3;15) MT
17. m (2) S
18. ~ r v s (1; 17) MP
19. s (15;18) SD
20. ~ s v ~ t (10) S
21. ~ t (19; 20) SD
22. t ^ ~ t (16; 21) C
23. F (22) Condición de negación
152.- Demostrar: r → ~ s Método Condicional
1. r → (p v q)
2. p → ~ r
3. s → ~ q
4. r RP
5. p v q (1; 4) MP
6. ~ p (2; 4) MT
7. q (5; 6) SD
8. ~ s (3; 7) MT
78
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
9. r → ~ s (4; 8) Demostración Condicional
153.- Demostrar: r → ~ s Método Indirecto
1. r → (p v q)
2. p → ~ r
3. s → ~ q
4. ~ (r → ~ s) RP
5. ~ (~ r v ~ s) (4) Definición Condicional
6. r ^ s (5) Ley de Morgan y Doble Negación
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 Negación
154.- Demostrar: s → (p v q) Método 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) Demostración Condicional
155.- Demostrar: s → (p v q) Método Indirecto
1. s → t
2. r → p
3. t → r
4. ~ [~ s v (p v q)] RP y Definición Condicional
79
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
5. ~~ s ^ (~ p ^ ~ q) (4) Ley de Morgan
6. s ^ (~ p ^ ~ q) (5) Doble Negación
7. s (6) Simplificación
8. t (1; 7) MP
9. r (3; 8) MP
10. p (2; 9) MP
11. (~ p ^ ~ q) (6) Simplificación
12. ~ p (11) Simplificación
13. p ^ ~ p (10; 12) Conjunción
14. F (13) Condición de Negación
156.- Demostrar: (x+3=2) ^ (y+1=3) Método Directo
1. (Y+1=3) ^ (2 + z ≠ 1)
2. (2 + z=1) v (5-y ≠ z)
3. (x+3 ≠2) → (5-y=z)
4. (2 + z ≠ 1) (1) Simplificación
5. (5-y ≠ z) (2; 4) SD
6. (x+3 =2) (3; 5) MT
7. (y+1=3) (1) Simplificación
8. (x+3=2) ^ (y+1=3) (6; 7) Conjunción
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
Si X+2 = X “Despejando X se tiene”
X-X = -2
0 = -2 “De este resultado se saca la conclusión de que el sistema no tiene solución”
Por lo tanto el valor de verdad de (Э x, X+2 = X) = F
- Calculo del valor de verdad de (Vx, X+1>X)
Para que sea considerado verdadero el esquema proposicional debe cumplir la condición
para todo número real
Si X = 1 1+1>1 = 2>1 Verdadero
Si X= -1 -1+1>-1 = 0>-1 Verdadero
Por lo tanto se saca la conclusión de que el valor de verdad de (Vx, X+1>X) = V
- Calculo del valor de verdad de todo el esquema
(Э x, X+2 = X) ν (Vx, X+1>X)
F ν V
V
Por tanto el valor de verdad de (Э x, X+2 = X) ν (Vx, X+1>X) = V
159. Dado A= {0, 1, 2, 3, 4, 5} encuentre el valor de verdad de los siguientes
enunciados y luego niéguelos:
a) (Э x, ε A) (X+3=6) ↔ (V x, ε A) (X+3<6)
* Solución
- Calculo del valor de verdad de (Э x, ε A) (X+3=6)
Para que sea considerado el esquema verdadero debe encontrarse un solo valor que
pertenezca al conjunto A que cumpla la condición X+3 = 6
Si X = 3 (pertenece al conjunto A)
3+3 = 6
6 = 6 Verdadero
Por tanto (Э x, ε A) (X+3=6) = V
- Calculo del valor de verdad de (V x, ε A) (X+3<6)
Para que el esquema sea considerado verdadero todos los valores pertenecientes al conjunto
A al ser reemplazados por X deben dar una respuesta verdadera caso contrario será falso
Si X = 4 (Pertenece al conjunto A)
4+3<6
82
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
7<6 Falso
Por tanto (V x, ε A) (X+3<6) = F
- Calculo del valor de verdad de todo el esquema proposicional
(Э x, ε A) (X+3=6) ↔ (V x, ε A) (X+3<6)
V ↔ F
F
Por tanto el valor de verdad de (Э x, ε A) (X+3=6) ↔ (V x, ε A) (X+3<6) = F
- Calculo de la negación del esquema proposicional
(Э x, ε A) (X+3=6) ↔ (V x, ε A) (X+3<6)
[(Э x, ε A) (X+3=6) → (V x, ε A) (X+3<6)] ^ [(V x, ε A) (X+3<6) → (Э x, ε A) (X+3=6)]
[(Vx, ε A) (X+3≠6) ν (V x, ε A) (X+3<6)] ^ [(Э x, ε A) (X+3≥6) ν (Э x, ε A) (X+3=6)]
~{[(Vx, ε A) (X+3≠6) ν (V x, ε A) (X+3<6)] ^ [(Э x, ε A) (X+3≥6) ν (Э x, ε A) (X+3=6)]}
{[(Э x, ε A) (X +3 = 6) ^ (Э x, ε A) (X+3 ≥6)] ν [(V x, ε A) (X+3<6) ^ (V x, ε A) (X+3≠6)]}
b) (Э x, ε A) (X+3<4) → (V x, ε A) (X+3≤8)
* Solución
* Calculo del valor de verdad del esquema (Э x, ε A) (X+3<4)
Para que el esquema sea considerado Verdadero algún valor perteneciente al conjunto A
deberá cumplir la condición del esquema.
Si X = 0 (perteneciente al conjunto A)
0+3<4 3<4 Verdadero
Por lo tanto el valor de verdad del esquema proposicional (Э x, ε A) (X+3<4) = V
* Calculo del valor de verdad del esquema proposicional (V x, ε A) (X+3≤8)
Para que el esquema proposicional sea considerado verdadero todos los valores
pertenecientes al conjunto A deberán cumplir la condición propuesta por el esquema de lo
contrario un valor que no cumpla entonces este será considerado falso.
Si X = 5
5 +3 ≤ 8
8 ≤ 8 Verdadero
Por lo tanto el valor de verdad del esquema proposicional (V x, ε A) (X+3≤8) = V
* Calculo del valor de verdad de (Э x, ε A) (X+3<4) → (V x, ε A) (X+3≤8)
(Э x, ε A) (X+3<4) → (V x, ε A) (X+3≤8)
V → V
83
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
V
* Calculo de la negación del esquema proposicional
(Э x, ε A) (X+3<4) → (V x, ε A) (X+3≤8)
~ (Э x, ε A) (X+3<4) ν (V x, ε A) (X+3≤8)
(V x, ε A) (X+3≥4) ν (V x, ε A) (X+3≤8)
~ {[(V x, ε A) (X+3≥4) ν (V x, ε A) (X+3≤8)]}
[(Э x, ε A) (X+3<4) ^ (Э x, ε A) (X+3 >8)]}
7 6 C 9
b) B = {2, 4,5} A B
A = {1, 2, 3,4} 1 2
0 4 8
3 84 5
7 6 C 9
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
B U A = {1, 2, 3, 4,5}
c) C= {3, 4, 5,6}
A = {1, 2, 3,4} A 1 2 B
C ∩ A = {3, 4} 4
3 5
0 8
d) C= {3, 4, 5,6}
A = {1, 2, 3,4} 7 A 1 2 6 C B 9
C Δ A = {1, 2, 5,6}
4
B = {2, 4,5} 3 5
0 8
(C Δ A) – B = {1, 6}
7 6 C 9
e) A = {1, 2, 3,4}
B = {2, 4,5} A 1 2 B
A U B = {1, 2, 3, 4,5} 4
3 5
(A U B) = {0, 6, 7, 8,9}
C
0 8
B = {2, 4,5}
C = {3, 4, 5,6} 7 6 C 9
B ∩ C = {4,5}
(A U B) C – (B ∩ C) = {0, 6, 7, 8,9}
2.- Dados los siguientes conjuntos por extensión
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:
85
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
a) (B – A) U C
b) (AC ∩ B) Δ (A – B)
c) [(D – A) U (B – C) C] ∩ D
SOLUCIÓN
a) B = {1, 3, 5, 7} b) A = {0, 1, 2, 3} (AC ∩ B) Δ (A – B) = {0, 2, 5, 7}
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}
(A-B)C = {-2, -1, 0, 1, 2, 3, 6} C = {1, 2, 3, 4}
86
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
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}
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}
87
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
A-B = {3} A Δ B = {-6, 3}
C = {-2, 1, 2} (A Δ B) – B = {3}
(A - B) U C = {-2, 1, 2, 3}
c) (A∩C)c U (B ∩ A)
A = {1, 3}
C = {-2, 1, 2}
(A ∩ C) = {1}
(A∩C) c = {-6, -2, 0, 2, 3, 4}
B = {-6, 1}
A = {1, 3}
B ∩ A = {1}
(A∩C) 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}
* Solución
Calculo de B Cálculo 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}
* Solución
Calculo del universo Cálculo 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}
88
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
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
b) (A – C)c ∆ B
* Solución
a) A = {0, 1, 2, 3, 4, 5}
B = {3, 4, 5, 6, 7, 8, 9}
A – B = {0, 1, 2}
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
* Solución
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}
90
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
91
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
(B U Ø) ∩ (Bc U A) = A ∩ B Identidad
B ∩ (Bc U A) = A ∩ B Distributiva
(B ∩ Bc) U (B ∩ A) = A ∩ B Complementación
Ø U (B ∩ A) = A ∩ B Identidad y Conmutativa
A∩B=A∩B
14.- (A Δ B) ∩ C = (A ∩ C) Δ (B ∩ C) Ley Distributiva
(A ∩ C) Δ (B ∩ C) = (A ∩ C) Δ (B ∩ C)
92
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
[(A U BC) Δ (B ∩ AC)] C U [BC U (AC ∩ A)] Complementación
[(A U BC) Δ (B ∩ AC)] C U (BC U Ø) Identidad
[(A U BC) Δ (B ∩ AC)] C U BC Ley de Diferencia Simétrica
{[(A U BC) - (B ∩ AC)] U [(B ∩ AC) - (A U BC)]}C U BC Ley de Diferencia
{[(A U BC) ∩ (B ∩ AC)C] U [(B ∩ AC) ∩ (A U BC)C]}C U BC Ley del Complemento
{[(AC ∩ BCC) U (B ∩ AC) CC] U [(BC U ACC) U (A U BC) CC]} U BC Doble Complemento
{[(AC ∩ B) U (B ∩ AC)] U [(BC U A) U (A U BC)]} U BC Idempotencia
{[(AC ∩ B) U (BC U A)]} U BC Ley Asociativa
{[(AC ∩ B) U BC] U [(BC U A)] U BC} Ley Distributiva y Asociativa
{[(AC U BC) ∩ (B U BC)] U [(BC U BC) U A]} Complementación y Idemp.
[(AC U BC) ∩ U] U (BC U A) Identidad
(AC U BC) U (BC U A) Ley Asociativa
BC U (AC U A) Complementación
BC U U Identidad
U
19.- {[(A U B) ∩ (B - C) C] U [C – (AC ∩ B)} – (C – B) Ley de Diferencia
{[(A U B) ∩ (B ∩ CC) C] U [C ∩ (AC ∩ B) C]} ∩ (C ∩ BC) C Ley del Complemento
{[(A U B) ∩ (BC U CCC)] U [C ∩ (ACC U BC)]} ∩ (CC U BCC) Doble Complemento
{[(A U B) ∩ (BC U C)] U [C ∩ (A U BC)]} ∩ (CC U B) Ley Distributiva
{[(A U B) ∩ (BC U C)] ∩ (CC U B)}U {[C ∩ (A U BC)] ∩ (CC U B)} Ley Asociativa
{[(A U B) ∩ (BC U C)] ∩ (CC U B)}U {[C ∩ (CC U B)] ∩ (A U BC)} Ley Distributiva
{[(A U B) ∩ (BC U C)] ∩ (CC U B)}U {[(C ∩ CC) U (C ∩ B)] ∩ (A U BC)} Complementación
{[(A U B) ∩ (BC U C)] ∩ (CC U B)}U {[Ø U (C ∩ B)] ∩ (A U BC)} Identidad
{[(A U B) ∩ (BC U C)] ∩ (CC U B)}U {(C ∩ B) ∩ (A U BC)} Ley Asociativa
{[(A U B) ∩ (BC U C)] ∩ (CC U B)}U {C ∩ [B ∩ (A U BC)} Ley Distributiva
{[(A U B) ∩ (BC U C)] ∩ (CC U B)}U {C ∩ [(B ∩ A) U (B ∩ BC)]} Complementación
{[(A U B) ∩ (BC U C)] ∩ (CC U B)}U {C ∩ [(B ∩ A) U Ø]} Identidad
{[(A U B) ∩ (BC U C)] ∩ (CC U B)}U {C ∩ [(B ∩ A)]} Ley Asociativa
{[(A U B) ∩ (CC U B)] ∩ (BC U C)}U (C ∩ B ∩ A) Ley Distributiva
{[B U (A ∩ CC)] ∩ (BC U C)}U (C ∩ B ∩ A) Ley Distributiva
{[B U (A ∩ CC)] ∩ BC} U {[B U (A ∩ CC)] ∩ C} U (C ∩ B ∩ A) Ley Distributiva
93
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
{(B ∩ BC) U [BC ∩ (A ∩ CC)]} U {[B U (A ∩ CC)] ∩ C} U (C ∩ B ∩ A) Complementación
{Ø U [BC ∩ (A ∩ CC)]}U {[B U (A ∩ CC)] ∩ C} U (C ∩ B ∩ A) Identidad
[BC ∩ (A ∩ CC)] U {[B U (A ∩ CC)] ∩ C} U (C ∩ B ∩ A) Ley Distributiva
[BC ∩ (A ∩ CC)] U {(B ∩ C) U [(A ∩ CC) ∩ C]} U (C ∩ B ∩ A) Ley Asociativa
[BC ∩ (A ∩ CC)] U {(B ∩ C) U [(C ∩ CC) ∩ A]} U (C ∩ B ∩ A) Complementación
[BC ∩ (A ∩ CC)] U {(B ∩ C) U [Ø ∩ A]} U (C ∩ B ∩ A) Identidad
[BC ∩ (A ∩ CC)] U [(B ∩ C)] U (C ∩ B ∩ A) Ley de Absorción
[BC ∩ (A ∩ CC)] U [(B ∩ C)] Ley Distributiva
[BC U (B ∩ C)] ∩ [(A ∩ CC) U (B ∩ C)] Ley Distributiva
[(BC U B) ∩ (BC U C)] ∩ [(A ∩ CC) U (B ∩ C)] Complementación
[U ∩ (BC U C)] ∩ [(A ∩ CC) U (B ∩ C)] Identidad
(BC U C) ∩ [(A ∩ CC) U (B ∩ C)] Ley Distributiva
[(BC U C) ∩ (A ∩ CC)] U [(BC U C) ∩ (B ∩ C)] Ley Asociativa
[(BC U C) ∩ CC ∩ A)] U [(BC U C) ∩ C ∩ B Ley de Absorción
[(BC U C) ∩ CC ∩ A)] U (C ∩ B) Ley distributiva
{[(BC ∩ CC) U (CC ∩ C)] ∩ A} U (C ∩ B) Complementación
{[(BC ∩ CC) U Ø] ∩ A} U (C ∩ B) Identidad
{[(BC ∩ CC) ∩ A} U (C ∩ B) Absorción
(C ∩ B)
20.- [(A – B) U A] – B Ley de diferencia
[(A ∩ BC) U A] ∩ BC Ley de Absorción
A ∩ BC
21.- [(A – B) U B] – (A ∩ BC) Ley de diferencia
[(A ∩ BC) U B] ∩ (A ∩ BC)C Ley distributiva ; Morgan; Doble Complemento
[(B U A) ∩ (B U BC)] ∩ (AC U B) Complementación
[(B U A) ∩ U] ∩ (AC U B) Identidad
(B U A) ∩ (AC U B) Ley Distributiva
B U (A ∩ AC) Complementación
BUØ Identidad
B
22.- [(A – C) - A] – (A – B) Ley de Diferencia
94
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
[(A ∩ CC) ∩ AC] ∩ (A ∩ BC)C Ley Asociativa y ley de Morgan
[(A ∩ AC) ∩ CC] ∩ (AC U B) Complementación
(Ø ∩ CC) ∩ (AC U B) Identidad
Ø ∩ (AC U B) Identidad
Ø
23.- {A U [A ∩ [(A – B) -A] – (A U B)]}
{A U [A ∩ [(A – B) -A] – (A U B)]} Ley de Absorción
A
95
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
27.- [(A – C) - A] – [(C – B) - B] Ley de diferencia
[(A ∩ CC) ∩ AC] ∩ [(C ∩ BC) ∩ BC]C Ley asociativa y ley de Morgan
[(A ∩ AC) ∩ CC] ∩ [(BC U B) U CC] Complementación
(Ø ∩ CC) ∩ (U U CC) Identidad
Ø
96
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
CC ∩ B
D=
0 10
C-D = Ø
C-D = Ø
b) D-C
D-C =
D-C = [5; 10[ 5 10
c) Dc
Dc =
10
97
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Dc = [10; +∞ [
d) CC
CC =
CC = [5; +∞ [ 5
e) C ∩ D
C∩D=
C ∩ D =]-∞; 5[ 5
f) (C-D) C
(C-D) C =
U=
0
A=
0 4
B=
0 3
C=
-6 0 18
98
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
A–B= Ø
0
A∩C=
0 4 18
(A – B) – (A ∩ C) = Ø
0
U=
0
A=
-3 0 2
B=
0 1 9
99
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
C=
-2 0 10
AUB
0 2 9
(A U B) ∩ C =
-2 0 2 9 10
U=
0
A=
-3 0 5
B=
0 3 7
C=
-3 -1 0
100
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
A–B=
-3 0 7
(A – B)C =
-3 0 7
(A – B)C ∩ C=
-3 -1 0
U=
0
A=
-4 0 8
B=
-3 0 5
C=
-4 0 10
101
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
AΔB=
-4 -3 0 5 8
(A Δ B) U C =
-4 -3 0 5 8
U=
0
A=
-1 0 11
B=
-3 0 9
C=
0 12
102
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
A–B=
-3 0 11
A–C=
-1 0 12
(A – B) – (A – C) =
0 11 12
U=
0
A=
-1 0 11
B=
-3 0 9
A–B=
-3 0 11
103
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
(A – B)C =
-3 0 11
(A – B)C – B =
0 9 11
B–A=
-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
* Solución
U=
0
A=
-2 0 10
B=
0 4 10
-6
C=
0 6 10
AC =
-2 0 10
BC =
-6 0 4
104
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
A C – BC =
-6 0 10
(AC – BC) – C =
0 10
-6
A–C=
-2 0 6
(A – C) U BC =
-6 0 6
U=
0
A=
-1 0 5
B=
-6 0
C=
-6 0 3 6
A–C=
0 3
(A – C) ∩ B = Ø
0
105
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
BΔA=
-6 -1 0 5
U=
0
A=
0 5
B=
0 5
C=
-2 0 3 6
A–C=
0 3
(A – C) ∩ B =
0 3
AC =
0 3
106
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
CC =
-2 0 3 6
A C U CC =
0
107
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
[(A ∩ BC) U (A ∩ B)] ∩ (B ∩ A)C = A ∩ BC Ley Distributiva y Ley del Complemento
[A ∩ (B U BC)] ∩ (BC U AC) = A ∩ BC Ley de Complementación
(A ∩ U) ∩ (BC U AC) = A ∩ BC Ley de Identidad
A ∩ (BC U AC) = A ∩ BC Ley de Poretsky
Por tanto queda demostrado
A ∩ BC = A ∩ BC
108
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
{B ∩ [(AC ∩ BC) U A]} = A ∩ B Ley de Poretsky
[B ∩ (A U BC)] = A ∩ B Ley de Poretsky
A∩ B=A∩B
109
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Solución
Justificaciones
[(A ∆ B) U A] – B = A ∩ B C
Ley de Diferencia Simétrica
[(A – B) U (B – A) U A] ∩ BC = A ∩ BC Ley de Diferencia
[(A ∩ B ) U (B ∩ A ) U A] ∩ B = A ∩ B Ley Asociativa
C C C C
A ∩ BC = A ∩ BC
110
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
B ∩ AC = B ∩ AC
111
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
112
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
[(AC ∩ B) U A] U B Ley de Poretsky
(A U B) U B Ley Asociativa y Ley de Idempotencia
AUB
AΔB
113
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
{[(ɸ ∩ AC) U (A ∩ U)] U A U B} ∩ BC Ley de Identidad y Ley de Idempotencia
(A U B) ∩ BC Ley de Poretsky
A ∩ BC
64.- Simplificar la siguiente formula conjuntista: [(A ∆ B)C – AC] U [BC – (B – A)]
Solución
Justificaciones
[(A ∆ B) – A ] U [B – (B – A)]
C C C
Ley de Diferencia y Doble Complemento
[(A ∆ B)C ∩ A] U [BC ∩ (B ∩ AC)C] Ley del Complemento y Doble Complemento
[(A ∆ B)C ∩ A] U [BC ∩ (BC U A)] Ley de Absorción
[(A ∆ B) ∩ A] U B
C C
Ley de Diferencia Simétrica
{[(A – B) U (B – A)]C ∩ A} U BC Ley de Diferencia
{[(A ∩ B ) U (B ∩ A )] ∩ A} U B
C C C C
Ley del Complemento y Doble Complemento
{[(AC U B) ∩ (BC U A)] ∩ A} U BC Ley Asociativa
{(A U B) ∩ [(B U A) ∩ A]} U B
C C C
Ley de Absorción
114
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
[(AC U B) ∩ A] U BC Ley de Poretsky
(A ∩ B) U BC Ley de Poretsky
A U BC
115
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Solución
Justificaciones
{[(B – C) U A] ∩ B} – (A – B) Ley de Diferencia
{[(B ∩ CC) U A] ∩ B} ∩ (A ∩ BC)C Ley del Complemento y Doble Complemento
{[(B ∩ CC) U A] ∩ B} ∩ (AC U B) Ley Asociativa
[(B ∩ CC) U A] ∩ B ∩ (AC U B) Ley de Absorción
[(B ∩ CC) U A] ∩ B Ley Distributiva
[B ∩ (B ∩ CC)] U (B ∩ A) Ley Asociativa
[(B ∩ B) ∩ CC)] U (B ∩ A) Ley de Idempotencia
(B ∩ CC) U (B ∩ A) Ley Distributiva
B ∩ (A U
CC)
69.- Simplificar la siguiente formula conjuntista: {[(A – C) U C] ∩ (A Δ C)} – C
Solución
Justificaciones
{[(A – C) U C] ∩ (A Δ C)} – C Ley de Diferencia y Ley de Diferencia Simétrica
{[(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
{[(A U C) ∩ A ∩ C ] U [(A U C) ∩ C ∩ A ]} ∩ C
C C C
Ley de Absorción
[(A ∩ CC) U (C ∩ AC)] ∩ CC Ley Distributiva
[(A ∩ CC) ∩ CC] U [(C ∩ AC) ∩ CC] Ley Asociativa, Identidad y Complementación
(CC ∩ A) U (Ø ∩ AC) Ley de Identidad
A ∩ CC
{[C ∩ (AC U CC)] ∆ C} ∩ [(BC U C) ∩ B]C Ley de Poretsky y Ley del Complemento
[(C ∩ AC) ∆ C] ∩ [(BCC ∩ CC) U BC]Ley del Complemento
[(C ∩ AC) ∆ C] ∩ [(B ∩ CC) U BC] Ley de Poretsky
[(C ∩ AC) ∆ C] ∩ (CC U BC) Ley de Diferencia Simétrica
{[(C ∩ A ) – C] U [C – (C ∩ A )]} ∩ (C U BC) Ley de Diferencia
C C C
A ∩ BC ∩ C
116
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
[(A ∩ BC) ∩ CC] U C Ley Distributiva
[(A ∩ BC) U C] ∩ (C U CC) Ley de Complementación
[(A ∩ BC) U C] ∩ U Ley de Identidad
(A ∩ BC) U
C
72.- Simplificar la siguiente formula conjuntista: {[B – (A – B)] U (A – C)} – (A ∆ B)
Solución
Justificaciones
{[B – (A – B)] U (A – C)} – (A ∆ B) Ley de Diferencia
{[B ∩ (A ∩ B ) ] U (A ∩ C )} ∩ (A ∆ B) Ley del Complemento y Doble Complemento
C C C C
A∩B
CC
A U BC U C C
117
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 Fútbol, Básquet y Tenis. De ellos 400 juegan al Fútbol, 350 al Básquet y 300 al
Tenis. 100 al Fútbol y Básquet, 130 al Básquet y Tenis, 80 al Fútbol y Tenis.
¿Determinar el número de personas que no juegan ningún deporte?
* Solución
118
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
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 U B U T)C =?
280 40 180
F B
20 60 70
20
150
T
200
119 C
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
e) Total de estudiantes
* Solución
15 5 25
U=?
A = 70
35
B = 60
C = 80
A – (B U C) = 30
C ∩ B = 30
A ∩ C = 20
A∩C∩B=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
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 Comunicación, 32 alumnos se suscriben
al diario “El Deber”; 210 a la revista “COSAS” y 15 alumnos al diario y a la revista.
120
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
¿Cuántos alumnos no se han suscrito al Diario ni a la revista?
* Solución 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
(D U C)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 también redondos, se pide determinar:
a) ¿cuántos de los caramelos no son de menta ni redondos?
b) ¿Cuántos de los caramelos de la caja no son redondos?
* Solución
U = 120 U = 120
R = 56
M = 36
R M
R ∩ M = 22
34 22 14
(R U M)C =?
(M – R) U (R U M) C =?
a) (R U M) C = U - a – b – c
(R U M)C = 120 – 34- 50 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.
121
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
¿Cuántos de los 400 estudiantes encuestados no se comportan bien, no son habladores
y no son inteligentes?
* Solución
U = 400 U = 400
H = 320
I = 276
H50 160 20 I
B = 136
(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
(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 confían que aprobaran el primer parcial, 40 que aprobaran el segundo parcial, 30
que aprobaran el tercer parcial, además 15 confían que van a aprobar el primero y
122
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
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 exámenes?
* Solución U = 100
U = 100
P = 60
P a = 42 b= 8 c= 20 S
S = 40
T = 30
d =3 e=7 f=5
P ∩ S = 15
P ∩ T = 10
g =15
S ∩ T = 12
a) (P U S) – T=? T
b) S ∩ T=?
c) Dos exámenes?
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 exámenes = 8 + 3 + 5 = 16 alumnos
b + e = 15
81.- En una encuesta realizada a 100 estudiantes sobre sus preferencias entre una
Universidad Privada y una Universidad Estatal se determino que: 60 les gustaría
estudiar en una Universidad Estatal y 50 en una Universidad Privada, además 30
estudiantes desearían estudiar en una Universidad Estatal y en una Universidad
privada al mismo tiempo, con esta información obtenida en dicha encuesta se pide
determinar:
a) ¿Cuántos estudiantes solamente estudiarían en una Universidad Estatal?
b) ¿Cuántos estudiantes no estudiarían en ninguna de estas Universidades?
Solución
Datos del Problema Solución del Ejercicio Aplicando Ecuaciones de Primer Grado
U = 100 Primera Ecuación: a + b + c + d = 100 a = 20
123
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
n (P) = 50 Segunda Ecuación: a + b = 50 b = 30
n (E) = 60 Tercer Ecuación: b + c = 60 RESOLVIENDO c = 30
n (E ∩ P) = 30 Cuarta Ecuación: 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
124
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
n (T) = 700 n (T ∩ E) = 700 + 400 – 1000 n (T ∆ E) = 600 + 300
n (E) = 400 n (T ∩ E) = 100 n (T ∆ E) = 900
n (T ∩ E) =?
n (T ∆ E) =? Diagrama de Venn U= 1000
T E
125
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
n (C ∩ A) =? n (A – C) = 700 – 300
n (A – C) =? n (A – C) = 400
Diagrama de Venn U= 1500
C A
300 400
300
500
126
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
n (O ∆ T) =? n (O Δ T) = 16 + 11
n (O ∆ T) = 27
Diagrama de Venn
U= 31
O T
16 4 11
127
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
n (M U T)C = 100% - 90%
n (M U T)C = 10%
Diagrama de Venn
U= 100%
M T
10%
86.- En una encuesta acerca de la preferencia que tenían 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
información se pide determinar:
a) ¿A cuántas personas no les gusta utilizar el producto B?
b) ¿A cuántas personas en total se les realizo la encuesta?
Solución
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
128
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
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
129
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
b) n [F – (Q U C)] = U – y – z – w
n [F – (Q U C)] = 110 – 30 – 20 – 50
n (F U Q U C) = 110 n [F – (Q U C)] = 10
Y = 30
X = 10 Z = 20 W = 50
130
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
y = 50 w = 60
a) n [S – (P U T)] = U – x – y – w – t
n [S – (P U T)] = 490 – 50 – 50 – 60 – 240
n [S – de
Diagrama (P venn
U T)] = 90
U= 490
P S T
Z = 90
Y = 50 W =60
x = 50
t= 240
89.- Una empresa lanza al mercado nacional tres productos A, B y C y realiza una
encuesta a 2000 personas para poder determinar la opinión de la gente acerca de estos
productos, los resultados obtenidos en esta encuesta fueron los siguientes: todas las
personas entrevistadas afirmaron que utilizarían el producto A, 500 utilizarían el
producto B, 400 utilizarían el producto C y 300 personas afirmaron que iban a
utilizar el producto A, B y C, con esta información se pide determinar:
a) ¿Cuántas personas utilizarían o el producto B o el producto C pero no ambos a la
vez?
b) ¿Cuántas personas utilizarían el producto A y el producto C?
c) ¿Cuántas personas solo utilizarían el producto A?
Solución
Datos del Problema Solución 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
131
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
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
132
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
n (I ∩ P) = 200
n (P ∩ V) = 200
n (I ∩ V ∩ P) =?
n (I ∩ V) + n (I ∩ P) + n (P ∩ V) =?
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
91.- En una encuesta a 2000 estudiantes que aspiran a estudiar una carrera de la
facultad de ciencias exactas y tecnología, se les consulto sobre sus preferencias entre
las carreras de Ingeniería Civil, Ingeniería Petrolera e Ingeniería 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 también 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 Ingeniería Petrolera?
b) ¿Cuantos estudiantes aspiran a estudiar las carreras de Civil o Industrial pero no
Petrolera?
Solución
Datos Solución 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
133
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
n [(C U I) – P]=?
a = 700 b = 100 c = 500
e = 100
d=0 f = 100
g = 500
RELACIONES
134
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
10<x<50
3<x<7
B=4, 5, 6
Calculo de la cantidad de pares de AXB
A = 15 elementos
B = 3 elementos
Por lo tanto AXB Tendrá 15x3 = 45 pares ordenados
125.- Encuentre por extensión la relación M
M = (s, t) R x R / (s²+3s; t²-7t) = (-2;-12)
Solución
Resolviendo el sistema de ecuaciones
s²+3s= -2 s²+3s+2=0 s=-2 y s=-1
t²-7t= -12 t²-7t+12=0 t=4 y t=3
Calculo de la relación M por extensión
M = {(-2,4)(-2,3)(-1,4)(-1,3)}
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)
Solución
Calculo de las relaciones por extensión
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)
135
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Solución
Calculo de los conjuntos por extensión
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 función
al conjunto A = 1, 2, 3, 4,5
a) R1 = (x, y) A² / x = y² }
Solución
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)}
Calculo de R1 por extensión
R1 = {(1,1)(2,4)(4,2)}
Calculo del Dominio e imagen de la relación
Dr = {1, 2,4}}
Ir = {1, 2,4}}
b) R2 = {(x, y) A² / x = y²}
Solución
Calculo de R2 por extensión
R2 = {(1,5)(2,5)(3,5)(4,5)(5,5)}
Calculo del dominio e imagen de la relación
Dr = {1, 2, 3, 4,5}
Ir = {5}
c) R3 = {(x,y) A² / x²+y²25}
Solución
Calculo de R3 por extensión
136
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
R3 = {(1,5)(2,5)(3,4)(3,5)(4,3)(4,4)(4,5)(5,1)(5,2)(5,3)(5,4)(5,5)}
Calculo del dominio e imagen de la relación
Dr = {1, 2, 3, 4, 5}
Ir = {1, 2, 3, 4, 5}
d) R4 = {(x,y) A² / x + y² = 10}
Solución
Calculo de R4 por extensión
R4 = {(1,3)}
Calculo del dominio e imagen de la relación
Dr = {1}
Ir = {3}
129.- Grafique
a) [2,5] x (-1,3]
Solución
X [2,5]
Y (-1,3]
b) (-3,1] x {2}
Solución
X (-3,1]
Y {2}
c) {3} x [-1,3]
Solución
X {3}
Y [-1,3]
d) R ={(2,y) / y R}
Solución
X = {2}
Y =]-; [
e) R = {(x, y) R² / y = 3x-1}
Solución
137
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Graficando la función
f) R = {(x, y) R² / y = ½ x}
Solución
Graficando la función
Y=½x
138
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
(R o S) o T = {(3,4) (4,2)}
e) Ro(S o T)
Solución
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
Solución
Calculo de la inversa de la relación S
S = {(1,3)(4,5)(3,6)(4,8)(8,9)}
Calculo de la inversa de la relación R
R = {(2,1)(3,2)(4,3)(5,4)(6,5)(7,6)}
Calculo de la inversa de (S o R)
SoR-1 = {(2,3)(4,6)(5,5)(5,8)}
g) So(T o R)-1
Solución
Calculo de la inversa de la relación T
T = {(1,2)(6,3)(3,4)(4,8)}
Calculo de la inversa de la relación R
R = {(2,1)(3,2)(4,3)(5,4)(6,5)(7,6)}
Calculo de la inversa de la composición 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)
Solución
Calculo de la inversa de la relación R
R-1 = {(2,1)(3,2)(4,3)(5,4)(6,5)(7,6)}
Calculo de la inversa de la relación T
139
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
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}
Solución
Verificando si la relación es de equivalencia
Propiedad reflexiva
x Si x N (x, x) R
Si x N (x-y) R
V V
V Cumple La Propiedad
Propiedad Simétrica
x, y Si (x, y) R (y, x) R
Si (x-y) R (y-x) R
V V
V Cumple la Propiedad Simétrica
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 Relación es de equivalencia
b) R = {(x, y) N x N / x=y}
Propiedad Reflexiva
140
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
x Si x N (x, x) R
Si x N (x=y) R
V V
V Cumple la Propiedad Reflexiva
Propiedad Simétrica
x, y Si (x, y) R (y, x) R
Si (x=y) R (y=x) R
V V
V Cumple la Propiedad Simétrica
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 Relación es de Equivalencia
c) R ={(x, y) R x R / 2x² +2y = 2x + 2y²}
Propiedad Reflexiva
x Si x N (x, x) R
Si x N (2x²+2y=2x+2y²) R
V V
V Cumple la Propiedad Reflexiva
Propiedad Simétrica
x, y Si (x, y) R (y, x) R
Si (2x²+2y=2x+2y²) R (2y²+2x=2x²+2y)
V V
V Cumple la Propiedad Simétrica
Propiedad Transitiva
x, y, z Si (x, y) R (y, z) R (x, z) R
Si (2x²+2y=2y²+2x) R (2y²+2x =2z²+2y) (2x²+2y=2z²+2y)
141
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
V V V
V V
V Cumple la Propiedad Transitiva
142
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
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 relación T por: (x, y) T x-y es divisible por 5 cuales son
verdaderas?
a) (x, y) T (y, x) T
Solución
La propiedad se refiere a la simetría por lo tanto es verdadero por que la relación T es
simétrica
b) (x, y) T x es múltiplo de 5
Solución
La relación T estará expresada en forma de extensión por la condición x-y es divisible por 5
entonces tanto la variable x como y tendrán que ser múltiplos de 5 para que cumplan la
condición por ende la proposición es verdadera
c) (2,17) T
Solución
El par ordenado (2,17) T por que cumple la condición expuesta por la relación T de que
x-y sea divisible por 5 por la tanto la proposición es verdadera
d) (4n,-8n) T
Solución
El par ordenado (4n,-8n) no pertenece a la relación T porque no cumple la condición
expuesta por la relación de que x-y sea divisible entre 5 por lo tanto la proposición 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
Solución
143
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Calculo del conjunto A y B por extensión
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}
Cuáles de las siguientes afirmaciones son verdaderas:
a) R1 y R2 son reflexivas
Solución
R1 no es reflexiva por que el par (3,3) no pertenece a la relación por que 3x3=9 y la
respuesta no es par
R2 es reflexiva porque todo par igual perteneciente a los enteros cumple la condición
Por ende la proposición del inciso A es Falsa
b) R2 es simétrica
Solución
R2 es simétrica por que x+y²=x²+y de aquí se concluye que x=y y x²=y² por ende la
proposición del inciso B es verdadera
c) R3 no es simétrica
Solución
R3 tiene la condición de que x<y para que sea considerada simétrica debería también
cumplirse de que y<x y esto no se cumple por ende la relación no es simétrica
d) R2 es transitiva
Solución
R2 es Transitiva por que x+y²=x²+y de aquí se concluye que x=y=z y x²=y²=z² por ende la
proposición del inciso B es verdadera
144
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
e) R3 es Transitiva
Solución
La relación tiene la condición x<y por lo tanto se cumplirá de que y<z y por ende x<z por
lo tanto la proposición propuesta el inciso E es verdadera
145
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
El dominio que se escribe D® es el conjunto de elementos en A que están relacionados con
algunos elementos de B. En otras apalabras el D® es un subconjunto de A y es el conjunto
de todos los primeros elementos de los pares (x, y) R es decir
D® = {x A / (x, y) R}
La Imagen de R (rango o recorrido) de R, que se escribe I® es el conjunto de elementos en
B que son los segundos elementos de los pares (x, y) R todos los elementos en B que
están relacionados con algún elemento de A es decir:
I ® = {y B / (x, y) R}
137.- Dadas las siguientes relaciones verificar existencia y unicidad para que sean
funciones sabiendo que los conjuntos A y B se definen de la siguiente manera
A={1,2,3,4} y B={a, b, c, d, e, f}
a) f={(1,a)(2,b)(3,d)(4,c)}
Solución
Verificando la condición de Existencia
Para que cumpla la condición de existencia el dominio de la relación debe ser igual al
conjunto A
Dr = A
{1, 2, 3, 4} = {1, 2, 3, 4} Cumple entonces la condición de existencia
Verificando la condición de Unicidad
(x, y) f (x, z) f y =z
(1,a) f (1,a) f a=a
V V V
V V
V Cumple unicidad por que no se repite la primer
Componente.
Por lo tanto la relación f es un Función
b) g ={(1,a)(2,b)(2,c)(3,e)(4,f)}
Solución
Verificando la condición de existencia
Dr = A
146
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
{1, 2, 3, 4} = {1, 2, 3, 4}
Por lo tanto cumple existencia
Verificando la condición de Unicidad
(x, y) f (x, z) f y =z
(2, b) f (2,c) f b=c
V V F
V F
F Por lo tanto no cumple la condición de Unicidad
Por ende la relación g no es una función
c) h={(1,b)(3,d)(4,e)(3,b)(1,c)}
Solución
Verificando la condición de Existencia
Dr = A
{1, 3,4} {1, 2, 3,4}
Por lo tanto no cumple Existencia
Verificando la condición de Unicidad
(x, y) f (x, z) f y =z
(3,d) f (3,b) f d=b
V V F
V F
F Por lo tanto no cumple la condición de Unicidad
Por ende la relación h no es una función
138.- Determine analíticamente cuales de las siguientes relaciones son funciones
a) y = x² R R+
Solución
Verificando la condición de existencia
Conjunto de Partida = R
y = x²
-<x<+
(-)²<x²<(+)²
147
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
+<y<+
y R+ Por lo tanto cumple la propiedad de existencia
Verificando la condición de Unicidad
(x, y) f (x, z) f y =z
V x² = x² ()
V x=x
V V
V Cumple la condición de Unicidad
Por lo tanto la relación es una Función
c) y = x [0,4] [0,2]
Solución
Verificando la condición de Existencia
Conjunto de partida = [0,4]
Y= x
0x4
0 x 4
0y2
y [0;2] Cumple la condición de Existencia
Verificando la condición de Unicidad
(x, y) f (x, z) f y =z
V x = x (a²)
V x=x
V V
V Cumple la condición de Unicidad
c) y = x²-1 RR
Solución
Verificando la condición de Existencia
Conjunto de Partida = R
Y = x²-1
-<x<+
148
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
(-)²<x²<()²
<x²<
-1<x²-1<-1
<y<
y [0;+[ Por lo tanto Cumple Existencia
Condición 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 condición de Unicidad
d) y = 9-x² [0;3][0;3]
Solución
Verificando la Condición 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-x²0
99-x0
3y0
y [0:3] Cumple la Condición de Existencia
Verificando la Condición de Unicidad
(x, y) f (x, z) f y =z
V 9-x² =9-x² (²)
V 9-x² = 9-x²
149
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
V -x² = -x²
V x² = x²
V V
V Cumple la condición de Unicidad
e) y = 1 R ]0;1]
1+x²
Solución
150
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
3x+2
Solución
Verificando la Condición 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
2 3x+2 +
1 y < 0
2
y ]0;1/2] Por lo tanto cumple la Condición de Existencia
Verificando la condición 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 condición de Unicidad
g) y = 1 [0;+[]0;1/2]
x+2
Verificando la Condición de Existencia
Conjunto de Partida = [0;+[
Y= 1
X+2
151
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
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 Condición de Existencia
Verificando la Condición de Unicidad
(x, y) f (x, z) f y =z
V 1 = 1
x+2 x+2
V x+2 = x+2
V x=x
V V
V Cumple la condición de Unicidad
h) y = x³+1 RR
Solución
Verificando la Condición de Existencia
Conjunto de Partida = R
Y = x³+1
-<x<+
(-)³<x³<(+)³
-<x³<+
-+1<x³+1<++1
-<y<
y R Cumple la Condición de Existencia
152
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
V x³ = x³
V x=x
V V
V Cumple la condición de Unicidad
i) y = x² [0;2][0;2]
Solución
Verificando la Condición de Existencia
Conjunto de Partida = [0; 2]
Y = x²
0 x 2
0² x² 2²
0 y 4
y [0;4] Por lo tanto no Cumple la Condición de Existencia
j) y = -2x+1 RR
Solución
Verificando la Condición de Existencia
Conjunto de Partida = R
Y = -2x+1
-<x<+
2(-)<2x<2(+)
(-)<2x<+
-(-)>-2x>-(+)
+>-2x>-
++1>-2x+1>-+1
+>y>-
y R Por lo tanto cumple la Condición de Existencia
Verificando la Condición de Unicidad
(x, y) f (x, z) f y =z
V -2x+1 = -2x+1
V -2x = -2x
153
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
V x=x
V V
V Cumple la condición de Unicidad
k) y = x R+R
Solución
Verificando la Condición de Existencia
Conjunto de Partida = R+
Y = x
0<x<+
0<x<+
0<x<+
y R+ Por lo tanto cumple la Condición de Existencia
Verificando la Condición de Unicidad
(x, y) f (x, z) f y =z
V x = x
V x = x
V V
V Cumple la condición de Unicidad
l) x² + y² = 1 [0; 1][-1; 1]
Solución
Verificando la Condición de Existencia
Conjunto de Partida = [0; 1]
Y = 1-x²
0 x 1
0² x² 1²
0 x² 1
0-1 -1+x² 1-1
-1-1+x²0
11-x²0
11-x²0
154
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
1y0
y [0;1] Por lo tanto Cumple la Condición de Existencia
Verificando la Condición de Unicidad
(x, y) f (x, z) f y =z
V 1-x² = 1-x²
V 1-x² = 1-x²
V -x² = -x²
V x² = x²
V x=x
V V
V Cumple la condición de Unicidad
m) y = x³ RR
Solución
Verificando la Condición de Existencia
Conjunto de Partida = R
Y = x³
-<x<+
(-)³<x³<(+)³
-<y<+
yR Por lo tanto Cumple la Condición de Existencia
Verificando la Condición de Unicidad
(x, y) f (x, z) f y =z
V x³ = x³
V x = x
V V
V Cumple la condición de Unicidad
n) y = x+1 ]-1;3]R
Solución
Verificando la condición de Existencia
Conjunto de Partida =]-1; 3]
155
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Y = x+1
-1<x<+3
-1+1<x+1<3+1
0<x+1<4
0<x+1<4
0<y<2
y ]0;2[ Por lo tanto cumple la Condición de Existencia
Verificando la Condición 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 condición de Unicidad
Ñ) y = x³-x RR
Solución
Verificando la condición de Existencia
Conjunto de Partida = R
Y = x³-x
Como existen dos variables X se procede a calcular el Dominio de imagen de la función
para ver si coincide con el conjunto de llegada
DI(x) = R
Por lo tanto cumple la condición de Existencia
Verificando la Condición 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 condición de Unicidad
156
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
o) y² = 4x² RR
Solución
Verificando la Condición de Existencia
Conjunto de Partida = R
Y = 4x
-<x<+
4(-)<4x<4(+)
-<y<+
y R Por lo tanto cumple la Condición de Existencia
Verificando la Condición de Unicidad
(x, y) f (x, z) f y =z
V 4x = 4x
V x= x
V V
V Cumple la condición de Unicidad
p) y = x-1 [1;+[R
Solución
Verificando la Condición 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 Condición de Existencia
Verificando la Condición de Unicidad
(x, y) f (x, z) f y =z
V x-1 = x-1
V x-1 = x-1
157
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
V x=x
V V
V Cumple la condición de Unicidad
q) y = 16-x² [0; 4][-4; 4]
Solución
Verificando la Condición de Existencia
Conjunto de Partida = [0; 4]
Y = 16-x²
0x4
0²x²4²
0x²16
0-16 -16+x²16-16
-16 -16+x²0
16 16-x²0
1616-x²0
4y0
y [0;4] Por lo tanto Cumple la Condición de Existencia
Verificando la Condición 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 condición de Unicidad
r) y = x² R+R+
Solución
Verificando la Condición de Existencia
Conjunto de Partida = R+
Y = x²
158
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
0<x<+
0²<x²<(+)²
0<y<+
y R+ Por lo tanto Cumple la Condición de Existencia
Verificando la Condición de Unicidad
(x, y) f (x, z) f y =z
V x² = x² V→ V
V x = x V
RELACIONES
159
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
7
6
5
4
B
3
2
1
0
0 1 2 3 4 5 6
A
GRAFICO DE R
7
6
5
4
Serie1
B
3
2
1
0
0 1 2 3 4 5 6
A
c) Cálculo 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 Relación de A en B
definida por R = x + y par.
a) Determinar R y R-1 por extensión
b) Representar A x B y R
c) Determinar Dominio e Imagen de R
Solución
1.- Verificar que los conjuntos estén por extensión
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)}
160
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
a) Calculo de la Relación 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) Representación Grafica de R y A x B
7
6
5
4
Serie1
B
3
2
1
0
0 1 2 3 4 5 6
A
GRAFICO DE LA RELACION
7
6
5
4
Serie1
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
1.- Transformar todos los conjuntos a su forma de extensión
A = {x ε Z / (x2 – 2)2 = x2} B= {2, 3, 4,5} C = {-2,-1, 0, 1, 2,3}
(x2 – 2)2 = x2
x4 – 4x2 + 4 = x2
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 extensión
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 relación R definida en A= {a, b, c, d, e}
a) R= {(a, a)(b, b)(c, c)(d, d)(e, e)}
Propiedad Reflexiva Propiedad Simétrica
162
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
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
b ε A → (b, b) ε R (b, b) ε R → (b, b) ε R
V → V V→ V
V V
c ε A → (c, c) ε R (c, c) ε R → (c, c) ε R
V → V V→ V
V V
d ε A → (d, d) ε R (d, d) ε R → (d, d) ε R
V → V V→ V
V V
e ε A → (e, e) (e, e) ε R → (e, e) ε R
V → V V→ V
V V
Cumple la Propiedad Cumple la Propiedad
Propiedad Transitiva
x, y, z Si (x, y) R (y, z) R (x, z) R
(a, a) ε R ^ (a, a) ε R → (a, a) ε R
V ^ V → V
V → V
V
(b, b) ε R ^ (b, b) ε R → (b, b) ε R
V^ V → V
V → V
V
(c, c) ε R ^ (c, c) ε R → (c, c) ε R
V ^ V → V
V → V
V
163
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
P.I.C
sucesión matemática
Solución
1 = 1 Verdadero
2 2
164
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
2 2
(k+1)(k+2) = (k+1)(k+2)
2 2
sucesión matemática
3 = 3 Verdadero
sucesión matemática
165
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
2 = 2 Verdadero
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
sucesión matemática
166
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
2
1 = 1 Verdadero
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
sucesión matemática
167
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
1 = 1 Verdadero
2k2-k+4k+1 = (k+1)(2k+1)
2k2+3k+1 = (k+1)(2k+1)
(k+1)(2k+1) = (k+1)(2k+1)
sucesión matemática
2 6
2 = 6
1 = 1 Verdadero
2 6
2 6
168
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
6 2 6
6 6
(k+1)(k+2)(k+3) = (k+1)(k+2)(k+3)
6 6
sucesión matemática
1 = 1 Verdadero
6 6
6 6
(k+1){k(2k+1)+6(k+1)} = (k+1)(k+2)(2k+3)
169
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
6 6
(k+1){(2k2+k)+(6k+6)} = (k+1)(k+2)(2k+3)
6 6
(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
sucesión matemática
1 = 1 Verdadero
4 4
170
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
K2(k+1)2 + 4(k+1)3 = (k+1)2(k+2)2
4 4
(k+1)2(k2+4(k+1)) = (k+1)2(k+2)2
4 4
(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
sucesión matemática
30
30
1 = 1 Verdadero
30
30
30 30
171
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
30 30
30 30
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
sucesión matemática
172
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
P(k) = 1*2+2*3+3*4+…………………………….+ k(k+1) = k(k+1)(k+2)
3 3
3 3
(k+1)(k+2)(k+3) = (k+1)(k+2)(k+3)
3 3
sucesión matemática
3 = 3 Verdadero
173
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
6
6 6
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
sucesión matemática
10 = 10 Verdadero
174
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
P(k+1) = 2*5+3*6+4*7+…………………………..+ (k+2)(k+5) = (k+1)(k+5)(k+6)
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
175
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
176
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
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 continuación:
21) (p → q) v (~ p v r) v (r ↔ p) (p → q) = F y (q ↔ r) = V
22) {[r v (q ↔ p)] v (p → q)} → q (p ^ q) = V y (q ↔ r) = F
23) {[q → (~ p v ~ q)] ↔ (r v p)} v (r ^ p ^ ~ q) (~p ↔ r) = F y (q ^ r) = V
24) [(p → ~ r) v (r v q)] ↔ [(r ^ ~ p) → q] (p v q v r) = F y (p → ~ r) = F
25) {[q v (r v p)] ↔ [p v (p → ~ r)]} ↔ q (~p → ~q) = V y (p v ~r) = V
26) {[(p ^ q) v (q ↔ p)] ↔ (p v ~ q)} ↔ (p v q) ~ (~p v ~q) = F y (p v ~r) = F
27) {[r ↔ (p → ~ q)] ↔ (p v q)} → {r v ~ [p → (~ q ^ ~ r)] (~r → ~p) = F y (p v ~r) = V
28) ~ {[q → ~ (p → s)] ↔ (p → r)} → [(~ s → p) v r] (~s ^ ~q) = V y (p v ~r) = V
29) {{[p ↔ (p v q)] v (s ↔ p)} v (q → r)} v (s ^ ~ p) (~s → p) = F y (q v r) = F
30) {{p v [(q v p) → s]} v (r → p)} v [(s ↔ q) → p] (q ^ r) = V y (s ↔ p) = V
IV.- Determinar mediante una tabla de verdad utilizando cualquier método el valor
de verdad de las siguientes proposiciones y de acuerdo a su tabla de verdad
clasificarlas en (Tautología, Anti Tautología o Contingencia)
31) [(p v ~ q) ↔ (p ^ q)] v (q v ~ p)
32) [(q v ~ p) ↔ (p ^ q)] v (p v ~ q)
33) {[(p ^ q) v (q ↔ p)] ↔ (p v ~ q)} ↔ (p v q)
34) ~ {[p ↔ (~ p v ~ q)] ↔ (q v p)} → (p ↔ ~ q)
35) {[(p → ~ r) v (r v q)] ↔ [(r ^ ~ p) → q]} → (r v ~ p v ~ q)
36) {[q v (r v p)] ↔ [p v (p → ~ r)]} ↔ ~ q
37) {[r ↔ (p → ~ q)] ↔ (p v q)} → {r v ~ [p → (~ q ^ ~ r)]
38) {[(r v s) ↔~ r] ↔ [(p v ~ r) ↔ q]} ↔ (q v ~ p v ~ s)
39) ~ {[q → ~ (p → s)] ↔ (p → q)} → [(~ s → s) v r]
40) {[(p → q) v (~ r ↔ s)] → (r ↔ ~ p)} ↔ ~ [(s v ~ p) → (q ^ r)]
V.- Simplificar mediante las leyes lógicas a su mínima expresión las siguientes
proposiciones y de acuerdo al resultado obtenido clasificarlas en (Tautología, Anti
Tautología o Contingencia)
41) {[(p v q) → p] ^ (q → p)} → ~ (p → ~ q)
177
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
42) {[(p ↔ q) v p] v q} → [q → (~ p ^ q)]
43) ~ [q v (~ p ^ ~ q)] → [(p → q) ↔ ~ q]
44) {[(p v q) ^ (p v ~ q)] ↔ (p → q)} → ~ q
45) [(p v q) ^ p] → [(p ^ q) → q]
46) {[r v (p → q)] ↔ r} v (p → q)
47) {r → [q v (~ q ^ p)]} ↔ {[p → (~ r → p)] v (q → p)}
48) {{p v [(q ^ p) → q]} v (r → p)} v [(p ↔ q) → p]
49) {[p v (~ q v r)] ↔ (p v r)} → {q ↔ [(r v p) ^ (r v ~ p)]}
50) {{[p ↔ (p → q)] v (q ↔ p)} v (q → r)} v (r ^ ~ p)
VI.- Aplicaciones de las leyes lógicas
51) Determinar el valor del parámetro “x” para que las siguientes proposiciones sean
equivalentes
a) [(p → x) → p] v [(p → x) ^ ~ x] Ξ p v ~ q
b) [(p ^ ~ q) v ~ p] → [q ^ ~ (p → x)] Ξ p ^ q
c) [(~ q → x) ^ ~ (q ^ ~ x)] → [(x → p) ^ (p → ~ x)] Ξ ~ r
52) Demostrar mediante las leyes lógicas la veracidad de las siguientes leyes
a) [(p → q) ^ (q → r)] → (p → r)
b) [(p v q) ^ ~ p] → q
c) [(p → q) ^ (r → t) ^ (p v r)] → (q v t)
53) Esquematizar los siguientes razonamientos lógicos a través de una proposición y luego
demostrar que el razonamiento es válido simplificándolo hasta su mínima expresión
a) Si Miguel es un estudiante entonces ira a la universidad. Si va a la universidad entonces
no tendrá problemas en su vida. Miguel es un estudiante y será premiado por su esfuerzo.
Por lo tanto: Miguel será premiado por su esfuerzo y no tendrá problemas en su vida
b) Si no estudiamos entonces perdemos el año. No seremos responsables cuando perdemos
el año. Seremos responsables o merecemos la sanción de nuestra conciencia moral.
Merecemos la sanción de nuestra conciencia moral. Por lo tanto: estudiaremos
c) Si tiene un solo elemento, se llama conjunto unitario. Si no tiene elemento alguno, se
llama conjunto vacio. Tiene un solo elemento o no tiene elemento. Por lo tanto: se llama
conjunto unitario o se llama conjunto vacio
178
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
d) Si el reloj esta adelantado entonces Juan llego antes de la diez y vio al asesino de
Andrés. Si Miguel dice la verdad entonces Juan no vio el asesino de Andrés. Miguel dice la
verdad o estaba en el edificio en el momento del crimen. El reloj esta adelantado. Por lo
tanto: Miguel estaba en el edificio en el momento del crimen
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 179
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
180
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
71) Un ingeniero civil desea realizar la instalación eléctrica de su hogar, para ello tiene a
su disposición el diseño o plano de su casa el cual está conformado de la siguiente manera:
p q r
q
~p q
~p
r
p ~q
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 inversión que debe realizar el Ingeniero Civil en la instalación
eléctrica
b) Determinar un circuito eléctrico más simple y equivalente e indicar cuál sería el costo de
este nuevo circuito
c) Determine el ahorro económico que tuviera el Ingeniero Civil si instala el circuito más
equivalente en su hogar
72) Determinar el valor de la proposición “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 proposición “x” de tal forma que el circuito más 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 lógica la validez de los siguientes razonamientos
aplicando los métodos Directo e Indirecto respectivamente
74) Demostrar: q
1) p → q
2) ~ p → r
3) ~ r
181
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
75) Demostrar: ~ r
1) ~ p v ~ q
2) p
3) r→q
76) Demostrar: p
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)
182
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)
183
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
4) ~ p → q
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
184
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
4) (a = b) ^ (a < d)
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)
185
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
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
XI.- Determinar mediante Inferencia Lógica la validez de los siguientes razonamientos
aplicando el Método Condicional
96) Demostrar: p → ~ s
1) p → (q v r)
2) q → ~ p
3) s → ~ r
97) Demostrar: (p ^ q) → (s ^ t)
1) m → (~ r v s)
2) m ^ n
3) ~ t →~ r
4) ~ r → u
5) ~ r → ~ q
6) f → ~ p
7) u → f
98) Demostrar: r → ~ s
1) r → (p v q)
2) p → ~ r
3) s → ~ q
99) Demostrar: s → (p v q)
1) s → t
2) r → p
3) t → r
100) Demostrar: r → t
1) ~ s v (r → t)
2) q → s
3) r → q
186
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 = √ 3 → m ≠ √ 6 ^ n ≠ √ 3
1) m = √ 3 → mn = √ 6
2) m + n ≠ 7 → m ≠ √ 3
3) n = √ 3v m = √ 6 → ~ (m + n = 7 ^ mn = √ 6)
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 demostración formal y completa mediante la inferencia lógica para
demostrar la validez de los siguientes razonamientos
105) Evo acepta las autonomías departamentales o habrá guerra civil.
Los bolivianos se enfrentaran si hay guerra civil.
187
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Si los bolivianos se enfrentaran entonces Evo no acepta las autonomías departamentales.
No habrá guerra civil.
Por tanto: si hay guerra civil, se derrama sangre inocente
188
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Pero si el ejecutivo no garantiza ello, es mejor no votar.
La asamblea constituyente beneficia a todos los bolivianos o el ejecutivo no garantiza ello.
En consecuencia: vale la pena votar o es mejor no votar
189
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
En consecuencia: Si hay problemas de sobre población, entonces querrá decir que la
propulsión foto nica no funciona o que la vida humana no puede ponerse en hibernación
117) Los alumnos de la materia MAT 100 estudian o se aplazaran en el examen.
Si el docente explica bien, no necesitaran retirar la materia.
Los alumnos de la materia MAT 100 estudian entonces el docente explica bien la materia.
Si practican constantemente entonces no necesitaran retirar la materia.
Los alumnos de MAT 100 estudian o practican constantemente.
Se aplazaran en el examen entonces necesitaran retirar la materia.
Por lo tanto: El docente explica bien la materia
118) Estudio mucho o tendré que esforzarme para aprobar el examen.
Si estudio mucho entonces aprobare la materia.
Si apruebo la materia entonces tendré un merecido premio.
Si me esfuerzo para aprobar el examen entonces tendré un merecido premio.
Tendré un merecido premio o estaré con la conciencia tranquila entonces me iré de
vacaciones.
Si estudio mucho entonces no tendré vacaciones.
Por lo tanto: tendré que esforzarme para aprobar el examen
119) O el ladrón atravesó la puerta o el delito fue cometido desde adentro y uno de los
sirvientes debe estar implicado en el.
El ladrón pudo atravesar la puerta si y solo si el cerrojo fue descorrido desde dentro.
Pero uno de los sirvientes esta con seguridad implicado si el cerrojo fue descorrido desde el
interior.
Luego: Uno de los sirvientes se halla implicado en el delito
120) Si un porvenir brillante me espera entonces recibiré una gran herencia o estudiare
mucho.
No recibiré una gran herencia.
En consecuencia: Si no estudio mucho entonces no me espera un porvenir brillante o me es
indiferente triunfar en la vida
121) Si los alumnos de MAT 100 no estudian entonces reprobaran la materia.
Si reprueban la materia entonces las ayudantías fueron en vano.
Las ayudantías no fueron en vano o los alumnos no asistieron a clases.
190
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Los alumnos asistieron a clases o realizaron sus prácticas.
Si realizaron sus prácticas entonces estarán preparados para el examen.
Los alumnos de MAT 100 no estudiaron.
Por lo tanto: Los alumnos de MAT 100 están preparados para el examen
122) Los alumnos de ingeniería no estudian algebra cuando tienen que estudiar calculo.
Los docentes de algebra tienen maestrías y los docentes de cálculo no tienen maestrías.
Los alumnos no estudian cálculo o física entonces estudian química o dibujo.
Los docentes de cálculo tienen maestrías o la Universidad tendrá que capacitarlos.
Los docentes de algebra tienen maestrías entonces los alumnos de ingeniería estudian
algebra o la universidad no tendrá que capacitarlos.
Por lo tanto: Los alumnos estudian química o algebra
123) Los estudiantes estarán contentos si y solo si no hay examen.
Si los estudiantes están contentos, el profesor se sentirá feliz.
Si el profesor se siente feliz, no está en condiciones de explicar.
Si no está en condiciones de explicar, habrá examen.
Por lo tanto: los estudiantes no están contentos
124) Miguel pudo haber visto la motocicleta del asesino.
Carlos fue el primer testigo de la defensa.
Miguel estaba en la fiesta o Carlos dio testimonio falso.
Nadie en la fiesta pudo haber visto la motocicleta del asesino.
Por lo tanto: El primer testigo de la defensa dio testimonio falso
125) Si Jose va a una fiesta entonces no dejara de cepillarse el cabello.
Para que Jose luzca elegante es necesario que este aseado.
Si Jose fuma cigarrillos entonces no se respeta a si mismo.
Si Jose se cepilla el cabello, lucirá elegante.
Jose usa una corbata roja solamente si va a una fiesta.
No respetarse a si mismo es suficiente para que Jose no esté aseado.
Por lo tanto: Si Jose usa una corbata roja, no fuma cigarrillos
126) Si no ocurre que si un objeto flota entonces es menos denso que el agua entonces se
puede caminar por encima del agua.
Pero no se puede caminar sobre el agua.
191
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
Si un objeto es menos denso que el agua, entonces puede desplazar una cantidad de agua
igual a su propio peso.
Si puede desplazar una cantidad de agua igual a su propio peso entonces el objeto flotara
en el agua.
Por lo tanto: un objeto flotara en el agua si y solo si es menos denso que el agua
127) Si el examen es válido 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 válido.
Si la calificación del profesor es dudosa entonces el alumno Jose no estará obligado a
abandonar la universidad.
Por lo tanto: si el examen es válido entonces la calificación del profesor no es dudosa
XIII.- Expresar las siguientes proposiciones en forma simbólica, negarlas y traducirlas
al lenguaje común:
128) El cuadrado de todo número entero negativo es siempre positivo
129) Si todos los trabajadores son excluidos del proceso de cambio entonces ningún
empresario saldrá beneficiado o algún político tendrá grandes ganancias
130) Todo el que estudia algún día tendrá su profesión y la satisfacción de tener felicidad
131) Todos los niños en algún momento de su vida sueñan con ir al circo
132) Todos los docentes de la universidad en algún tiempo libre dedican horas de
enseñanza a algunos estudiantes con el fin de mejorar la calidad de aprendizaje
133) Todos los números enteros no son primos pero algún numero entero es par, si y solo si
algún numero entero es primo
134) Algunos estudiantes son consientes de estudiar y todos los demás se dedican a copiar
135) Todos los estudiantes deseamos salir profesionales y trabajar en alguna empresa
importante
136) Todo aquel que estudia algún día 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
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
Cuatro es un número positivo.
Cuatro es un número impar.
Por lo tanto: Cuatro es un número par
145) Ninguna persona insegura tiene gusto por la psicología.
A todo estudioso de la conducta le gusta la psicología.
Por lo tanto: ningún estudioso de la conducta es persona insegura
146) Demostrar: 3+4 < 3+7
1) ∀ x (x < 2+6 → x < 3+7)
2) ∀ y (y+4 > 2+5) v (y+4 < 2+6)
3) 3+4 ≥ 2+5
147) Demostrar: 3 < 5
1) ∀ x [(x < 4 ^ 4 < 5) → x < 5]
2) ∀ y (-4 < -y ↔ y < 4)
3) 4 < 5
4) -4 < -3
148) Demostrar: 3 ≥ 3 + 4
1) ∀ x ∀ y [x > y → y ≥ x + 3]
2) ∀ u ∀ v [u – 3 < v → 3 + v > u]
3) (3 + 3) – 3 < 4
149) Demostrar: 5 < 7
1) ∀ x [(x < 6 ^ 6 < 7) → x < 7]
2) ∀ y [- 6 < - y ↔ y < 6]
3) 6 < 7
4) – 6 < - 5
150) Demostrar: 5 + 2 ≤ 4 + 3
1) ∀ x (x + 2 > 4 v x + 1 < 7)
2) ∀ y (5 + y < 4 + 3) → (5 + y ≥ 4)
3) 5 + 1 ≤ 7
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
165) Si x = {-2, -1, 0, 1, 2, 3, 4, 5}
p = ∀ x :x3 = x2 q = ∃ x :|x|= x2 r = ∀ x : √ x 2−1 > 1
MAT – 100
PRACTICO N°2
TEMA: TEORIA DE CONJUNTOS
I.- Realizar las siguientes Operaciones Conjuntistas con sus respectivos diagramas de
venn
1.- Dados los siguientes conjuntos expresados por comprensión
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 comprensión
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 comprensión
U=AUBUC
196
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
6
A = {x ε Z/ < 5} B = {x ε Z/ (x – 2) (x – 3) (x + 1) ≤ 0} C = {x ε N/ |x - 4| ≤
x−3
5} Determinar y realizar su respectivo diagrama de Venn de las siguientes operaciones
conjuntistas
a) {[A U (C – B)]C ∩ (AC – B)} ∩ (B – C)
197
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
7.-Dados los siguientes conjuntos expresados por extensión
A = {1, 2, 4, 6, 8} B U C = {2, 4, 5, 6, 8} A ∩ C = {1, 3, 5, 6, 7} AC – C = {0,
3, 5, 7, 11}
Se pide determinar y realizar su respectivo diagrama de venn las siguientes
operaciones
a) Los elementos del conjunto C y su número de elementos
b) Los elementos del conjunto {[(A – C) Δ B] – (A ∩ B)C} U (B Δ C)
8.- Dados los siguientes conjuntos expresados por comprensión
A = {x ε N/ x2 – 4 ≤ 0} B C ∩C = {x ε N/ |x - 2|< 5} C Δ B = {x ε N/
|x - 6|< 8}
(A – C) = {x ε N/ |x - 3|≤ 2}
Se pide determinar y realizar el diagrama de venn de las siguientes operaciones:
a) Los elementos del conjunto B y su número de elementos
b) Los elementos del conjunto C y su número de elementos
c) Los elementos del conjunto [(A Δ B) Δ C] – [(AC U B)C – C] y su número de elementos
9.- Dados los siguientes conjuntos expresados por comprensión:
U = {x/ x es un digito numérico}
A = {x ε U/ 2x ε U} B = {x ε U / 1≤ x ≤ 7} C = {x ε U / √ x−2 ε U}
Se pide determinar y realizar su respectivo diagrama de venn de las siguientes
operaciones:
a) El número de elementos y los elementos de la operación: [A – (B Δ C)C] Δ (A Δ B Δ C)
b) El número de elementos y los elementos de la operación:
[(A ∩ C) – (C Δ A)]C U (A ∩ B)
10) Dados los siguientes conjuntos expresados por extensión:
U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
A = {1, 3, 5, 7, 9, 10} B = {1, 2, 6, 8, 10} B ∩ C = {1, 2} B U C = {1, 2, 3, 5, 6, 7, 8,
9, 10}
Se pide determinar y realizar su respectivo diagrama de venn de las siguientes
operaciones:
a) El número de elementos del conjunto C y luego determínelo por extensión
198
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
b) El número de elementos de la operación: (A ∩ B ∩ C)C Δ (A Δ B Δ C)
11) Dados los siguientes conjuntos expresados por extensión:
U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
A = {1, 2, 3, 5, 6} B = {1, 4, 7, 8, 9} B Δ C = {1, 2, 3, 6, 7} A Δ C = {3, 5, 6, 8, 9}
A ∩ C = {2, 4, 6}
Se pide determinar y realizar su respectivo diagrama de venn de las siguientes
operaciones:
a) El número de elementos del conjunto C y luego determínelo por extensión
b) El conjunto potencia del conjunto C
c) El número de elementos de la operación: {[C – (A – B)] U [A – (B – C)]}C
d) El conjunto potencia de la operación: {AC - [(B U C) Δ B]} ∩ (A – B – C)
199
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
38) [A – (A – B)] ∩ [B – (B – A)] ∩ (A U B)
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
200
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
62) (A c B) → (A ∩ B = A)
63) (A c Ø) ↔ (A = Ø)
64) (A Δ B = Ø) ↔ (A = B)
65) [(A c B) ^ (D c B)] ↔ [(A ∩ D) c B]
66) [(A ∩ B = Ø) ^ (A U B = C)] → (A = C – B)
67) (A c B) ↔ (A U B = B)
68) (A c B) ↔ [(A U C) c (B U C)]
69) [(A – B) – C] c [A – (B – C)]
70) (A c B) ↔ (BC c AC)
71) (A c B c C) ↔ (A c C)
72) [(A = B) ^ (B = C)] → (A = C)
VIII.- Realizar y graficar en una recta real las siguientes operaciones de intervalos de
conjuntos
Dados los siguientes conjuntos determinar mediante intervalos de conjunto la solución
de las siguientes operaciones conjuntista
73) U = R A = {x ε R/ |x – 2|≤ 6} B = {x ε R/ |x – 6|≥ 8} C = {x ε R/ |x – 4|> 9}
a) [A – (B U A)] – (C ∩ A)C
b) [(A – B) U (B – C)] Δ (A U C)C
4
74) U = R A = {x ε R/ ≤ 4} B = {x ε R/ |x – 2|≥ 5 C = {x ε R/ x2 + x – 6 ≤ 0}
x−3
a) [(A Δ B) – B] – (C ∩ A)C
201
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
b) [B Δ (B – C)] Δ [C Δ (A – B)] Δ BC
77) U = R A = {x ε R/ |x – 2|≤ 6} B = {x ε R/ |x – 6|≥ 8} Determinar el conjunto C
para que:
a) [A – (B U A)] – (C ∩ A)C = [- 1; 15]
202
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
método, 40 utilizan el tercer método, 11 estudiantes emplean los 3 métodos, con esta
información se pide determinar ¿Cuántos estudiantes utilizan solamente el primer método?
83) En un concurso de Matematicas que constaba de 3 preguntas en la que participaron 240
estudiantes se determino que: 80 respondieron la primer pregunta, 82 respondieron la
segunda pregunta, 90 respondieron la tercer pregunta, además se determino que 14
respondieron la segunda y tercer pregunta, 24 la primer y segunda pregunta, 30 la primer y
tercer pregunta, con esta información se desea determinar ¿Cuántos 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 tecnología, 30 aprobaron para
estudiar alguna carrera de ciencias financieras, 34 aprobaron para estudiar alguna carrera de
ciencias jurídicas, también se determino que 3 estudiantes aprobaron para estudiar alguna
carrera de ciencias exactas y ciencias financieras pero no de ciencias jurídicas, 4 estudiantes
aprobaron para estudiar alguna carrera de ciencias exactas y ciencias jurídicas pero no de
ciencias financieras, si 5 estudiantes tienen la condición de estudiar alguna carrera de las
tres facultades, se pide determinar:
a) ¿Cuántos estudiantes pueden estudiar solo alguna carrera de Ciencias Exactas?
b) ¿Cuántos estudiantes no pueden estudiar ninguna de estas carreras?
c) ¿Cuántos 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
química de la universidad Autónoma Gabriel René Moreno, se obtuvieron los siguientes
resultados: 60% asisten a las clases de algebra, 50% asisten a las clases de cálculo, 50%
asisten a las clases de química, 30% asisten a las clases de algebra y calculo, 20% asiste a
las clases de cálculo y química, 30% asiste a las clases de algebra y química y 10% asisten
a las clases de las 3 materias, con esta información se pide determinar:
a) ¿Qué porcentaje de estudiantes asiste a las clases de algebra y calculo pero no a la de
química?
b) ¿Qué porcentaje asiste exactamente a dos de estas materias?
c) ¿Qué porcentaje no asiste a ninguna de estas materias?
86) La Universidad Autónoma Gabriel René Moreno está organizando las Olimpiadas de
Matematicas en las materias de matemática, física y química, hay 870 estudiantes en la
203
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
universidad que van a participar de estas olimpiadas de los cuales se sabe que: 400 van a
participar en matematicas, 390 en física, 480 en química, 680 van a participar en
matematicas o física, 210 han sido desclasificados y no podrán participar en ninguna
materia, 90 van a participar en las dos primeras materias pero no en la tercera, 190 solo van
a participar en química, con esta información se pide determinar:
a) ¿Cuántos estudiantes participaran en las tres materias?
b) ¿Cuántos estudiantes pueden participar por lo menos en dos de las materias?
c) ¿Cuántos estudiantes pueden al menos participar en una de las materias?
87) Para estudiar la calidad de enseñanza de los docentes en la Universidad Autónoma
Gabriel René Moreno se consideran tres tipos de defectos, A, B y C como los más
importantes, de un grupo de 120 docentes elegidos al azar se obtuvo que: 49 tienen el
defecto A, 48 tienen el defecto B, 49 tienen el defecto C, 61 de los docentes tiene
exactamente un solo tipo de defecto, 7 docentes tiene los tres tipos de defectos y el resto de
los docentes no presenta ningún tipo de defecto, con esta información se pide determinar:
a) ¿Cuántos docentes tienen dos tipos de defectos?
b) ¿Cuántos docentes no tienen ninguno de estos defectos?
88) En una encuesta realizada a 100 estudiantes para conocer su opinion sobre la calidad de
la Universidad se obtuvieron los siguientes resultados: 42 la calificaron de excelente, 48 la
calificaron de muy buena, 41 la calificaron de regular, 15 estudiantes estaban en duda entre
excelente y muy buena, 17 estaban en duda entre excelente y regular, 18 estaban en duda
entre muy buena y regular, si 10 estudiantes afirmaron que aun la calidad de la Universidad
tiene las 3 virtudes, se pide determinar con esta información ¿Qué cantidad de estudiantes
entrevistados no omitió su opinión sobre la calidad de la Universidad?
89) Un auxiliar de docencia recibe la orden del docente de fotocopiar 57 exámenes que
estaban clasificados por tipo A, B y C y que además algunas preguntas de los exámenes
estaban mezcladas si se sabe que: 22 exámenes eran tipo A, 29 exámenes eran tipo B, 25
exámenes eran tipo C y que de estos 10 solo eran tipo A y 15 solo eran tipo B, 7 eran
solamente del tipo A y B, además 3 exámenes tenían preguntas mezcladas de los tres tipos,
con esta información se pide determinar:
a) ¿Cuántos exámenes son del tipo B y C solamente?
b) ¿Cuántos exámenes son solamente del tipo C?
204
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
c) ¿Cuantos exámenes son del tipo A o B pero no del tipo C?
90) En la universidad se otorgo premios por su desempeño académico a 34 estudiantes de
los cuales 14 recibieron premios en algebra, 13 recibieron premios en cálculo, 21 recibieron
premios en física, si se sabe además que 3 estudiantes recibieron premios en las tres
materias mencionadas, se pide determinar con esta información:
a) ¿Cuántos estudiantes recibieron premios exactamente en una sola materia?
b) ¿Cuántos estudiantes recibieron premios exactamente en dos de estas materias?
91) En una encuesta realizada a 180 estudiantes de ingeniería de la facultad de Ciencias
Exactas y Tecnología se determino que: 62 realizan sus prácticos, 125 asisten a clases, 144
copian en sus exámenes, 106 copian en sus exámenes y asisten a clases, 22 estudiantes
realizan sus prácticas y no asisten a clases, 13 realizan sus prácticas y no copian en sus
exámenes, 15 realizan sus prácticas y copian en sus exámenes pero no asisten a clases, con
esta información se pide determinar:
a) ¿Cuántos estudiantes no realizan ninguna de estas actividades en la Universidad?
b) ¿Cuántos estudiantes realizan las tres actividades?
c) ¿Cuántos estudiantes copian en sus exámenes o realizan su practicas pero no asisten a
clases?
92) A 33 estudiantes que hicieron sus prácticas para ser ingenieros, se les dio la
oportunidad de visitar una industria, una fabrica y un campo petrolero si se sabe que: 15
visitaron la industria, 16 visitaron la fabrica, 16 fueron al campo petrolero, se sabe además
que 5 fueron a la industria y al campo petrolero, 5 fueron a la fabrica y al campo petrolero,
3 fueron a los tres lugares, con esta información se pide determinar:
a) ¿Cuántos visitaron únicamente la industria?
b) ¿Cuántos visitaron la fabrica o el campo petrolero pero no la industria?
c) ¿Cuántos visitaron la industria y el campo petrolero pero no la fabrica?
93) Un ingeniero que dirige la construcción de un modulo de la Universidad distribuye al
personal de la siguiente manera, 43 trabajan en la planta baja, 58 en el segundo piso, 16 en
la planta baja y primer piso, 22 en la planta baja y segundo piso, 7 trabajan en los 3 lugares,
si se sabe que 52 trabajan en uno de estos pisos y 37 en dos pisos a la vez pero no en los
tres, se pide determinar:
a) ¿Cuántos trabajan en la planta baja y primer piso pero no en el segundo piso?
205
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
b) ¿Cuántos trabajan en el primer o segundo piso pero no en la planta baja?
c) ¿Cuántos trabajadores en total contrato dicho ingeniero para la construcción del modulo?
94) En una encuesta realizada a 200 estudiantes acerca de que materia iban a inscribir en el
semestre se obtuvieron los siguientes resultados: 126 van a inscribir la materia C, 124 no
van a inscribir la materia A, 36 estudiantes no van a inscribir la materia A y B, 170
estudiantes dijeron que por lo menos una de esas materias van a inscribir, 60 estudiantes
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 información se pide determinar:
a) ¿Cuántos estudiantes van a inscribir solo la materia B?
b) ¿Cuántos estudiantes van a inscribir la materia A y B?
c) ¿Cuántos 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 están en el comedor
universitario o jugando cartas, 66 están jugando cartas, 50 están en el comedor
universitario, 50 están leyendo un libro en la biblioteca, 27 están jugando cartas y están en
el comedor universitario, 30 están jugando cartas y están en la biblioteca, 21 están en la
biblioteca y están comiendo algo del comedor universitario, con esta información se pide
determinar:
a) ¿Cuántos estudiantes pueden hacer las tres cosas a la vez?
b) ¿Cuántos estudiantes hacen dos de estas actividades?
c) ¿Cuántos estudiantes están solo jugando cartas?
d) ¿Cuántos 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 información 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 información proporcionada se pide determinar:
a) ¿Cuántas madres dijeron estar solamente conformes con el rendimiento de sus hijos?
206
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
b) ¿Cuántas madres dijeron estar solamente desilusionadas con sus hijos?
97) Se realizo una encuesta a una delegación deportiva de estudiantes de la Universidad
formada por 250 estudiantes de la facultad de Tecnología sobre su afición 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
la danza y el estudio, 20 estudiantes se inclinaban por las tres alternativas, se pide
determinar:
a) ¿Cuántos estudiantes tienen al menos una de estas tres preferencias?
b) ¿Cuántos estudiantes no tienen ninguna de estas tres preferencias?
c) ¿Cuántos estudiantes tiene cuando mucho una de estas tres preferencias?
d) ¿Cuántos estudiantes tiene cuando menos dos de estas preferencias?
98) En un estudio realizado a 1000 estudiantes de la universidad Autónoma Gabriel René
Moreno sobre los motivos de su inasistencia a clases, se determino los siguientes
resultados: 400 faltaban a clases porque el docente también incumplía con la asistencia, 500
asumieron que no tenían voluntad de asistir a clases y 600 determinaron que el motivo de
su inasistencia era la falta de pedagogía del docente, además se concluyo también que en
total 500 alumnos se faltaban a clases por dos de estos motivos mencionados anteriormente,
se pide determinar de dicho estudio ¿Qué cantidad de estudiantes respondieron que se
faltaban a clases por los tres motivos?
99) Un docente de la materia de Algebra 1 realiza un sondeo a sus estudiantes en el aula y
les consulta como les había ido en el primer parcial de la materia, las respuestas que obtuvo
de sus estudiantes fueron las siguientes: 75 habían respondido 3 de las 5 preguntas, 60
habían respondido 2 de las 5 preguntas, además se supo también que 35 habían respondido
entre 2 y 3 preguntas de las 5 del examen, 25 entre 1 y 2 preguntas de las 5 del examen, 20
entre 1 y 3 preguntas de las 5 que habían en el examen y por ultimo 10 estudiantes se
animaron a decir que habían respondido 3 preguntas en el examen, si el docente sabe que la
cantidad total de sus alumnos es de 150 estudiantes, se pide determinar de este análisis:
¿Cuantos estudiantes respondieron 1 pregunta de las 5 que había en el examen?
100) En una encuesta Realizada a 200 estudiantes, se determino que: 100 asisten a la
biblioteca para estudiar, 100 asisten a la clase para estudiar, si además se sabe que 50
207
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
asisten a ayudantías y a la biblioteca para estudiar y 50 asisten a la biblioteca y a la clase
para estudiar, se pide determinar ¿Cuántos estudiantes asisten a la ayudantía para estudiar?
PRACTICO 1
AYUDANTIA DE MAT – 100
1. - Sea la Relación
R = {(x, y) / Y = x + 1 con x є R ^ y є R}
Analice si R es función y grafíquela
2.- Dado el Conjunto A = {0, 1, 2, 3,4} y la relación
R = {(x, y) / | x – 2 | = | y – 2 |} c A x A
a) Definir R por extensión
b) Clasificar la Relación
c) Graficar la Relación
3.- Sea R: A → A una Relación 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 Relación de R: A → A que tenga como mínimo 5 pares ordenados y que sea
Simétrica y Transitiva pero no Reflexiva.
5.- Sean los Conjuntos:
208
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
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 Extensión
b) Dr; DIr; Grafica
c) R-1 por Extensión
d) Dr-1; DIr-1 y grafica
6.- Sean los conjuntos y la Relación
A = {x є N / 1 < x ≤ 5}
B = {x є Z / x3 – 3x2 + 2x = 0}
R = {(x, y) / x + y es divisible por 3} c A x B
Determine R y R-1 por Extensión y grafique ambas Relaciones
PRACTICO 2
AYUDANTIA DE MAT – 100
209
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
S = {(y, z) / z = 2y} c B x C
Determinar:
a) R o S
b) R-1 U S-1
c) R ∩ S
3.- Sean los Conjuntos:
A = {0, 1, 2,3}
B = {-1, 2,4}
C = {0, 3, 5,7}
Se definen las relaciones R c A x B y S c B x C mediante:
R = {(x, y) / y = 2x}
S = {(x, y) / z = y +1}
a) Determinar R y S por Extensión
b) Definir la Composición S o R
c) Determinar el Dominio e Imagen de las tres Relaciones
PRACTICO 3
AYUDANTIA DE MAT – 100
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) = (6n 4)
n2 (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)(2 n+1 )
g) P (n) = 12 + 22 + 32 +.................................+ n2 = 6
210
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
1 1 1 1 n
h) P (n) = 1∗2 + 2∗3 + 3∗4 +……………..+ n(n+1) = n+1
PRACTICO 4
AYUDANTIA DE MAT – 100
x
F(x) =
x +2
x +3
(g o f) (x) = x +1
Hallar g (x)
3.- Dada la siguiente relación:
−2
R= {(x¸ y) / y = ^ x є] - ∞ ¸ 0] ^ y є [- 2 ¸ 0 [}
1+x 2
Demostrar analíticamente que es una función y sus propiedades
211
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
4.- Sean las funciones g(x) y f(x); ambas biyectivas, si:
x−2 x+3
f(x) = x+1 y (g o f) (x) = x−2 hallar g(x)
5.- Sea:
1
R = {(x¸ y) / y = 2 x+1 con x є [1¸∞ [; y є] 0¸1/3]
Analice si R es función, averigüe si es inyectiva
6.- Sea f: R→R una función biyectiva
f(x) = 2x-3
Determine (f o f -1) (x)
7.- Dada la relación:
3
R= {(x¸ y) / y = √ x+1 con x є R ^ y є R}
Analice si es función y grafíquela
8.- Sean f ^ g dos funciones
1
f(x) = x + √ x Determine: (f + g) (x) y D(f + g)(x)
1
2/3
g(x) = ( x−1)
PRACTICO 5
AYUDANTIA DE MAT – 100
Determine analíticamente cuales de las siguientes relaciones son funciones y las que
sean funciones determinar si son biyectivas
1.- y = x² R R+
212
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
6.- y = x² [0;2][0;2]
7.- x² + y² = 1 [0;1][-1;1]
213
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012
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