UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO

MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

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

4.- Tipos de Conectivos Lógicos en una Proposición

Existe una infinidad de Conectivos Lógicos dentro de la lógica simbólica sin embargo
para fines de la materia se estudiaran 5 tipos de conectivos lógicos los cuales veremos a
continuación. Por ende un conectivo lógico es una herramienta simbólica que permite
unir más de una oración por lo tanto se utilizaran en las oraciones declarativas
consideradas Compuestas.

a) Conjuncion (^)
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.

e) Disyunción Exclusiva (V)

La disyunción exclusiva dentro de la jerarquía de los conectivos viene a ocupar el
primer lugar. Su simbología matemática es una (v) Normal que a diferencia de la
disyunción tiene una línea debajo de la (V) lo que por lo tanto permite diferenciarlas.
Reemplazara en las oraciones a la palabra O p O q Pero no ambas lo que implica que
se tendrá que elegir una sola opción y no las dos al mismo tiempo. Se leerá tal como se
pronuncie la palabra correspondiente.

5.- Valores de Verdad de Una Proposición

El valor de verdad de una proposición tiene por objetivo demostrar con que valor de
verdad está actuando una proposición. Este valor puede ser verdadero o falso
dependiendo de la veracidad de dicha oración. Se simboliza de la siguiente manera
tomando el siguiente significado.
V (P) = F o V “Significa el valor de verdad de la proposición P es igual a F o V”

4
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

PROBLEMAS QUE INVOLUCRAN RESOLUCIONES CON PROPOSICIONES

a) PROBLEMA TIPO I (Dada una Oración Determinar si es Proposición)

- Determinar si las siguientes Oraciones son Proposiciones
1.- la Gravedad vale 9,81 mt/sg2
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
2.- 3+3=9
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 por que es una declaración declarativa y por lo tanto se puede
decir si es verdadera o falsa
3.- Algebra es una materia de primer semestre
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 por que es una declaración declarativa y por lo tanto se puede
decir si es verdadera o falsa
4.- el cielo es de color celeste
Solución
1er paso.- Verificando que tipo de oración es
Es una declaración Declarativa
2do Paso.- Determinar si es Proposición

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

La conjunción es verdadera solamente cuando el antecedente p y el consecuente q son

también verdaderos como se muestra en su tabla marcado con el color rojo
2.- DISYUNCION (V)
P Q pνq
V V V
V F V
F V V
F F F

La disyunción es falsa solamente cuando el antecedente p y el consecuente q son

también falsos como se muestra en su tabla marcado con el color rojo
3.- IMPLICACION (→)
P Q p→q
V V V
V F F
F V V
F F V

La implicación es falsa solamente cuando el antecedente p es verdadero y el

consecuente q es falso como se muestra en su tabla con el color rojo

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

La disyunción exclusiva resulta ser la negación de la doble implicación ya que será

falsa cuando el antecedente p y el consecuente q tomen ambos a la vez valores
idénticos como se demuestra con rojo en su tabla de verdad.

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

REALIZAR LAS RESPECTIVAS TABLAS DE VERDAD DE LAS SIGUIENTES

PROPOSICIONES:
58.- [(~ 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 V V V
V F F V F V F V
F V V F F V F V
F F V V V F F F
Es una CONTINGENCIA

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

61.- {(p ^ q) ν [p ^ (~ p ν q)]} ν ~ (p → ~ q)

* Solución
* Calculo de las combinaciones
2n = 22 = 4
* Realización de la tabla de verdad
A B C X D Y
p Q ~p ~q p^q ~pνq p^B AνC p→~q ~D XνY
V V F F V V V V F V F
V F F V F F F F V F F
F V V F F V F F V F F
F F V V F V F F V F F
Es una CONTRADICCION

62.- {[p → (q ^ ~ p)] ^ ~ q} ↔ ~ (p ν q)

* Solución
* Calculo de las combinaciones
2n = 22 = 4
* Realización de la tabla de verdad

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:

Donde n es la cantidad de variables o letras que posea la

formula proposicional, cabe recordar que el número de
proposiciones puede ser ilimitado, lo que significa que las
tablas de verdad pueden determinar el valor de verdad de
cualquier razonamiento lógico sin importar el número de
variables que tenga dicho razonamiento, es también importante
mencionar que el razonamiento estudiado mediante una tabla de
verdad no debe ser cualquiera si no uno que tenga y cumpla
con las leyes de la lógica, es decir un pensamiento que tenga
claridad y que indique algo aproximado a la realidad.

37
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

68.- {p ^ [(~ p v r) v ~ q]} v {[(p v ~ q) ^ (~ r ^ p)] v r}

* Solución
* Calculo de las Combinaciones
Tv = 2n = 23 = 8
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

69.- [(~ p ^ q) v ~ r] ↔ [r ^ ~ (p ^ ~ q)]

* 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 ~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.

39
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

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
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

SIMPLIFICAR UTILIZANDO LAS LEYES LOGICAS LAS SIGUIENTES

PROPOSICIONES:
71.- (p ↔ q) ν (p ν q)
* Solución Justificaciones
(p ↔ q) ν (p ν q) Definición Bicondicional
[(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

41
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

(~ 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
[(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

42
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

[(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]
* 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

80.- {[q ν (~ q ^ r)] ν [p → (p ν r)]} → p

* Solución Justificaciones
{[q ν (~ q ^ r)] ν [ p → (p ν r)]} → p Definición Condicional
~{[q ν (~ q ^ r)] ν [ ~ p ν (p ν r)]} ν p Ley de Morgan
{[~ q ^ (~~ q ν ~ r)] ^ [~~ p ^ (~ p ^ ~ r)]} ν p Doble Negación
{[~ q ^ (q ν ~ r)] ^ [p ^ (~ p ^ ~ r)]} ν p Ley Distributiva y Ley asociativa
{[(~ q ^ q) ν (~ q ^ ~ r)] ^ [(p ^ ~ p) ^ ~ r]} ν p Condición de Negación
{[F ν (~ q ^ ~ r)] ^ (F ^ ~ r)} ν p Elemento Neutro y Antitautologia
[(~ q ^ ~ r) ^ F] ν p Condición de Antitautologia
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

44
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

[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
{(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

45
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

[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
(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

46
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

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
(~ 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

Dadas las siguientes formulas proposicionales determinar su respectivo circuito lógico

89.- {(p ^ ~ q) ν [~ q ν (~ p ^ q)]} ^ (p ν q)
* Solución
p ~q p

~q q

~p q

90.- {[p ^ (q ν r)] ν (p ^ ~ r)} ^ (~ p ν ~ q)

* Solución
q
p ~p
r
~q
p ~r

91.- {(p ^ q) v [(~ p ^ ~ q) v (q ^ ~ p)]} ^ p

* Solución
p q
~p ~q p

q ~p

92.- {{p v [q ^ (~ p v q)]} ^ (p v q)} ^ [p ^ (q v r)]

* Solución
p q
p
~p p
q r
q
q

48
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

93.- {[(~ p ^ q) v (p v ~ q)] ^ {p v [~ q ^ (~ p v ~ r)]}} ^ q

* Solución
~p q p
p ~p q
~q
q ~r

94.- (p ^ q) v (p ^ ~ q) v (~ p ^ ~ q)
* Solución
p q
p ~q
~p ~q

95.- [(~ p ^ ~ q) v (p v q)] ^ {p v [q ^ (~ r v ~ p)]}

* Solución
~p ~q p

p ~r
q
q ~p

96.- {[(~ p ^ ~ q) v p] v (p ^ q)} ^ [(p v q) v (~ p ^ ~ q)] ^ ~ p

* Solución
~p ~q p

p q
~p
p q ~p ~q

97.- {(p ^ ~ q) v [~ q v (~ p ^ q)]} ^ (p v q)

* Solución
p ~q p

~q q

49
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

~p q
98.- {(p ^ q) v [(~ p ^ ~ q) v (q ^ ~ r)]} ^ ~ r
* Solución
p q

~p ~q ~r

q ~r

99.- {[(~ p ^ q) v (p v q)] ^ [p v [~ q ^ (~ p v ~ r)]]} ^ q

* Solución
~p q p

p ~p q
~q
q ~r

100.- {[(~ p ^ ~ q) v p] v (p ^ q)} ^ {[p v (~ p ^ ~ q)] ^ ~ p}

* Solución
~p ~q
p
p ~p
p q ~p ~q

50
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

101.- Dado el siguiente circuito simplificar su formula proposicional hasta su minima

expresión y diseñar el nuevo circuito
p ~q p

~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
(~ q ν ~ p) ^ (p ν q)
~q p

~p q

102.- Dado el siguiente circuito simplificar su formula proposicional hasta su minima

expresión y diseñar el nuevo circuito
q
p ~p
r
~q
p ~r

{[p ^ (q ν r)] ν (p ^ ~ r)} ^ (~ p ν ~ q)

* Solución
{[p ^ (q ν r)] ν (p ^ ~ r)} ^ (~ p ν ~ q) Ley Distributiva
{p ^ [(q ν r) ν ~ r]} ^ (~ p ν ~ q) Ley Asociativa
{p ^ [q ν r ν ~ r]} ^ (~ p ν ~ q) Condicion de Negacion
[p ^ (q ν V)] ^ (~ p ν ~ q) Condicion de Tautologia
(p ^ V) ^ (~ p ν ~ q) Elemento Neutro

51
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

p ^ (~ p ν ~ q) Ley de Poretsky
(p ^ ~ q)
p ~q

103.- Dado el siguiente circuito simplificar su formula proposicional hasta su minima

expresión y diseñar el nuevo circuito
p q
~p ~q p

q ~p

{(p ^ q) v [(~ p ^ ~ q) v (q ^ ~ p)]} ^ p

* Solución
{(p ^ q) v [(~ p ^ ~ q) v (q ^ ~ p)]} ^ p Ley Distributiva
{(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

104.- Dado el siguiente circuito simplificar su formula proposicional hasta su minima

expresión y diseñar pel nuevo circuito
p
p q
~p p
q r
q
q
{{p v [q ^ (~ p v q)]} ^ (p v q)} ^ [p ^ (q v r)]
* Solución
{{p v [q ^ (~ p v q)]} ^ (p v q)} ^ [p ^ (q v r)] Ley de Absorcion
[(p v q) ^ (p v q)] ^ [p ^ (q v r)] Idempotencia
(p v q) ^ [p ^ (q v r)] Ley Asociativa

52
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

(p v q) ^ p ^ (q v r) Ley de Absorcion
p ^ (q v r)
q
p
r

105.- Dado el siguiente circuito simplificar su formula proposicional hasta su minima

expresión y diseñar el nuevo circuito
~p q p
p ~p q
~q
q ~r

{[(~ p ^ q) v (p v ~ q)] ^ {p v [~ q ^ (~ p v ~ r)]}} ^ q

* Solución
{[(~ p ^ q) v (p v ~ q)] ^ {p v [~ q ^ (~ p v ~ r)]}} ^ q Ley Asociativa
{[(~ 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

106.- Dado el siguiente circuito simplificar su formula proposicional hasta su minima

expresión y diseñar el nuevo circuito
p q
p ~q
~p ~q
(p ^ q) v (p ^ ~ q) v (~ p ^ ~ q)
* Solución
(p ^ q) v (p ^ ~ q) v (~ p ^ ~ q) Ley Distributiva
[p ^ (q v ~ q)] v (~ p ^ ~ q) Condiciona de Negación
(p ^ V) v (~ p ^ ~ q) Elemento Neutro
p v (~ p ^ ~ q) Ley de Poretsky
pv~q
p

~q

107.- Dado el siguiente circuito simplificar su formula proposicional hasta su minima

expresión y diseñar el nuevo circuito
~p ~q p

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

54
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

(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

108.- Dado el siguiente circuito simplificar su formula proposicional hasta su minima

expresión y diseñar el nuevo circuito
~p ~q p

p q
~p
p q ~p ~q

{[(~ 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
[(~ 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

55
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

109.- Dado el siguiente circuito simplificar su formula proposicional hasta su minima

expresión y diseñar el nuevo circuito
p ~q p

~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

110.- Dado el siguiente circuito simplificar su formula proposicional hasta su minima

expresión y diseñar el nuevo circuito
p q

~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

56
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

[(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

111.- Dado el siguiente circuito simplificar su formula proposicional hasta su minima

expresión y diseñar el nuevo circuito
~p q p

p ~p q
~q
q ~r

{[(~ p ^ q) v (p v q)] ^ [p v [~ q ^ (~ p v ~ r)]]} ^ q

* Solución
{[(~ p ^ q) v (p v q)] ^ [p v [~ q ^ (~ p v ~ r)]]} ^ q Ley Asociativa
{[(~ 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

112.- Dado el siguiente circuito simplificar su formula proposicional hasta su minima

expresión y diseñar el nuevo circuito
~p ~q
p
p ~p
p q ~p ~q

{[(~ p ^ ~ q) v p] v (p ^ q)} ^ {[p v (~ p ^ ~ q)] ^ ~ p}

* Solución
{[(~ p ^ ~ q) v p] v (p ^ q)} ^ {[p v (~ p ^ ~ q)] ^ ~ p} Ley Asociativa
{[(~ p ^ ~ q) v p v (p ^ q)} ^ {[p v (~ p ^ ~ q)] ^ ~ p} Ley de Absorcion
{[(~ p ^ ~ q) v p} ^ {[p v (~ p ^ ~ q)] ^ ~ p} Ley de Poretsky
(~ q v p) ^ [(p v ~ q) ^ ~ p] Ley de Poretsky
(~ q v p) ^ (~ q ^ ~ p) Ley Asociativa
(~ q v p) ^ ~ q ^ ~ p Ley de Absorcion
~q^~p
~p ~q

58
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

113.- Demostrar: ~ (m → k) = m ^ ~ k
1.- ~ (p ν ~ s)
2.- ~ p → (q ν r)
3. - ~ r ν ~ s
4. - (q ν r) → [m ^ (k → ~ s)]
5. - ~ p ^ ~ s (1) Ley de Morgan
6.- ~ p (5) 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
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

115.- Demostrar: 4+3 ≠ 3*2

1.- Vx; Vy (x+3 = y+2 → x+1 =y) Reemplazando los valores de X e Y
2.- 4+1 ≠ 4 X=4
3.- 3*2 = 4+2 Y=4
1.- (4+3 = 4+2 → 4+1 = 4)
2.- 4+1 ≠ 4
3.- 3*2 = 4+2
4.- 4+3 ≠ 4+2 (1:2) Modus Tollens
5.- 4+2 ≠ 4+3 (4) Conmutativa
6.- 4+3 ≠ 3*2 (3:5) Silogismo Hipotético
116.- Demostrar: ~ p
1. r → ~ p
2. s → r
3. s
4. r (2:3) MP
5. ~ p (1:4) MP
117.- Demostrar: H
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

60
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

119.- Demostrar: A
1. ~ G → E
2. E → K
3. ~ G
4. ~ K v ~ L
5. L v M
6. M → A
7. E (1:3) MP
8. K (2:7) MP
9. ~ L (4:8) SD
10. M (5:9) SD
11. A (6:10) MP
120.- Demostrar: X ≠ 0
1. x = y → x = z
2. x = z → x = 1
3. x = 0 → x ≠ 1
4. x = y
5. x = z (1:4) MP
6. x = 1 (2:5) MP
7. x ≠ 0 (3:6) MT
121.- Demostrar: a = 0
1. a ≠ 0 → b = 1
2. a = b → b = c
3. b = c → b ≠ 1
4. a = b ^ a < d
5. a = b (4) S
6. b = c (2:5) MP
7. b ≠ 1 (3:6) MP
8. a = 0 (1:7) MT

61
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

122.- Demostrar la validez de los siguientes razonamientos

Si la ballena es un mamífero entonces toma oxigeno del aire. Si toma oxigeno del aire
entonces no necesita branquias. La ballena es un mamífero y habita en el océano. Por
tanto, habita en el océano y no necesita branquias.
* Solución
* Asignándole un valor a cada proposición
p = Si la ballena es un mamífero
q = Toma oxigeno del aire
r = Necesita branquias
s = Habita en el océano
* Transformando a su expresión Lógica
Demostrar: s ^ ~ r (Método Directo)
1.- p → q
2.- q → ~ r
3.- p ^ s
4.- p (3) Simplificación
5.- s (3) Simplificación
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é

62
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

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
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

63
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

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
6. ~ r (2:5) MP
7. s (3:6) MP
8. p → s (4:7) DC

126.- Demostrar la validez del siguiente razonamiento por el método directo:

Si el docente empieza a tomar el examen antes de la hora habitual entonces Alejandro llega
atrasado al examen de algebra y observa que le pasan el examen resuelto a su compañero.
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
docente empezó a tomar el examen antes de la hora habitual.
En consecuencia: El compañero de Alejandro estaba copiando las preguntas del examen
Solución

Asignándole un valor a cada proposición expuesta en el razonamiento lógico

p = Si el docente empieza a tomar el examen antes de la hora habitual

64
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

q = Alejandro llega atrasado al examen de algebra

r = Observa que le pasaron el examen resuelto a su compañero
s = Si su compañero dice la verdad
t = Estaba copiando las preguntas del examen

Esquematizando el razonamiento lógico para demostrar su veracidad

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

127.- Demostrar la validez del siguiente razonamiento por el método directo:

Si Gabriel va a una fiesta entonces no dejara de estar elegante. Para que Gabriel luzca
guapo es necesario que este aseado. Si Gabriel no fuma cigarrillos entonces se respeta así
mismo. Lucirá guapo entonces estará elegante para la fiesta. Gabriel usa una corbata roja,
cuando va a una fiesta. Respetarse así mismo es suficiente para que Gabriel esté aseado.
Gabriel va a la fiesta.
Por lo tanto: Gabriel usa una corbata roja y fuma cigarrillos
Solución

Asignándole un valor a cada proposición expuesta en el razonamiento lógico

p = Si Gabriel va a una fiesta q = Gabriel estará elegante para la fiesta
r = Para que Gabriel luzca guapo s = Es necesario que este aseado
t = Si Gabriel fuma cigarrillos u = Se respeta así mismo
v = Gabriel usa una corbata roja

Esquematizando el razonamiento lógico para demostrar su veracidad

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

65
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

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
128.- Demostrar la validez del siguiente razonamiento por el método directo:
Si en este verano decido viajar entonces no me preocupare por los gastos que haga. Pero yo
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
caso tratare de descansar y me dejare de hacerme problemas.
Por lo tanto: Tomare mejor una decisión y en este verano decidiré no viajar
Solución

Asignándole un valor a cada proposición expuesta en el razonamiento lógico

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

Esquematizando el razonamiento lógico para demostrar su veracidad

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

129.- Demostrar la validez del siguiente razonamiento por el método directo:

Cuando el hombre no respeta a la naturaleza suceden desastres naturales. La humanidad no
es consciente y eso implica un futuro desalentador. Si no suceden desastres naturales
entonces querrá decir que nos estamos preocupando por el medio ambiente. El hombre

66
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

respeta a la naturaleza o el futuro no será desalentador. La humanidad será consciente y eso

implicara preocuparnos por el medio ambiente.
Por lo tanto: Nos preocupamos por el medio ambiente o la humanidad se destruirá

Solución

Asignándole un valor a cada proposición expuesta en el razonamiento lógico

p = Suceden desastres naturales
q = El hombre respeta a la naturaleza
r = La humanidad es consciente
s = Un futuro desalentador
t = Nos preocupamos por el medio ambiente
u = La humanidad se destruirá

Esquematizando el razonamiento lógico para demostrar su veracidad

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

130.-Demostrar la validez del siguiente razonamiento por el método directo:

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

Asignándole un valor a cada proposición expuesta en el razonamiento lógico

p = Realizare grandes obras para mi ciudad q = Sea profesional
r = Dejare de cumplir todas mis metas s = Ser una persona destacada
t = Tengo buenos principios u = Tengo una oferta de trabajo
w = Tendré que tomar una acertada decisión
Esquematizando el razonamiento lógico para demostrar su veracidad

67
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

Demostrar: t ^ w
1) p → q
2) ~ r → (s ^ t)
3) u ^ ~ q
4) (u ^ s) → w
5) p v ~ r
6) ~ q (2) SIMPLIFICACION 14) t (9) SIMPLIFICACION
7) ~ p (1; 6) MTT 15) t ^ w (13; 14) CONJUNCION
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

131.- Demostrar la validez del siguiente razonamiento por el método directo:

Si aumenta el precio del combustible entonces no habrá forma de transportarse por la
ciudad. El sector transportista se pronuncia y advierten a la población que su tarifa subirá
de precio. Posiblemente el precio del combustible no aumentara o afectara a la canasta
familiar y entonces ocasionara que la ciudadanía se pronuncie y salga en marcha a las calles
en forma de protesta. La tarifa de los transportistas no subirá de precio o se causara un
posible enfrentamiento. El sector transportista se pronuncia entonces querrá decir que habrá
forma de transportarse por la ciudad o no habrá enfrentamiento.
Por lo tanto: La ciudadanía se pronunciara o habrá abusos por parte del transporte
Solución

Asignándole un valor a cada proposición expuesta en el razonamiento lógico

p = Si aumenta el precio del combustible q = Habrá forma de transportarse por la ciudad

r = El sector transportista se pronuncia s = Advierte a la población que su tarifa subirá
t = Afectara a la canasta familiar u = La ciudadanía se pronunciara
v = Saldrá en marcha a las calles a protestar w = Causara un posible enfrentamiento
z = Habrá abusos por parte del transporte

Esquematizando el razonamiento lógico para demostrar su veracidad

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)

68
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

6) r (2) SIMPLIFICACION 11) ~ P (1; 10) MTT

7) s (2) SIMPLIFICACION 12) ~ p v t (11) ADICION
8) q v ~ w (5; 6) MPP 13) u ^ v (3; 12) MPP
9) w (4; 7) MTP 14) u (13) SIMPLIFICACION
10) q (8; 9) MTP 15) u v z (14) ADICION

132.- Demostrar la validez del siguiente razonamiento por el método directo:

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
filmados por las cámaras de seguridad. La policía actuara con rapidez.
Por lo tanto: Los investigadores no analizaran la escena del hecho y atraparan a los
asaltantes o no será fácil identificarlos
Solución

Asignándole un valor a cada proposición expuesta en el razonamiento lógico

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

Esquematizando el razonamiento lógico para demostrar su veracidad

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

133.- Demostrar la validez del siguiente razonamiento por el método directo:

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
no se tendrá que lamentar víctimas.
Por lo tanto: La constitución ha sido modificada
Solución

Asignándole un valor a cada proposición expuesta en el razonamiento lógico

p = Habrá que modificar algunas leyes q = La constitución queda como estaba

r = Habrá desacuerdo entre los ciudadanos s = tendrán que tomar una decisión
t = Habrá guerra civil u = Se podrán lamentar las primeras victimas

Esquematizando el razonamiento lógico para demostrar su veracidad

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

134.- Demostrar la validez del siguiente razonamiento por el método directo:

Me voy a un karaoke o a una discoteca. Es suficiente que tome whisky para que no tome
cerveza. Si voy a un karaoke entonces tomare whisky. Si en último caso decido quedarme
en mi casa entonces no tomare cerveza. Ahora quede indeciso voy a un karaoke o me quedo
en mi casa. En fin si voy a una discoteca tomare cerveza.
Por lo tanto: Me fui a un karaoke

70
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

Solución

Asignándole un valor a cada proposición expuesta en el razonamiento lógico

p = Me voy a un karaoke q = Me voy a una discoteca

r = Tome whisky s = Tome cerveza
t = Si decido quedarme en mi casa

Esquematizando el razonamiento lógico para demostrar su veracidad

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

135.- Demostrar la validez del siguiente razonamiento por el método directo:

Se acabara el mundo o la existencia humana continuara para siempre. Los planetas se
alinearan y causaran grandes cambios en la tierra entonces ya no habrá más esperanza de
vida. La fe se terminara o habrá más esperanza de vida. Habrá grandes cambios en la tierra
y no se acabara el mundo. Los planetas no se alinearan entonces la existencia humana no
continuara para siempre.
Por lo tanto: La fe se terminara y la existencia humana continuara para siempre
Solución

Asignándole un valor a cada proposición expuesta en el razonamiento lógico

p = Se acabara el mundo q = La existencia humana continuara para siempre

r = Los planetas se alinearan s = Causaran grandes cambios en la tierra
t = Habrá mas esperanza de vida u = La fe se terminara

Esquematizando el razonamiento lógico para demostrar su veracidad

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
138.- Demostrar: p v q Método Directo
1. ~ r → p
2. F v G → ~ r
3. G
4. F v G (3) A

72
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

5. ~ r (2:4) MP
6. p (1:5) MP
7. P v Q (6) A

139.- Demostrar: p v q Método Indirecto

1. ~ r → p
2. F v G → ~ r
3. G
4. ~ (p v q) RP
5. ~ p ^ ~ q) (4) LM
6. F v G (3) A
7. ~ r (2;6) MP
8. p (1;7) MP
9. ~ p (5) S
10. p ^ ~ p (8;9) C
11. F (10) Condición de Negación
140.- Demostrar: A Método Directo
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

73
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

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
5. ~ h (3) S
6. ~ g (1; 5) MT
7. ~~ f (2; 6) MP

74
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

8. f (7) Doble Negación

9. f ^ ~ f (4; 8) C
10. F (9) Condición de Negación

144.- Demostrar: r Método Directo

1. p → r
2. q → p
3. q
4. p (2; 3) MP
5. r (1; 4) MP
145.- Demostrar: r Método Indirecto
1. p → r
2. q → p
3. q
4. ~ r RP
5. p (2; 3) MP
6. r (1; 5) MP
7. ~ r ^ r (4; 6) C
8. F (7) Condición de Negación
146.- Demostrar: R v J Método Directo
1. p → (s v j)
2. ~ s
3. p
4. s v j (1; 3) MP
5. j (2; 4) SD
6. R v J (5) A
147.- Demostrar: R v J Método Indirecto
1. p → (s v j)

75
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

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
9. ~ q (2;7) MT
10. r (8;9) SD
11. ~ s (3;10) MT

76
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

12. s (6) S
13. s ^ ~ s (11;12) C
14. F (13) Condición de Negación

150.- Demostrar: (p ^ q) → (s ^ t) Método Condicional

1. m → (~ r v s)
2. m ^ n
3. ~ t → ~ r
4. ~ r → u
5. ~ r → ~ q
6. f → ~ p
7. u → f
8. p ^ q RP
9. p (8) S
10. ~ f (6; 9) MT
11. ~ u (7; 10) MT
12. r (4; 11) MT
13. t (3; 12) MT
14. m (2) S
15. ~ r v s (1; 14) MP
16. s (12 ;15) SD
17. s ^ t (13;16) C
18. (p ^ q) → (s ^ t) (8; 17) Demostración Condicional
151.- Demostrar: (p ^ q) → (s ^ t) Método Indirecto
1. m → (~ r v s)
2. m ^ n
3. ~ t → ~ r
4. ~ r → u

77
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

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
9. r → ~ s (4; 8) Demostración Condicional
153.- Demostrar: r → ~ s Método Indirecto
1. r → (p v q)

78
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

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) Condición 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
5. ~~ s ^ (~ p ^ ~ q) (4) Ley de Morgan
6. s ^ (~ p ^ ~ q) (5) Doble Negación
7. s (6) Simplificación

79
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

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

157.-Determine el valor de verdad de los siguientes enunciados (suponga que el

conjunto Universal es R)
a) Vx, │X│ = X
* Solución
* Verificando el valor de verdad del esquema proposicional
Para que sea considerado verdadero el esquema debe cumplir la condición para todo
Número real
Por tanto si X = -1
│-1│ = -1
1 = -1 Falso
Por lo tanto el valor de verdad del esquema proposicional es Falso
V [Vx, │X│ = X] = F
158.- Determine el valor de verdad del siguiente esquema proposicional
(Э x, X+2 = X) ν (Vx, X+1>X)
* Solución
* Verificando el valor de verdad del esquema proposicional
- Calculo del valor de verdad de (Э x, X+2 = X)
Para que sea considerado verdadero el esquema proposicional debe cumplir la condición
solamente para algún número real
Si X+2 = X “Despejando X se tiene”
X-X = -2

81
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

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
7<6 Falso
Por tanto (V x, ε A) (X+3<6) = F

82
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

- 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
V

83
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

* 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)]}

1.- Dados los conjuntos por extensión:

U = {0, 1, 2, 3, 4, 5, 6, 7, 8,9}
A = {1, 2, 3,4}
B = {2, 4,5}
C= {3, 4, 5,6}
Calcular y realizar su respectivo grafico en un diagrama de venn euler
a) A – B
b) B U A
c) C ∩ A
d) (C Δ A) – B
e) (A U B) C – (B ∩ C)
SOLUCIÓN
a) A = {1, 2, 3,4}
A B
B = {2, 4,5} 1 2
A – B = {1, 3} 4
0 3 5 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 B
1 2
C ∩ A = {3, 4}
4
0 3 5 8
d) C= {3, 4, 5,6}
A = {1, 2, 3,4} 7 A 6 C B 9
1 2
C Δ A = {1, 2, 5,6}
B = {2, 4,5} 4
0 3 5 8
(C Δ A) – B = {1, 6}
7 6 C 9

e) A = {1, 2, 3,4} A B
1 2
B = {2, 4,5}
A U B = {1, 2, 3, 4,5} 4
3 5
(A U B) C = {0, 6, 7, 8,9} 0 8
B = {2, 4,5} 7 6 C 9
C = {3, 4, 5,6}
B ∩ C = {4,5}
(A U B) C – (B ∩ C) = {0, 6, 7, 8,9}
2.- Dados los siguientes conjuntos por 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}

85
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

Determinar:
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}

86
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

(A-B)C = {-2, -1, 0, 1, 2, 3, 6} C = {1, 2, 3, 4}

C = {1, 2, 3, 4} A = {1, 2, 3, 4, 5}
CC= {-2, -1, 0, 5, 6} C ∩ A = {1, 2, 3, 4}
(A-B)C – CC = {1, 2, 3} (A Δ B) - (C ∩A) = {-2, -1, 0, 5}
c) (A-C C) C U B
A= {1, 2, 3, 4, 5}
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}

87
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

B = {-6, 1} B = {-6, 1}
A-B = {3} A Δ B = {-6, 3}
C = {-2, 1, 2} (A Δ B) – B = {3}
(A - B) U C = {-2, 1, 2, 3}
c) (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}

88
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

U = {a, b, c, d, e, f, g, h, i}
Calculo de A
B = {a, b, e, f, h}
B ∩ A = {a, e}
A U B = {a, b, c, e, f, g, h}
A = {a, c, e, g}

8.- Dados los conjuntos:

U = {1, 2, 3, 4, 5, 6, 7, 8}
A = {1, 2, 3, 4}
B = {2, 3, 5, 6}
C = {4, 6, 7, 8}
Determinar el número de elementos de:
a) (A U B) ∩ C b) (A Δ C) c – (B – A)
A = {1, 2, 3, 4} A = {1, 2, 3, 4}
B = {2, 3, 5, 6} C = {4, 6, 7, 8}
A U B = {1, 2, 3, 4, 5, 6} A Δ C = {1, 2, 3, 6, 7, 8}
C = {4, 6, 7, 8} (A Δ C) c = {4, 5}
(A U B) ∩ C = {4, 6} tiene 2 elementos B = {2, 3, 5, 6}
A = {1, 2, 3, 4}
B – A = {5, 6}
(A Δ C) c – (B – A) = {4, 5} Tiene 2 elementos
9.- Dados los siguientes conjuntos
U = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
A = {0, 1, 2, 3, 4, 5}
B = {3, 4, 5, 6, 7, 8, 9}
C = {0, 2, 4, 6, 8}
Determinar

89
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

a) A – B
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

Usando leyes o propiedades de conjuntos demostrar:

11.- (A ∩ B) U (A - B)= A Ley de diferencia
(A ∩ B)U(A ∩ Bc) = A Ley Distributiva
A ∩ (B U Bc) = A Complementación
A∩U=A Identidad
A=A
12.- (A U B) – (C – A) = A U (B –C) Ley de diferencia
(A U B) ∩ (C∩Ac) = A U (B ∩ Cc) Ley del complemento
(A U B) ∩ (Cc U Acc) = A U (B ∩ Cc) Doble complemento
(A U B) ∩ (Cc U A) = A U (B ∩ Cc) Ley Distributiva
A U (B ∩ Cc) = A U (B ∩ Cc)
13.- (A U B) - (A Δ B) = A ∩ B Ley de diferencia simétrica
(A U B) – [(A – B) U (B - A) ] = A ∩ B Ley de diferencia
(A U B) ∩ [(A ∩ Bc) U (B ∩ Ac)] c = A ∩ B Ley del complemento
(A U B) ∩ [(Ac U Bcc) ∩ (Bc ∩ Acc)] = A ∩ B Doble complemento
(A U B) ∩ [(Ac U B) ∩ (Bc ∩ A)] = A ∩ B Ley Asociativa
[(A U B) ∩ (Ac U B)] ∩ (Bc ∩ A) = A ∩ B Ley Distributiva
[B U (A ∩ Ac)] ∩ (Bc U A) = A ∩ B Complementación

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)

15.- A U (B – A) = A U B Ley de Diferencia

A U (B ∩ AC) = A U B Ley Distributiva
(A U B) ∩ (A U AC) = A U B Complementación
(A U B) ∩ U = A U B Identidad
AUB=AUB
16.- [(A ∩ B) U A] – (B ∩ C) = A ∩ (BC U CC) Ley de Absorción
A – (B ∩ C) = A ∩ (BC U CC) Ley de Diferencia
A ∩ (B ∩ C) C = A ∩ (BC U CC) Ley del Complemento
A ∩ (BC U CC) = A ∩ (BC U CC)
17.- [(A Δ B) - A] = AC ∩ B Ley de Diferencia Simétrica
{[(A – B) U (B – A)] - A} = AC ∩ B Ley de Diferencia
{[(A ∩ BC) U (B ∩ AC)] ∩ AC} = AC ∩ B Ley Distributiva
{[(A ∩ BC) ∩ AC] U [(B ∩ AC) ∩ AC]} = AC ∩ B Ley asociativa
{[(A ∩ AC) ∩ BC] U [(AC ∩ AC) ∩ B]} = AC ∩ B Complementación y Idempotencia
{(Ø ∩ BC) U [(AC ∩ B)]}= AC ∩ B Identidad
Ø U [(AC ∩ B)] = AC ∩ B Identidad
AC ∩ B = AC ∩ B
18.- [(A U BC) Δ (B – A)] C U [(A ∩ B) C – (B – A)] Ley de Diferencia y Complemento
[(A U BC) Δ (B ∩ AC)] C U [(AC U BC) ∩ (B ∩ AC) C] Ley del Complemento
[(A U BC) Δ (B ∩ AC)] C U [(AC U BC) ∩ (BC U ACC)] Doble Complemento
[(A U BC) Δ (B ∩ AC)] C U [(AC U BC) ∩ (BC U A)] Ley Distributiva

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

24.- [(A U B) ∩ (A U BC)] – (A – B) Ley Distributiva; Ley de diferencia

[A U (B ∩ BC) ∩ (A ∩ BC) C Complementación; Ley de Morgan
(A U Ø) ∩ (AC U BCC) Identidad; Doble complemento
A ∩ (AC U B) Ley distributiva
(A ∩ AC) U (A ∩ B) Complementación
Ø U (A ∩ B) Identidad
(A ∩ B)
25.- [(A – B) - A] – B Ley de Diferencia
[(A ∩ BC) ∩ AC] ∩ BC Ley Asociativa
[(A ∩ AC) ∩ BC] ∩ BC Complementación
(Ø ∩ BC) ∩ BC Identidad
Ø
26.- [(A Δ B) ∩ A] – B Ley de Diferencia y diferencia simétrica
{[(A – B) U (B – A)] ∩ A} ∩ BC Ley de Diferencia
{[(A ∩ BC) U (B ∩ AC) ∩ A} ∩ BC Ley distributiva
{[A ∩ (A ∩ BC)] U [A ∩ (B ∩ AC)]}∩ BC Ley Asociativa
{[(A ∩ A) ∩ BC] U [(A ∩ AC) ∩ B]} ∩ BC Idempotencia; Complementación
{(A ∩ BC) U (Ø ∩ B)} ∩ BC Identidad
[(A ∩ BC) U Ø] ∩ BC Identidad
(A ∩ BC) ∩ BC Asociativa
(A ∩ BC)

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
Ø

28.- [(A – C) U C] – (A – B) Ley de diferencia

[(A ∩ CC) U C] ∩ (A ∩ BC)C Ley distributiva y Morgan
[(A U C) ∩ (C U CC)] ∩ (AC U B) Complementación
[(A U C) ∩ U] ∩ (AC U B) Identidad
(A U C) ∩ (AC U B)
29.- {[(A U B) - B]} Δ A Ley de diferencia
{[(A U B) ∩ BC]} Δ A Ley distributiva
{[(A ∩ BC) U (B ∩ BC)]} Δ A Complementación
{[(A ∩ BC) U Ø]} Δ A Identidad
(A ∩ BC) Δ A Ley de diferencia simétrica
[(A ∩ BC) - A] U [A - (A ∩ BC)] Ley de diferencia
[(A ∩ BC) ∩ AC] U [A ∩ (A ∩ BC)C] Asociativa y Morgan
[(A ∩ AC) ∩ BC] U [A ∩ (AC U B)] Complementación y distributiva
(Ø ∩ BC) U [(A ∩ AC) U (A ∩ B)] Identidad; Complementación
Ø U [Ø U (A ∩ B)] Identidad
(A ∩ B)]
30.- [(B – C) - C] ∩ (B U CC) Ley de diferencia
[(B ∩ CC) ∩ CC] ∩ (B U CC) Ley asociativa
[(CC ∩ CC) ∩ B] ∩ (B U CC) Idempotencia
(CC ∩ B) ∩ (B U CC) Asociativa
CC ∩ B ∩ (B U CC) Absorción

96
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

CC ∩ B

31.- Si C = {X ε R ^ X<5}, D = {X ε R ^ X<10} y U = R

Calcular:
a) C-D
* Solución
* Calculo de los conjuntos por extensión
C =]- ∞; 5[
D =]- ∞; 10[
* Graficando los conjuntos
C=
0 5

D=
0 10

C-D = Ø
C-D = Ø
b) D-C
D-C =
D-C = [5; 10[ 5 10

c) Dc

97
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

Dc =
Dc = [10; +∞ [ 10

d) CC
CC =
CC = [5; +∞ [ 5

e) C ∩ D
C∩D=
C ∩ D =]-∞; 5[ 5

f) (C-D) C
(C-D) C =

32.- Sean los siguientes conjuntos:

U=R
A = {x / x + 2 ≥ 6}
B = {x / x ≥ 3}
C = {x / -6 < x ≤ 18}
Determinar:
a) (A – B) – (A ∩ C)
b) (A U B) ∩ BC – (C ∩ B)
* Solución
A = {x / x + 2 ≥ 6} B = {x / x ≥ 3}
x+2≥6 B = [3 ; +∞[
x≥4 C = {x / -6 < x ≤ 18}
A = [4; +∞ [ C =]- 6; 18]

U=
0

A=
0 4

B=
0 3

98
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

C=
-6 0 18

A–B= Ø
0

A∩C=
0 4 18

(A – B) – (A ∩ C) = Ø
0

(A – B) – (A ∩ C) = {Ø} Conjunto Vació

33.- Sean los siguientes conjuntos

U=R
A = {x / x2 + x – 6 > 0}
B = {x / | x – 5 | ≥ 4}
C = {x / | x - 4| < 6}
Determinar:
(A U B) ∩ C
* Solución
A = {x / x2 + x – 6 > 0} B = {x / | x – 5 | ≥ 4} C = {x / | x - 4| < 6}
x2 + x – 6 > 0 |x–5|≥4 | x - 4| < 6
(x +3 ) (x -2 ) > 0 -4≥ x -5 ≥ 4 -6 < x – 4 < 6
A =]-3; 2[ -4+5 ≥ x ≥ 4 + 5 -6 + 4 < x < 6 + 4
1≥x≥9 -2 < x < 10
B =]-∞; 1] U [9; +∞ [ C =]-2; 10[

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

34.- Sean los siguientes conjuntos

U=R
A = {x / | x – 1 | > 4}
B = {x / | x – 5 | < 2}
C = {x / | x + 2 | < 1}
Determinar:
(A – B)C ∩ C
 Solución
|x–1|>4 |x–5|<2 |x+2|<1
-4 > x – 1 > 4 -2 < x – 5 < 2 -1 < x + 2 < 1
-4 + 1 > x > 4 + 1 -2 + 5 < x < 2 + 5 -1 – 2 < x < 1 - 2
-3 > x > 5 +3 < x < 7 -3 < x < -1
A =]- α; -3[U]5; +α [ B =]3; 7[ C =]-3; -1[

U=
0

A=
-3 0 5

B=
0 3 7

100
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

C=
-3 -1 0

A–B=
-3 0 7

(A – B)C =
-3 0 7

(A – B)C ∩ C=
-3 -1 0

35.- Sean los siguientes conjuntos

U=R
A = {x / | x – 2 | > 6}
B = {x / | x – 1 | < 4}
C = {x / | x – 3 | > 7}
Determinar:
(A ∆ B) U C
* Solución
|x–2|>6 |x–1|<4 |x–3|>7
-6 > x – 2 > 6 -4 < x – 1 < 4 -7 > x – 3 > 7
-6 + 2 > x > 6 + 2 -4 + 1 < x < 4 + 1 -7 + 3 > x > 7 + 3
-4 > x > 8 -3 < x < 5 -4 > x > 10
A =]-α; -4[U]8; +α [ B =]-3; 5[ C = ]-α; -4[ U ]10; α[

U=
0

A=
-4 0 8

B=
-3 0 5

101
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

C=
-4 0 10

AΔB=
-4 -3 0 5 8

(A Δ B) U C =
-4 -3 0 5 8

36.- Dados los siguientes conjuntos

U=R
A = {x / | x – 5 | > 6}
B = {x / | x – 3 | ≤ 6}
C = {x / | x – 6 | ≤ 6}
Calcular: (A – B) – (A – C)
* Solución
|x–5|>6 |x–3| ≤6 |x–6| ≤6
-6 > x – 5 > 6 -6 ≤ x – 3 ≤ 6 -6 ≤ x – 6 ≤ 6
-6 + 5 > x > 6 + 5 -6 + 3 ≤ x ≤ 6 + 3 -6+6 ≤ x ≤ 6+6
-1 > x > 11 -3 ≤ x ≤9 0 ≤ x ≤ 12
A =]-α; -1[U] 11; α [ B = [-3; 9] C = [0; 12]

U=
0

A=
-1 0 11

B=
-3 0 9

102
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

C=
0 12

A–B=
-3 0 11

A–C=
-1 0 12

(A – B) – (A – C) =
0 11 12

37.- Dados los siguientes conjuntos

U=R
A = {x / | x – 5 | > 6}
B = {x / | x – 3 | ≤ 6}
Calcular:
a) (A – B)C – B
b) (B – A) ∩ AC
* Solución
|x–5|>6 |x–3| ≤6
-6 > x – 5 > 6 -6 ≤ x – 3 ≤ 6
-6 + 5 > x > 6 + 5 -6 + 3 ≤ x ≤ 6 + 3
-1 > x > 11 -3 ≤ x ≤ 9
A =]-α; -1[U]11; α[ B = [-3; 9]

U=
0

A=
-1 0 11

B=
-3 0 9

103
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

A–B=
-3 0 11

(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

104
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

BC =
-6 0 4

AC – BC =
-6 0 10
(AC – BC) – C =
0 10
-6
A–C=
-2 0 6

(A – C) U BC =
-6 0 6

39.- Dados los siguientes conjuntos

U=R
A = [-1; 5]
B =]-α; -6]
C = [- 6; 0] U [3; 6]
Calcular:
a) (A – C) ∩ B
b) B Δ A
* Solución

U=
0

A=
-1 0 5

B=
-6 0

C=
-6 0 3 6

A–C=
0 3

105
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

(A – C) ∩ B = Ø
0

BΔA=
-6 -1 0 5

40.- Dados los siguientes conjuntos

U=R
A = [0; 5]
B =]-α; 5]
C = [- 2; 0] U [3; 6]
Calcular: [(A – C) ∩ B] – (AC U CC)
* Solución

U=
0

A=
0 5

B=
0 5

C=
-2 0 3 6

A–C=
0 3
(A – C) ∩ B =
0 3

106
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

AC =
0 3

CC =
-2 0 3 6

AC U CC =
0

[(A – C) ∩ B] – (AC U CC) = Ø

0

IGUALDAD DE FORMULAS CONJUNTISTAS

41.- Demostrar la siguiente igualdad conjuntista: [A – (A – B)] – B = ɸ
Solución
Justificaciones
[A – (A – B)] – B = ɸ Ley de Diferencia
[A ∩ (A ∩ BC)C] ∩ BC = ɸ Ley del Complemento y Doble Complemento
[A ∩ (AC U B)] ∩ BC = ɸ Ley de Poretsky
(A ∩ B) ∩ BC = ɸ Ley Asociativa
(BC ∩ B) ∩ A = ɸ Ley de Complementación
(ɸ ∩ A) = ɸ Ley de Identidad
Por tanto queda demostrado
Ø=Ø

42.- Demostrar la siguiente igualdad: {BC – [(AC ∩ B) U A]} ∩ [(A U B)C U A] = BC

Solución
Justificaciones
{B – [(A ∩ B) U A]} ∩ [(A U B) U A] = BC Ley de Diferencia y Ley del Complemento
C C C

{BC ∩ [(AC ∩ B) U A]C} ∩ [(AC ∩ BC) U A] = BC Complemento y Ley de Poretsky

{BC ∩ [(ACC U BC) ∩ AC]} ∩ (BC U A) = BC Ley del Doble Complemento
{BC ∩ [(A U BC) ∩ AC]} ∩ (BC U A) = BC Ley de Poretsky
[B ∩ (B ∩ A )] ∩ (B U A) = B
C C C C C
Ley Asociativa y Ley de Idempotencia
(BC∩ AC) ∩ (BC U A) = BC Ley Distributiva
B ∩ (A U A ) = B
C C C
Ley de Complementación
BC∩ U =BC Ley de Identidad
Por tanto queda demostrado
C
B =B C

107
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

43.- Demostrar la siguiente igualdad conjuntista: [(A – B) U (A ∩ B)] – (B ∩ A) = A ∩

BC
Solución
Justificaciones
[(A – B) U (A ∩ B)] – (B ∩ A) = A ∩ BC Ley de Diferencia
[(A ∩ B ) U (A ∩ B)] ∩ (B ∩ A) = A ∩ B
C C C
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 ∩ (B U A ) = A ∩ B
C C C
Ley de Poretsky
Por tanto queda demostrado
A ∩ BC = A ∩
BC
44.- Demostrar la siguiente igualdad conjuntista: [(A ∆ BC) – A] U (B – A)C = BC U A
Solución
Justificaciones
[(A ∆ BC) – A] U (B – A)C = BC U A Ley de Diferencia
[(A ∆ BC) ∩ AC] U (B ∩ AC)C = BC U A Ley del Complemento y Doble Complemento
[(A ∆ BC) ∩ AC] U (BC U A) = BC U A Ley de Diferencia Simétrica
{[(A – BC) U (BC – A)] ∩ AC} U (BC U A) = BC U A Diferencia y Doble Complemento
{[(A ∩ B) U (BC ∩ AC)] ∩ AC} U (BC U A) = BC U A Ley Distributiva
{[(A ∩ B) ∩ AC] U [(BC ∩ AC)] ∩ AC} U (BC U A) = BC U A Asociativa Idempotencia
{[(A ∩ AC) ∩ B] U (BC ∩ AC)} U (BC U A) = BC U A Ley de Complementación
[(ɸ∩ B) U (BC ∩ AC)] U (BC U A) = BC U A Ley de Identidad
(BC ∩ AC) U (BC U A) = BC U A Ley Asociativa
(BC ∩ AC) U BC U A = BC U A Ley de Absorción
Por tanto queda demostrado
BC U A = BC U
A
45.- Demostrar la siguiente igualdad conjuntista: {[(BC – AC) U B] – A} U B =B
Solución
Justificaciones
{[(BC – AC) U B] – A} U B = B Ley de Diferencia y Doble Complemento
{[(BC ∩ A) U B] ∩ AC} U B = B Ley de Poretsky
[(A U B) ∩ A ] U B = B
C
Ley de Poretsky
(AC ∩ B) U B = B Ley de Absorción
Por tanto queda demostrado
B=B

46.- Demostrar la siguiente igualdad conjuntista: [(B – A) U B] ∆ [(A – B) U A] = B ∆

A
Solución
Justificaciones
[(B – A) U B] ∆ [(A – B) U A] = B ∆ A Ley de Diferencia
[(B ∩ AC) U B] ∆ [(A ∩ BC) U A] = B ∆ A Ley de Absorción

BΔA=BΔ
A 108
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

Por tanto queda demostrado

47.- Demostrar la siguiente igualdad de conjuntos: {B – [(A U B) – A]} = A ∩ B

Solución
Justificaciones
{B – [(A U B) – A]} = A ∩ B Ley de Diferencia
{B ∩ [(A U B) ∩ A ] } = A ∩ B
C C
Ley del Complemento y Doble Complemento
{B ∩ [(AC ∩ BC) U A]} = A ∩ B Ley de Poretsky
[B ∩ (A U BC)] = A ∩ B Ley de Poretsky

A∩ B=A
∩B
48.- Demostrar la siguiente igualdad conjuntista: [(A ∆ B) ∆ A] ∆ B = ɸ
Solución
Justificaciones
[(A ∆ B) ∆ A] ∆ B = ɸ Ley de Diferencia Simétrica
{[(A – B) U (B – A)] ∆ A} ∆ B = ɸ Ley de Diferencia
{[(A ∩ BC) U (B ∩ AC)] ∆ A} ∆ B = ɸ Ley de Diferencia Simétrica
{[(A ∩ BC) U (B ∩ AC)] – A} U {A – [(A ∩ BC) U (B ∩ AC)]} ∆ B = ɸ Ley de Diferencia
{[(A ∩ BC) U (B ∩ AC)] ∩ AC} U {A ∩ [(A ∩ BC) U (B ∩ AC)]C} ∆ B = ɸ Distributiva
{[(A ∩ BC) ∩ AC] U [AC ∩ (B ∩ AC)]} U {A ∩ [(A ∩ BC) U (B ∩ AC)]C} ∆ B = ɸ
{[(A ∩ AC) ∩ BC] U [B ∩ (AC ∩ AC)]} U {A ∩ [(A ∩ BC) U (B ∩ AC)]C} ∆ B = ɸ
{ɸ U [B ∩ (AC ∩ AC)]} U {A ∩ [(A ∩ BC) U (B ∩ AC)]C} ∆ B =ɸ Ley de Identidad
{[B ∩ (AC ∩ AC)]} U {A ∩ [(A ∩ BC) U (B ∩ AC)]C} ∆ B = ɸ Ley de Idempotencia
(B ∩ AC) U {A ∩ [(A ∩ BC) U (B ∩ AC)]C} ∆ B = ɸ Ley del Complemento
(B ∩ AC) U {A ∩ [(AC U BCC) ∩ (BC U ACC)]} ∆ B = ɸ Doble Complemento
(B ∩ AC) U {A ∩ [(AC U BCC) ∩ (BC U ACC)]} ∆ B = ɸ Ley Asociativa
(B ∩ AC) U {(AC U B) ∩ A ∩ (BC U A)]} ∆ B = ɸ Ley de Absorción
(B ∩ AC) U [(AC U B) ∩ A] ∆ B = ɸ Ley de Poretsky
[(B ∩ AC) U (B ∩ A)] ∆ B = ɸ Ley Distributiva
[B ∩ (AC U A)] ∆ B = ɸ Ley de Complementación
(B ∩ U) ∆ B = ɸ Ley de Identidad
(B ∆ B) = ɸ Ley de Diferencia Simétrica
(B – B) U (B – B) =ɸ Ley de Diferencia
(B ∩ BC) U (B ∩ BC) = ɸ Ley de Complementación
Ø=Ø
109
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

Por tanto queda demostrado

49.- Demostrar la siguiente igualdad de conjuntos: (A ∩ B) ∆ (B ∩ C) = (A ∆ C) ∩ B

Solución
Justificaciones
(A ∩ B) ∆ (B ∩ C) = (A ∆ C) ∩ B Ley de Diferencia simétrica
[(A ∩ B) – (B ∩ C)] U [(B ∩ C) – (A ∩ B)] = (A ∆ C) ∩ B Ley de Diferencia
[(A ∩ B) ∩ (B ∩ C)C] U [(B ∩ C) ∩ (A ∩ B)C] = (A ∆ C) ∩ B Ley del Complemento
[(A ∩ B) ∩ (BC U CC)] U [(B ∩ C) ∩ (AC U BC)] = (A ∆ C) ∩ B Ley Asociativa
[A ∩ B ∩ (BC U CC)] U [B ∩ C ∩ (AC U BC)] = (A ∆ C) ∩ B Ley de Poretsky
(A ∩ B ∩ C ) U (B ∩ C ∩ A ) = (A ∆ C) ∩ B
C C
Ley Distributiva
B ∩ [(A∩ CC) U (C ∩ AC)] = (A ∆ C) ∩ B Ley de Diferencia
B ∩ [(A – C) U (C – A)] = (A ∆ C) ∩ B Ley de Diferencia Simétrica
B ∩ (A ∆ C) = (A ∆ C) ∩ B Ley Conmutativa
Por tanto queda demostrado
B ∩ (A Δ C) = B ∩ (A Δ C)

50.- Demostrar la siguiente igualdad conjuntista: [(A ∆ B) U A] – B = A ∩ BC

Solución
Justificaciones
[(A ∆ B) U A] – B = A ∩ BC Ley de Diferencia Simétrica
[(A – B) U (B – A) U A] ∩ B = A ∩ B
C C
Ley de Diferencia
[(A ∩ BC) U (B ∩ AC) U A] ∩ BC = A ∩ BC Ley Asociativa
[(A ∩ BC) U A U (B ∩ AC)] ∩ BC = A ∩ BC Ley de Absorción
[A U (B ∩ A )] ∩ B = A ∩ B
C C C
Ley de Poretsky
(A U B) ∩ BC = A ∩ BC Ley de Poretsky

A ∩ BC = A ∩ BC

Por tanto queda demostrado

51.- Demostrar la siguiente igualdad conjuntista: [(C U A) – C] ∆ (A – C)C = AC U C
Solución
Justificaciones
[(C U A) – C] ∆ (A – C)C = AC U C Ley de Diferencia
[(C U A) ∩ CC] ∆ (A ∩ CC)C = AC U C Ley de Poretsky y Ley del Complemento
(A ∩ C ) ∆ (A U C ) = A U C
C C CC C
Ley del Doble Complemento
(A ∩ CC) ∆ (AC U C) = AC U C Ley de Diferencia Simétrica
[(A ∩ C ) – (A U C)] U [(A U C) – (A ∩ CC)] = AC U C Ley de Diferencia
C C C

[(A ∩ CC) ∩ (AC U C)C] U [(AC U C) ∩ (A ∩ CC)C] = AC U C Ley del Complemento

[(A ∩ C ) ∩ (A ∩ C )] U [(A U C) ∩ (A U C )] = A U C Doble Complemento
C CC C C C CC C

[(A ∩ CC) ∩ (A ∩ CC)] U [(AC U C) ∩ (AC U C)] = AC U C Ley de Idempotencia

(A ∩ C ) U (A U C) = A U C
C C C
Ley Asociativa
(A ∩ CC) U AC U C = AC U C Ley de Poretsky
Por tanto queda demostrado
C
A UC=A C

UC

110
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

52.- Demostrar la siguiente igualdad conjuntista: [C – (A U B)] U B = B U (C ∩ AC)

Solución
Justificaciones
[C – (A U B)] U B = B U (C ∩ A ) C
Ley de Diferencia
[C ∩ (A U B)C] U B = B U (C ∩ AC) Ley del Complemento
[C ∩ (A ∩ B )] U B = B U (C ∩ A )
C C C
Ley Distributiva
(B U C) ∩ [(AC ∩ BC) U B]= B U (C ∩ AC) Ley de Poretsky
(B U C) ∩ (B U AC) = B U (C ∩ AC) Ley Distributiva
Por tanto queda demostrado
B U (C ∩ A ) = B U (C ∩ A )
C C

53.- Demostrar la siguiente igualdad de conjuntos: B – [C – (C – B)] = B – C

Solución
Justificaciones
B – [C – (C – B)] = B – C Ley de Diferencia
B ∩ [C ∩ (C ∩ BC)C]C = B – C Ley del Complemento y Doble Complemento
B ∩ [C U (C ∩ B )] = B – C
C C
Ley de Poretsky
B ∩ (CC U BC) = B – C Ley de Poretsky
B∩C =B–C
C
Ley de Diferencia
Por tanto queda demostrado
B–C=B
–C
54.- Demostrar la siguiente igualdad de conjuntos: (B – A) ∆ (C – A) = (B ∆ C) – A
Solución
Justificaciones
(B – A) ∆ (C – A) = (B ∆ C) – A Ley de Diferencia
(B ∩ A ) ∆ (C ∩ A ) = (B ∆ C) – A
C C
Ley de Diferencia Simétrica
[(B ∩ AC) – (C ∩ AC)] U [(C ∩ AC) – (B ∩ AC)] = (B ∆ C) – A Ley de Diferencia
[(B ∩ A ) ∩ (C ∩ A ) ] U [(C ∩ A ) ∩ (B ∩ A ) ] = (B ∆ C) – A
C C C C C C
Complemento
[(B ∩ AC) ∩ (CC U ACC)] U [(C ∩ AC) ∩ (BC U ACC)] = (B ∆ C) – A Doble Complemento
[(B ∩ AC) ∩ (CC U A)] U [(C ∩ AC) ∩ (BC U A)] = (B ∆ C) – A Ley Asociativa
[B ∩ A ∩ (C U A)] U [C ∩ A ∩ (B U A)] = (B ∆ C) – A
C C C C
Ley de Poretsky
[(B ∩ AC ∩ CC)] U [(C ∩ AC ∩ BC)] = (B ∆ C) – A Ley Distributiva
[(B ∩ CC) U (C ∩ BC)]∩ AC = (B ∆ C) – A Ley de Diferencia
[(B – C) U (C – B)] – A = (B ∆ C) – A Ley de Diferencia Simétrica
Por tanto queda demostrado
(B Δ C) – A = (B Δ C) – A
AAA
55.- Demostrar la siguiente igualdad:{{B – [(A U B) ∩ (B – A)]}C ∆ B}C = B ∩ AC
Solución
Justificaciones
{{B – [(A U B) ∩ (B – A)]}C ∆ B}C = B ∩ AC Ley de Diferencia
{{B ∩ [(A U B) ∩ (B ∩ A )] } ∆ B} = B ∩ A Complemento y Doble Complemento
C C C C C

{{BC U [(A U B) ∩ (B ∩ AC)]} ∆ B}C = B ∩ AC Ley Asociativa

{{BC U [(A U B) ∩ B ∩ AC]} ∆ B}C = B ∩ AC Ley de Absorción
{[BC U (B ∩ AC)] ∆ B}C = B ∩ AC Ley de Poretsky
[(B U A ) ∆ B] = B ∩ A
C C C C
Ley de Diferencia Simétrica

111
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

{[(BC U AC) – B] U [B – (BC U AC)]}C = B ∩ AC Ley de Diferencia

{[(BC U AC) ∩ BC] U [B ∩ (BC U AC)C]}C = B ∩ AC Complemento y Doble Complemento
{[(B ∩ A) U B] ∩ [BC U (BC U AC)]} = B ∩ AC Ley de Absorción y Ley Asociativa
{B ∩ [AC U (BC U BC)]} = B ∩ AC Ley de Idempotencia
[B ∩ (AC U BC)] = B ∩ AC Ley de Poretsky

B ∩ AC = B ∩ AC

SIMPLIFICACION DE FORMULAS CONJUNTISTAS

56.- Simplificar la siguiente formula conjuntista: [A – (A – B)] – [B – (B – A)]

Solución
Justificaciones
[A – (A – B)] – [B – (B – A)] Ley de Diferencia
[A ∩ (A ∩ BC)C] ∩ [B ∩ (B ∩ AC)C]C Ley de Morgan y Doble Complemento
[A ∩ (A U B)] ∩ [B ∩ (B U A)]
C C C
Ley de Poretsky
(A ∩ B) ∩ (B ∩ A)C Ley Conmutativa
(A ∩ B) ∩ (A ∩ B)C Ley de Complementación

57.- Simplificar la siguiente formula conjuntista: [A ∆ (A – B)] U [B – (A – B)]

Solución

112
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

Justificaciones
[A ∆ (A – B)] U [B – (A – B)] Ley de Diferencia y Diferencia Simétrica
{[A – (A – B)] U [(A – B) – A]} U [B ∩ (A ∩ BC)C] Ley de Diferencia y Ley de Morgan
{[A ∩ (A ∩ BC)C] U [(A ∩ BC) ∩ AC]} U [B ∩ (AC U BCC)] Morgan; Doble Complemento
{[A ∩ (AC U BCC)] U [(A ∩ BC) ∩ AC]} U [B ∩ (AC U B)] Complemento Absorción
{[A ∩ (AC U B)] U [(A ∩ BC) ∩ AC]} U B Ley de Poretsky y Ley Asociativa
{(A ∩ B) U [(A ∩ AC) ∩ BC]} U B Ley de Complementación
[(A ∩ B) U (ɸ ∩ BC)] U B Ley de Identidad
[(A ∩ B) U ɸ] U B Ley de Identidad
(A ∩ B) U B Ley de Absorción

58.- Simplificar la siguiente formula conjuntista: [(AC – BC) Δ A] U B

Solución
Justificaciones
[(AC – BC) Δ A] U B Ley de Diferencia y Doble Complemento
[(A ∩ B) Δ A] U B
C
Ley de Diferencia Simétrica
{[(AC ∩ B) – A] U [A – (AC ∩ B)]} U B Ley de Diferencia
{[(AC ∩ B) ∩ AC] U [A ∩ (AC ∩ B)C]} U B Asociativa; Complemento y Complemento
{[(AC ∩ AC) ∩ B] U [A ∩ (A U BC)]} U B Ley de Idempotencia y Ley de Absorción
[(AC ∩ B) U A] U B Ley de Poretsky
(A U B) U B Ley Asociativa y Ley de Idempotencia

AUB

59.- Simplificar la siguiente formula conjuntista: {[(B U A) ∩ AC] – (B – A)} Δ A

Solución
Justificaciones
{[(B U A) ∩ AC] – (B – A)} Δ A Ley de Poretsky y Ley de Diferencia
[(B ∩ A ) ∩ (B ∩ A ) ] Δ A
C C C
Ley del Complemento y Doble Complemento
[(B ∩ AC) ∩ (BC U A)] Δ A Ley Asociativa
[B ∩ A ∩ (B U A)] Δ A
C C
Ley de Poretsky
(B ∩ AC ∩ BC) Δ A Ley de Complementación y Ley de Identidad
(Ø Δ A) Ley de Diferencia Simétrica
[(Ø – A) U (A – Ø)] Ley de Diferencia
[(Ø ∩ AC) U (A ∩ U)] Ley de Identidad
(Ø U A) Ley de Identidad

113
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

60.- Simplificar la siguiente formula conjuntista: [(A – B) U (B U AC)] ∩ (A ∆ B)

Solución
Justificaciones
[(A – B) U (B U AC)] ∩ (A ∆ B) Ley de Diferencia
[(A ∩ B ) U (B U A )] ∩ (A ∆ B) Ley Asociativa
C C

[(A ∩ BC) U B U AC] ∩ (A ∆ B) Ley de Poretsky

[(A U B) U A ] ∩ (A ∆ B)
C
Ley Asociativa y Ley de Diferencia Simétrica
[(A U AC) U B] ∩ [(A – B) U (B – A)] Complementación; Identidad y Ley de Diferencia
U ∩ [(A ∩ BC) U (B ∩ AC)] Ley de Identidad
[(A ∩ B ) U (B ∩ A )]
C C
Ley de Diferencia Simétrica

AΔB

61.- Simplificar la siguiente fórmula:{{[(B – A) – B] ∆ [A – (B – A)]} U (A U B)} ∩ BC

Solución
Justificaciones
{{[(B – A) – B] ∆ [A – (B – A)]} U (A U B)} ∩ BC Ley de Diferencia
{{[(B ∩ A ) ∩ B ] ∆ [A ∩ (B ∩ A ) ]} U (A U B)} ∩ B Ley Asociativa; Complemento
C C C C C

{{[(B ∩ BC) ∩ AC] ∆ [A ∩ (BC U ACC)]} U (A U B)} ∩ BC Complementación; Identidad

{{ɸ ∆ [A ∩ (BC U ACC)]} U (A U B)} ∩ BCLey de Doble Complemento y Absorción
[(ɸ ∆ A) U (A U B)] ∩ BC Ley de Diferencia Simétrica
{[(ɸ - A) U (A - ɸ)] U A U B} ∩ BC Ley de Diferencia
{[(ɸ ∩ 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

62.- Simplificar la siguiente formula conjuntista: [A ∆ (B ∆ A)]

Solución
Justificaciones
[A ∆ (B ∆ A)] Ley de Diferencia Simétrica
{[A – (B ∆ A)] U [(B ∆ A) – A]} Ley de Diferencia y Diferencia Simétrica
{A ∩ [(B – A) U (A – B)]C} U {[(B – A) U (A – B)] ∩ AC} ∆ B Ley de Diferencia
{A ∩ [(BC U A) ∩ (AC U B)]} U {[(B ∩ AC) U (A ∩ BC)] ∩ AC} Ley Asociativa
{[A ∩ (BC U A)] ∩ (AC U B)} U {[(B ∩ AC) ∩ AC] U [(A ∩ BC)] ∩ AC} Ley de Absorción
{A ∩ (AC U B)} U {[(B ∩ AC) ∩ AC] U [(A ∩ BC)] ∩ AC} ∆ B Poretsky; Ley Asociativa
{(A ∩ B) U {[(AC ∩ AC) ∩ B] U [(A ∩ AC)] ∩ BC}} ∆ B Idempotencia; Complementación
{(A ∩ B) U [(AC ∩ B) U (ɸ ∩ BC)]} ∆ B Ley de Identidad

114
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

{(A ∩ B) U [(AC ∩ B) U ɸ]} Ley de Identidad

[(A ∩ B) U (AC ∩ B)] Ley Distributiva
[B ∩ (A U AC)] Ley de Complementación y Ley de Identidad

63.- Simplificar la siguiente formula conjuntista: [A – (B ∆ A)]

Solución
Justificaciones
[A – (B ∆ A)] Ley de Diferencia y Diferencia Simétrica
{A ∩ [(B – A) U (A – B)] }C
Diferencia, Complemento y Doble Complemento
{A ∩ [(BC U A) ∩ (AC U B)]} Ley Asociativa y Ley de Absorción
[A ∩ (A U B)]
C
Ley de Poretsky

A∩B

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) ∩ A] U [B ∩ (B U A)]
C C C
Ley de Absorción
[(A ∆ B)C ∩ A] U BC Ley de Diferencia Simétrica
{[(A – B) U (B – A)] ∩ A} U B
C C
Ley de Diferencia
{[(A ∩ BC) U (B ∩ AC)]C ∩ A} U BC 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
[(AC U B) ∩ A] U BC Ley de Poretsky
(A ∩ B) U B C
Ley de Poretsky

A U BC

65.- Simplificar la siguiente formula conjuntista: [C – (A U B)] ∩ [A – (C – A)]

Solución
Justificaciones
[C – (A U B)] ∩ [A – (C – A)] Ley de Diferencia
[C ∩ (A U B) ] ∩ [A ∩ (C ∩ A ) ]
C C C
Ley del Complemento y Doble Complemento
[C ∩ (AC ∩ BC)] ∩ [A ∩ (CC U A)] Ley de Absorción
[C ∩ (A ∩ B )] ∩ A
C C
Ley Asociativa
(A ∩ AC) ∩ (BC ∩ C) Ley de Complementación y Ley de Identidad

115
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

66.- Simplificar la siguiente formula conjuntista: [(B – C) ∆ A] U (A ∩ B)

Solución
Justificaciones
[(B – C) ∆ A] U (A ∩ B) Ley de Diferencia
[(B ∩ CC) ∆ A] U (A ∩ B) Ley de Diferencia Simétrica
{[(B ∩ C ) – A] U [A – (B ∩ C )]} U (A ∩ B)
C C
Ley de Diferencia
{[(B ∩ CC) ∩ AC] U [A ∩ (B ∩ CC)C]} U (A ∩ B) Complemento y Doble Complemento
{[(B ∩ CC) ∩ AC] U [A ∩ (BC U C)]} U (A ∩ B) Ley Asociativa
{[A ∩ (BC U C)] U (A ∩ B)} U [(B ∩ CC) ∩ AC] Ley Distributiva
{A ∩ [(BC U C) U B]} U [(B ∩ CC) ∩ AC] Asociativa; Complementación
(A ∩ U) U [(B ∩ C ) ∩ A ]
C C
Ley de Identidad
A U [(B ∩ CC) ∩ AC] Ley Distributiva
(A U A ) ∩ [A U (B ∩ C )]
C C
Ley de Complementación
U ∩ [A U (B ∩ CC)] Ley de Identidad

A U (B ∩ CC)

67.- Simplificar la siguiente formula conjuntista: {[A – (B – C)] – (C – A)} – C

Solución
Justificaciones
{[A – (B – C)] – (C – A)} – C Ley de Diferencia
{[A ∩ (B ∩ C ) ] ∩ (C ∩ A ) } ∩ C
C C C C C
Ley del Complemento y Doble Complemento
{[A ∩ (BC U C)] ∩ (CC U A)} ∩ CC Ley Asociativa
[A ∩ (B U C)] ∩ [(C U A) ∩ C ]
C C C
Ley de Absorción
[A ∩ (BC U C)] ∩ CC Ley Asociativa y Ley de Poretsky

A ∩ BC ∩ CC

68.- Simplificar la siguiente formula conjuntista: {[(B – C) U A] ∩ B} – (A – B)

Solución
Justificaciones
{[(B – C) U A] ∩ B} – (A – B) Ley de Diferencia
{[(B ∩ C ) U A] ∩ B} ∩ (A ∩ B )
C C C
Ley del Complemento y Doble Complemento
{[(B ∩ CC) U A] ∩ B} ∩ (AC U B) Ley Asociativa
[(B ∩ C ) U A] ∩ B ∩ (A U B)
C C
Ley de Absorción
[(B ∩ CC) U A] ∩ B Ley Distributiva
[B ∩ (B ∩ C )] U (B ∩ A)
C
Ley Asociativa
[(B ∩ B) ∩ CC)] U (B ∩ A) Ley de Idempotencia
(B ∩ C ) U (B ∩ A)
C
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

116
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

{[(A ∩ CC) U C] ∩ [(A – C) U (C – A)]} ∩ CC Ley de Poretsky y Ley de Diferencia

{(A U C) ∩ [(A ∩ C ) U (C ∩ A )]} ∩ C
C C C
Ley Distributiva
{[(A U C) ∩ A ∩ CC] U [(A U C) ∩ C ∩ AC]} ∩ CC Ley de Absorción
[(A ∩ C ) U (C ∩ A )] ∩ C
C C C
Ley Distributiva
[(A ∩ CC) ∩ CC] U [(C ∩ AC) ∩ CC] Ley Asociativa, Identidad y Complementación
(CC ∩ A) U (Ø ∩ AC) Ley de Identidad

A ∩ CC

70.- Simplificar la siguiente formula conjuntista: {[C – (A ∩ C)] ∆ C} – [(B – C)C ∩ B]

Solución
Justificaciones
{[C – (A ∩ C)] ∆ C} – [(B – C) ∩ B]
C
Ley de Diferencia
{[C ∩ (A ∩ C)C] ∆ C} ∩ [(B ∩ CC)C ∩ B]C Ley del Complemento y Doble Complemento
{[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 ∩ A ) ∆ C] ∩ [(B ∩ C ) U B ]
C C C
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

{[(C ∩ AC) ∩ CC] U [C ∩ (C ∩ AC)C]} ∩ (CC U BC) Asociativa, Identidad y Complemento

{(ɸ ∩ AC) U [C ∩ (CC U A)]} ∩ (CC U BC) Ley de Identidad y Ley de Poretsky
[ɸ U (C ∩ A)] ∩ (CC U BC) Ley de Identidad
(C ∩ A) ∩ (CC U BC) Ley Asociativa y Ley de Poretsky

A ∩ BC ∩ C

71.- Simplificar la siguiente formula conjuntista: [(A – B) – C] U C

Solución
Justificaciones
[(A – B) – C] U C Ley de Diferencia
[(A ∩ BC) ∩ CC] U C Ley Distributiva
[(A ∩ B ) U C] ∩ (C U C ) Ley de Complementación
C C

[(A ∩ BC) U C] ∩ U Ley de Identidad

(A ∩ BC)
UC
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

{[B ∩ (AC U B)] U (A ∩ CC)} ∩ (A ∆ B)C Ley de Diferencia Simétrica

{[B ∩ (A U B)] U (A ∩ C )} ∩ [(A – B) U (B – A)] Absorción, Ley de Diferencia
C C C

{[B U (A ∩ CC)} ∩ [(A ∩ BC) U (B ∩ AC)]C Complemento y Doble Complemento

[B U (A ∩ C )] ∩ [(A U B) ∩ (B U A)]
C C C
Ley Distributiva

117
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

(B U A) ∩ (B U CC) ∩ (AC U B) ∩ (BC U A) Ley Asociativa

[(B U A) ∩ (BC U A)] ∩ (B U CC) ∩ (AC U B) Ley Distributiva
[A U (B ∩ BC)] ∩ (B U CC) ∩ (AC U B) Complementación y Ley de Identidad
A ∩ (B U CC) ∩ (AC U B) Ley Asociativa y Ley de Poretsky
A ∩ B ∩ (B U CC) Ley de Absorción

A∩B

73.- Simplificar la siguiente formula conjuntista: [CC – (C – B)] – (B – C)

Solución
Justificaciones
[CC – (C – B)] – (B – C) Ley de Diferencia
[C ∩ (C ∩ B ) ] ∩ (B ∩ C )
C C C C C
Ley del Complemento y Doble Complemento
[CC ∩ (CC U B)] ∩ (BC U CC) Ley de Absorción
[C ∩ (B U C )]
C C C
Ley de Absorción

CC

74.- Simplificar la siguiente fórmula: [AC – (B – CC)] ∆ [(A U B) – (AC∩ B)]

Solución
Justificaciones
[A – (B – C )] ∆ [(A U B) – (A ∩ B)]
C C C
Ley de Diferencia y Doble Complemento
[AC ∩ (B ∩ C)C] ∆ [(A U B) ∩ (AC∩ B)C] Ley del Complemento y Doble Complemento
[AC ∩ (BC U CC)] ∆ [(A U B) ∩ (A U BC)] Ley Distributiva
[AC ∩ (BC U CC)] ∆ [A U (B ∩ BC)] Ley de Complementación y Ley de Identidad
[A ∩ (B U C )] ∆ A
C C C
Ley de Diferencia Simétrica
{[AC ∩ (BC U CC)] – A} U {A – [AC ∩ (BC U CC)]} Ley de Diferencia
{[A ∩ (B U C )] ∩ A } U {A ∩ [A ∩ (B U C )] } Asociativa y Ley del Complemento
C C C C C C C C

{[AC ∩ AC ∩ (BC U CC)]} U {A ∩ [ACC U (BCC ∩ CCC)]} Idempotencia; Complemento

{[AC ∩ (BC U CC)]} U {A ∩ [A U(B ∩ C)]} Ley de Absorción
{[A ∩ (B U C )]} U A
C C C
Ley Distributiva
(A U AC) ∩ [A U (BC U CC)] Ley de Complementación y Ley de Identidad

A U BC U
CC

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?

118
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

* Solución
U = 1000
F U B U T = 800
F = 400 n (F U B U T) = n(F) + n(B) + n(T) - n(F ∩ B) - n(F ∩ T) - n(B ∩ T) + n(B ∩ F ∩ T)
B = 350 800 = 400 + 350 +300 – 100 - 80 – 130 + x
T = 300 x = 800 – 400 – 350 – 300 + 100 + 80 +130
F ∩ B = 100 x = 60
B ∩ T = 130 (F U B U T) C = U - (F U B U T) = 1000 – 800 = 200
F ∩ T = 80
U = 1000

F 280 40 B
(F U B U T)C =?
180

20 60
70 20
T
150

200

76.- En una Institución Educativa se aportan los siguientes datos:

70 alumnos cursan Algebra, 60 cursan Botánica, 80 Contabilidad. 30 cursan solo
Algebra, 30 cursan Contabilidad y Botánica, 20 cursan Algebra y Contabilidad, 5
cursan Algebra, Contabilidad y Botánica.

119
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

Determine:
a) Los que cursan, Algebra y Botánica
b) Solo Botánica
c) Solo Contabilidad
d) Algebra o Botánica A B
e) Total de estudiantes 30 10
20
* Solución
U=? 15 5
A = 70 25

B = 60
35 C
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

120
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

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.
¿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
(R U M)C =? 34 22
(M – R) U (R U M) =?
C 14
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

121
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

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.
¿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
H I
B = 136 50 160 20
C
(B U H U I) =?

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

122
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

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
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 S
S = 40 a = 42 b= 8 c= 20
T = 30
P ∩ S = 15 d =3 e=7
P ∩ T = 10 f=5

S ∩ T = 12
a) (P U S) – T=? g =15 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

123
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

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
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

Los resultados obtenidos dan a conocer que:

a)
n (E – P) = 30
b)
n (P U E)C = 20

82.- En una encuesta realizada a 1000 postulantes para ingresar a la Universidad, se

les consulto sobre sus preferencias entre las Facultades de Tecnología y Ciencias
Económicas, obteniéndose los siguientes resultados: 700 respondieron que tenían el
interés de estudiar en la Facultad de Tecnología, 400 respondieron que tenían interés

124
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

en estudiar en la Facultad de Ciencias Económicas, se pide determinar de esta

encuesta:
a) ¿Cuántos estudiantes tienen interés por estudiar en las dos facultades?
b) ¿Cuántos estudiantes tienen interés de estudiar en Tecnología o Económicas pero
no ambas?
Solución
Datos del Problema Solución del Ejercicio Aplicando la Formula General
U = 1000 a) n (T ∩ E) = n (T) + n (E) – n (T U E) b) n (T ∆ E) = n (T – E) U n (E – T)
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

600 100
300

Por tanto los resultados obtenidos dan a conocer que:

a)
n (T ∩ E) = 100
b)
n (T Δ E) = 900

83.- En un estudio realizado a 1500 estudiantes de la Facultad de Tecnología sobre su

preferencia entre las materias de Cálculo y Algebra 1000 respondieron lo siguiente:

125
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

600 prefieren la materia de Cálculo y 700 prefieren la materia de Algebra, se pide

determinar de este estudio:
a) ¿Cuantos estudiantes Prefieren Calculo y Algebra?
b) ¿Cuántos estudiantes prefieren solamente Algebra?
Solución
Datos del Problema Solución del Ejercicio Aplicando la Formula General
U = 1500 a) n (C U A) = n (C) + n (A) – n (C ∩ A)
n (C U A) = 1000 n (C ∩ A) = n (C) + n (A) – n (C U A)
n (C U A)C = 500 n (C ∩ A) = 600 + 700 – 1000
n (C) = 600 n (C ∩ A) = 300
n (A) = 700 b) n (A – C) = n (A) – n (C ∩ A)
n (C ∩ A) =? n (A – C) = 700 – 300
n (A – C) =? n (A – C) = 400
Diagrama de Venn U= 1500
C A

300 300
400

500

Por tanto los resultados obtenidos dan a conocer:

a)
n (C ∩ A) = 300
b)
n (A – C) = 400

84.- Un estudiante de la Universidad Autónoma Gabriel René Moreno cada mañana

para dirigirse a dicha casa superior de estudios utiliza dos sistemas de transporte, el

126
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

Ómnibus y el Taxi, si se sabe que se dirigió a la Universidad 20 mañanas en el

ómnibus y 15 mañanas en un taxi, y además que hubo 4 mañanas que se dirigió
utilizando los dos medios de transporte, se pide determinar:
a) ¿Cuántas mañanas el estudiante se dirigió a la Universidad?
b) ¿Cuántas mañanas el estudiante utilizo o el Ómnibus o el taxi pero no los dos
medios a la vez?
Solución
Datos del Problema Solución del Problema
n (O) = 20 a) n (O U T) = n (O) + n (T) – n (O ∩ T)
n (T) = 15 n (O U T) = 20 + 15 – 4
n (O ∩ T) = 4 n (O U T) = 31
n (O U T) =? b) n (O ∆ T) = n (O – T) U n (T – O)
n (O ∆ T) =? n (O Δ T) = 16 + 11
n (O ∆ T) = 27
Diagrama de Venn
U= 31
O T

16 4
11

Por tanto los resultados obtenidos dan a conocer:

a)
n (O U T) = 31
b)
n (O Δ T) = 27

85.- Un estudiante realiza una encuesta a sus compañeros de clase consultándoles

sobre sus preferencias en los horarios en la cual les gustaría estudiar, los resultados

127
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

que obtuvo fueron los siguientes: 60% les gustaría estudiar en la mañana, 50% les
gustaría estudiar en la tarde, al menos el 90% les gustaría estudiar en uno de estos
horarios, lo que el estudiante quiere determinar con esta encuesta es:
a) ¿Qué porcentaje de sus compañeros no prefieren ninguno de estos horarios?
b) ¿Qué porcentaje de sus compañeros prefieren estudiar en los dos horarios?
Solución
Datos del Problema Solución del Ejercicio Aplicando la Formula General
n (M U T) = 90% b) n (M U T) = n(M) + n(T) – n(M ∩ T)
n (M) = 60% n (M ∩ T) = n (M) + n (T) - n (M U T)
n (T) = 50% n (M ∩ T) = 60% + 50% - 90%
C
n (M U T) =? n (M ∩ T) = 20%
n (M ∩ T) =?
a) n (M U T)C = n (U) – n (M U T)
n (M U T)C = 100% - 90%
n (M U T)C = 10%

Diagrama de Venn
U= 100%
M T

40% 20%
30%

10%

Por tanto los resultados obtenidos dan a conocer:

a)
n (M U T)C =
b) 10%
n (M ∩ T) = 20%

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

128
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

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

Solución del Ejercicio Aplicando las Ecuaciones de Primer Grado

a) Primera Ecuación: b = 400
Segunda Ecuación: a + b + c = 550
De la primera y segunda ecuación se obtiene que:
a + c = 550 – b a + c = 550 – 400
a + c = 150
n [(A U C) – B] = a + c

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

87.- En una encuesta realizada a los estudiantes de Tecnología de la U.A.G.R.M se

determino que: 60 estudiantes asistían a los laboratorios de Física, de los cuales 30

129
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

también asistían a los laboratorios de Química, 70 asistían a los laboratorios de

Cálculo y 20 asistían a los laboratorios de Física y de Cálculo se pide determinar:
a) ¿A cuántos estudiantes de la Facultad se les hizo la consulta?
b) ¿Cuántos estudiantes asisten solo al laboratorio de Física?
Solución
Datos del problema Solución del Ejercicio Aplicando la Formula General
n (F U Q U C) =? a) n (F U Q U C) = n (F) + n (Q) + n (C) – n (F ∩ Q) – n (F ∩ C)
n (F) = 60 n (F U Q U C) = 60 + 30 + 70 – 30 – 20
n (Q) = 30
n (F ∩ Q) = 30 Solución del Ejercicio Aplicando las Ecuaciones de Primer Grado
n (C) = 70 Ecuaciones Resolviendo las Incógnitas
n (F ∩ C) = 20 x + y + z = 60 z + w = 70 x + y + z = 60
n (F U Q U C)=? y = 30 w = 70 – 20 x = 60 – 50
n [F – (Q U C)]=? z + w = 70 w = 50 x = 10
z = 20
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) = n [F – (Q U C)] = 10
110
Diagrama de Venn U= 110
F C
Q

Y = 30
X = 10 Z = 20 W = 50

88.- La Universidad U.A.G.R.M otorga a una empresa constructora la posibilidad de

construir un nuevo modulo para la Facultad de Tecnología, para ello el ingeniero

130
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

encargado de la obra distribuye al personal de la siguiente manera: 100 trabajadores

en la primer planta, 200 en la segunda planta y 300 en la tercer planta, además 50
trabajaran en la primer y segunda planta y 60 trabajaran en la segunda y tercer
planta, se pide determinar con esta información:
a) ¿Cuántos trabajadores desempeñaran sus funciones solo en la segunda planta?
b) ¿Cuántos trabajadores en total contrato la empresa para la construcción del
modulo?
Solución
Datos del Problema Solución del Ejercicio Aplicando la Formula General
n (P) = 100 b) n (P U S U T) = n (P) + n (S) + n (T) – n (P ∩ S) – n (S ∩ T)
n (S) = 200 n (P U S U T) = 100 + 200 + 300 – 50 – 60
n (T) = 300 n (P U S U T) = 490
n (P ∩ S) = 50 Ecuaciones Resolviendo las Incógnitas
n (S ∩ T) = 60 x + y = 100 x = 100 – y x = 100 – 50 x = 50
n (P U S U T)=? y + z + w = 200 z = 200 – y – w z = 200 – 110 z = 90
n [S – (P U T)]=? w + t = 300 t = 300 – w t = 300 – 60 t = 240
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

131
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

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

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

Diagrama Venn U= 2000

A
B C

Y = 200 Z = 300 w = 100

x = 1400

90.- En un estudio realizado a 1000 estudiantes sobre los motivos de su inasistencia a

clases, se determinaron los siguientes resultados: 400 faltaban a clases porque el

132
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

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 100 de los alumnos se
faltaban a clases por que el docente incumplía con la asistencia y ellos no tenían la
voluntad de ir también a clases, 200 se faltaban por que el docente incumplía con la
asistencia y cuando la cumplía le faltaba pedagogía y 200 se faltaban a clases por la
pedagogía del docente y eso les hizo perder la voluntad de asistir a clases, de este
estudio se pide determinar.
a) ¿Qué cantidad de estudiantes respondieron que se faltaban a clases por los tres
motivos?
b) ¿Qué cantidad de estudiantes se faltaban a clases por dos de estos motivos?
Solución
Datos Solución del ejercicio Aplicando la Formula General
U = 1000 a) n (I ∩ V ∩ P) = – n (I) – n (V) – n (P) + n (I ∩ V) +n(I ∩ P)+n (P ∩ V)+n (I U V U P)
n (I) = 400 n (I ∩ V ∩ P) = – 400 – 500 – 600 + 100 + 200 + 200 + 1000
n (V) = 500
n (P) = 600 n (I ∩ V ∩ P) = 0
n (I ∩ V) = 100
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

Diagrama de Venn U = 1000

I V

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

133
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

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
n [(C U I) – P]=?
a = 700 b = 100 c = 500

e = 100
d=0 f = 100

g = 500
I

Por lo tanto los resultados dan a conocer que:

a) n [P – (C U I)] = 500 b) n [(C U I) – P]= 1200

134
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

135
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

136
UNIVERSIDAD AUTONOMA GABRIEL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

137