Algebra

UNI VERSI DAD AUTONOMA GABRI EL RENE MORENO
MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

1

LOGI CA SI MBLI CA
I NTRODUCCI N A LAS PROPOSI CI ONES
1.- Concepto de Proposiciones.- Las proposiciones son el lenguaje formal de la lgica
simblica por el cual estn regidas todas las leyes de esta matemtica que utiliza la
simbologa como su principal fuente de estudio.
En si las proposiciones son oraciones literarias o matemticas en la cual tiene sentido
establecer un valor de verdad o falsedad. Es decir una proposicin puede ser verdadera o
falsa y no ambas a la vez y por lo tanto una oracin que no tenga sentido o carezca de valor
no ser considerada proposicin
2.- Clasificacin de las Proposiciones
Las Proposiciones de Clasifican en los siguientes tipos de oraciones:
a) Oraciones Declarativas Simples
Son oraciones llamadas DECLARATIVAS por que declaran algo como su propio
nombre dice y tambin son llamadas simples porque carecen de conectivos lgicos.
Para mejor comprensin son oraciones formadas por una sola oracin de ah el nombre
SIMPLE
b) Oraciones Declarativas Compuestas
Son oraciones llamadas Compuestas por que al contrario de las simples. Este tipo de
oraciones tienen la presencia de conectivos lgicos y estn formadas por ms de una
oracin es decir pueden estar formadas por infinitas oraciones.
3.- Oraciones que no son consideradas Proposiciones
Las siguientes Oraciones nunca sern consideradas proposiciones:
a) Oraciones Interrogativas (?)
Este tipo de Oraciones llamadas Interrogativas son oraciones que indican alguna
pregunta dentro del lenguaje literario y por este motivo estas oraciones carecen de un
valor de verdad es decir no pueden ser ni verdaderas ni falsas. Al no ser consideradas ni
falsas ni verdaderas no pueden ser proposiciones.
Ejemplos:
1.- Cmo te llamas? No tiene sentido afirmar si es verdadero o falso
2.- A dnde Vas? No tiene sentido afirmar si es verdadero o falso

2
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 aos tenes? No tiene sentido afirmar si es verdadero o falso
Por lo tanto llegamos a la conclusin de que cualquier oracin interrogativa no puede
ser considerada una proposicin
b) Oraciones de Admiracin (!)
Estas oraciones de Admiracin tampoco son consideradas proposiciones ya que este
tipo de oracin indica algo admirable y por ende no tiene sentido afirmar si dicha
oracin es verdadera o falsa. Al tener esta caractersticas no podrn 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 tambin no son consideradas proposiciones ya que cuando
uno expresa un deseo este deseo puede ser falso y verdadero al mismo tiempo. Al tener
esta caracterstica 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 oracin literal de orden no tendr sentido afirmar si es
verdadera o falsa por el mismo hecho de que se trata de una oracin de orden al tener
esta caracterstica no ser considerada Proposicin.
Ejemplos:
1.- Treme una silla

3
2.- Bscame un lpiz
3.- Traigan todos los documentos
4.- Acomoden en aula

4.- Tipos de Conectivos Lgicos en una Proposicin
Existe una infinidad de Conectivos Lgicos dentro de la lgica simblica sin embargo
para fines de la materia se estudiaran 5 tipos de conectivos lgicos los cuales veremos a
continuacin. Por ende un conectivo lgico es una herramienta simblica que permite
unir ms de una oracin por lo tanto se utilizaran en las oraciones declarativas
consideradas Compuestas.

a) Conjuncin (^)
El smbolo utilizado para la conjuncin en la lgica simblica es una V pero en forma
volcada (^) este tipo de conectivo tendr un significado propio dentro de las oraciones.
La conjuncin reemplazara la consonante y en las proposiciones y por lo tanto se llega a
la conclusin de que el valor de (^) = y se leer tal como la consonante.

b) Disyuncin (v)
La disyuncin es otro smbolo matemtico perteneciente a los conectivos lgicos cuya
representacin es una (V) normal. Tambin este conectivo tendr su significado propio
en las oraciones. La disyuncin reemplazara la Vocal O en las proposiciones y por ende
se llega a la conclusin de que el valor de (v) = O y se leer tal como la vocal

c) Implicacin ()
La implicacin es uno de los conectivos ms importantes ya que tiene ms valor que la
conjuncin y la disyuncin su simbologa matemtica es una flecha () es un
conectivo que tiene varios significados y por ende habr que prestarle un poco mas de
atencin. Reemplazara las palabras Entonces, Luego, Por ende. Por tanto Etc.
En las proposiciones y por ende se llega a la conclusin de que el smbolo () tendr
varios significados y se leer conforma a la palabra que reemplac.


4
d) Doble Implicacin ()
La Doble Implicacin es un conectivo ms fuerte que la implicacin y por ende ms
fuerte que la disyuncin y conjuncin su smbolo matemtico es (). Tiene su
significado correspondiente dentro de las oraciones reemplazara a la palabra Si y Solo
Si en las proposiciones y se leer tal como se lea dicha palabra.

e) Disyuncin Exclusiva (V)
La disyuncin exclusiva dentro de la jerarqua de los conectivos viene a ocupar el
primer lugar. Su simbologa matemtica es una (v) Normal que a diferencia de la
disyuncin tiene una lnea 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 opcin y no las dos al mismo tiempo. Se leer tal como se
pronuncie la palabra correspondiente.

5.- Valores de Verdad de Una Proposicin
El valor de verdad de una proposicin tiene por objetivo demostrar con que valor de
verdad est actuando una proposicin. Este valor puede ser verdadero o falso
dependiendo de la veracidad de dicha oracin. Se simboliza de la siguiente manera
tomando el siguiente significado.
V (P) = F o V Significa el valor de verdad de la proposicin P es igual a F o V


5
PROBLEMAS QUE I NVOLUCRAN RESOLUCI ONES CON PROPOSI CI ONES

a) PROBLEMA TIPO I (Dada una Oracin Determinar si es Proposicin)
- Determinar si las siguientes Oraciones son Proposiciones
1.- la Gravedad vale 9,81 mt/sg
2

Solucin
1er paso.- Verificando que tipo de oracin es
Es una declaracin Declarativa
2do Paso.- Determinar si es Proposicin
Es una Proposicin porque es una declaracin declarativa y por lo tanto se puede
decir si es verdadera o falsa
2.- 3+3=9
Solucin
Es una Proposicin por que es una declaracin declarativa y por lo tanto se puede
3.- Algebra es una materia de primer semestre
Solucin
Es una Proposicin por que es una declaracin declarativa y por lo tanto se puede
4.- el cielo es de color celeste
Solucin

6
5.- newton fue un famoso qumico
Solucin
6.- La carrera de Ingeniera Petrolera pertenece a la facultad de Ciencias
Econmicas
Solucin
7.- La materia de algebra I es una materia muy difcil
Solucin
8.- las vocales son diez
Solucin

7
9.- El tema de Derivadas pertenece a la materia de Ecuaciones Diferenciales
Solucin
10.- En el curso existen ms de 100 Alumnos
Solucin
11.- 3+3
Solucin
1er Paso.- Verificando que tipo de oracin es
Es una expresin Matemtica sin sentido
No es una proposicin porque carece de igualdad por lo tanto no se puede decir si
es verdadera o falsa.
12.- Quiero ir a la Plaza
Solucin
Es una oracin de deseo
No es una proposicin porque es una oracin de Deseo y por lo tanto no tiene
sentido afirmar si es verdadera o falsa
13.- Quiero Jugar Cartas
Solucin

8
Es una oracin de deseo
No es una proposicin porque es una oracin de Deseo y por lo tanto no tiene
14.- Treme dos asientos del otro curso por favor
Solucin
1er Paso.- Verificando que tipo de Oracin es
Es una oracin de Orden
No es una Proposicin porque es una oracin de orden y por lo tanto no tiene
15.- Aydame a terminar mi tarea
Solucin
Es una oracin de Orden
No es una Proposicin porque es una oracin de orden y por lo tanto no tiene
16.- Viva Oriente Petrolero!
Solucin
Es una oracin de Admiracin
No es una Proposicin porque es una oracin de Admiracin y por lo tanto no
tiene sentido afirmar si es verdadera o falsa.
17.- Viva Santa Cruz!
Solucin
Es una oracin de Admiracin

9
No es una Proposicin porque es una oracin de Admiracin y por lo tanto no
tiene sentido afirmar si es verdadera o falsa
18.- Cmo es tu Nombre?
Solucin
Es una oracin de Interrogacin
No es una Proposicin porque es una oracin de Interrogacin y por lo tanto no
19.- Cuntos aos tienes?
Solucin
20.- Cul es tu materia Favorita?
Solucin


10
b) PROBLEMA TIPO II (Dadas las proposiciones determinar su expresin
simblica)
- Para solucionar estos problemas se siguen los siguientes pasos
1.- Se lee el pensamiento para determinar cuntas oraciones tiene el mismo
2.- El numero de oraciones estar en funcin a los conectivos lgicos 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 nmero de oraciones existentes en el pensamiento se
procede a nombrar a cada una asignndole 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 simbologa
matemtica 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
* Solucin
* Asignando un valor a la Oracin
p = Me gusta bailar
* Formalizando la Oracin
~~p
22.- Me gusta bailar y leer libros de ciencia ficcin
* Solucin
* Asignando un valor para cada Oracin
p = Me gusta bailar
q = Leer libros de ciencia ficcin
p ^ q

11
23.- Si los gatos de mi hermana no soltaran tanto pelo Entonces me gustara
acariciarlos
* Solucin
p = Si los gatos de mi hermana soltaran tanto pelo
q = Me gustara Acariciarlos
~ p q
24.- Si y solo si viera un marciano con mis propios ojos, Entonces creera que hay vida
extraterrestre
* Solucin
p = Si viera un marciano
q = Con mis propios ojos
r = Creera que hay vida extraterrestre
(p q) r
25.- Si los elefantes volaran o supieran tocar el acorden, Entonces pensara que estoy
como una regadera y dejara que me internaran en un psiquitrico.
* Solucin
p = Si los elefantes volaran
q = Supieran tocar el acorden
r = Pensara que estoy como una regadera
s = Dejara que me internaran en un Psiquitrico
~ (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.
* Solucin

12
p = Prefiero ir de vacaciones
q = estar sin hacer nada
r = Si tengo tiempo para ello
s = y tengo que ir a trabajar
[p (q r)] ^ ~ s
27.- Juan es Dentista Si y Solo Si Jorge es Abogado o Antonio es Ingeniero
* Solucin
p = Juan es Dentista
q = Jorge Es Abogado
r = Antonio es Ingeniero
p (q v r)
28.- La universidad Si y Solo Si recibir alumnos en las diferentes facultades Entonces
Jorge aprobara el examen de Ingreso o Se aplazara y tendr que dar el PAB para
intentar Entonces Nuevamente entrar a la Universidad
* Solucin
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
{(p q) [(r v s) ^ t] u}
29.- Si los humanos furamos conscientes Entonces no se depredara a los animales y a
la ecologa Por lo tanto el mundo fuera ms feliz
* Solucin

13
p = Si los humanos furamos conscientes
q = Se depredara a los animales
r = A la ecologa
s = El mundo fuera mas feliz
[p (~ q ^ r)] s
30.- El gordo Alberto vive para comer y no come para vivir
* Solucin
p = El gordo Alberto vive para comer
q = Come para Vivir
p ^ ~ q
31.- La decisin depender del juicio o la intuicin, y no de quien pago mas
* Solucin
p = La decisin depender del juicio
q = La intuicin
r = De quien pago mas
(p q) ^ ~ r
32.- Si esta planta no crece, entonces necesita ms agua o necesita mejor abono
* Solucin
p = Si esta Planta Crece
q = Necesita ms agua
r = Necesita mejor abono
~ 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

14
* Solucin
p = El juez lo sentencia a Octavio
q = El fiscal puede probar su culpabilidad
r = El testigo dice la verdad
p (q ~ r)
34.- Si una sustancia orgnica se descompone entonces sus componentes se
transforman en abono y fertilizan al suelo
* Solucin
p = Si una sustancia orgnica se descompone
q = Sus componentes se transforman en abono
r = Fertilizan al suelo
p (q ^ r)


15
PROBLEMA TIPO III (Dadas las proposiciones y su simbologa correspondiente
determinar su correspondiente en lenguaje comn)
1.- Se reemplaza los valores correspondientes asignados a cada proposicin donde
corresponda.
2.- Se procede a escribir su equivalencia en lenguaje comn
Sean p, q y r los siguientes enunciados:
p = Estudiare Matemticas
q = Ir a mi clase de Computacin
r = Estoy de buen humor
Escriba en lenguaje comn las oraciones que correspondan a los siguientes enunciados
35.- ~ p ^ q
* Solucin
* Colocando el valor correspondiente a cada proposicin
* Encontrando su correspondiente en lenguaje comn
~ p ^ q = No estudiare matemticas e ir a mi clase de computacin
36.- r (p q)
* Solucin
r (p q) = Estoy de buen humor entonces estudiare matemticas o ir a mi clase de
computacin
37.- ~ r (p ~ q)
* Solucin

16
~ r (p ~ q) = No estoy de buen humor entonces estudiare matemticas o no ir a
mi clases de computacin
38.- (~ p ^ q) r
* Solucin
(~ p ^ q) r = No estudiare matemticas e ir a mi clase de computacin si y solo si
estoy de buen humor
39.- ~ q (p r)
* Solucin
~ q (p r) = No ir a mi clase de computacin si y solo si estudiare matemticas
entonces estoy de buen humor
40.- (~ r q) p
* Solucin
(~ r q) p = No estoy de buen humor si y solo si ir a mi clase de computacin o
estudiare matemticas

17
Para los problemas tipo IV, V, VI se necesitara primero hacer una pequea
introduccin a los valores de verdad de cada conectivo lgicos para que de esta
manera se entienda mejor como se solucionan estos problemas
TABLA DE VALORES DE LOS CONECTIVOS LOGICOS
1.- CONJUNCION (^)
P Q p ^ q
V V V
V F F
F V F
F F F

La conjuncin es verdadera solamente cuando el antecedente p y el consecuente q son
tambin 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 disyuncin es falsa solamente cuando el antecedente p y el consecuente q son
tambin 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 implicacin 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

18
4.- BICONDICIONAL O DOBLE IMPLICACION ()
P Q p q
V V V
V F F
F V F
F F V

La doble implicacin tiene dos casos especiales ser verdadera cuando el antecedente
p y el consecuente q tomen ambos valores idnticos como se muestra en su tabla
marcado con el color rojo
5.- DISYUNCION EXCLUSIVA (V)
P Q p v q
V V F
V F V
F V V
F F F

La disyuncin exclusiva resulta ser la negacin de la doble implicacin ya que ser
falsa cuando el antecedente p y el consecuente q tomen ambos a la vez valores
idnticos como se demuestra con rojo en su tabla de verdad.


19
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 lgicos se realizara este formulario que permitir
una fcil solucin 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 continuacin


20
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)
* Solucin
* 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
* Anlisis de la condicin
El problema tiene una condicin la cual es ~ (p ~ r) es verdadera significa entonces
de que las variables p y r no pueden ser elegidas por nosotros sus valores saldrn de
resolver la condicin expuesta en el ejercicio
Como se resuelve la condicin?
Reemplazando un valor a la variable p y a la variable r de tal manera que cuando se
hagan operaciones esta de cmo resultado verdadero aqu entra la aplicacin del
formulario expuesto anteriormente.
~ (p ~ r) = V Haciendo de que el parntesis se convierta en falso
~ (F ~ V) = V Efectuando la negacin que existe dentro del parntesis
~ (F F) = V Efectuando la operacin de Disyuncin
~ F = V Aplicando el concepto de negacin
V = V
Por lo tanto para que la conclusin 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 proposicin para encontrar su valor de verdad

21
~ (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]
* Solucin
Como el problema tiene la misma condicin del problema anterior entonces ya
conocemos cunto valen los valores de verdad de cada proposicin
p = F
q = V
r = V
s = F
* Reemplazando para encontrar el valor de verdad
[(~ r ^ q) ~ p] ~ [(p ^ s) ~ r]
[(~ V ^ V) ~ F] ~ [(F ^ F) ~ V]
[(F ^ V) V] ~ [(F F)]
(F V) ~ F
V V
V
Por lo tanto el valor de verdad de [(~ r ^ q) ~ p] ~ [(p ^ s) ~ r] = V
43.- [p (q ^ s)] (~ q r)
* Solucin
p = F
q = V
r = V
s = F

22
[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)
* Solucin
p = F
q = V
r = V
s = F
[(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)
* Solucin
* 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:


23
p = V
r = V
* Anlisis de la condicin
El problema tiene una condicin la cual es ~ (~ q ^ s) es falsa significa entonces de que
las variables p y r no pueden ser elegidas por nosotros sus valores saldrn de resolver
la condicin expuesta en el ejercicio
Cmo se resuelve la condicin?
Reemplazando un valor a la variable p y a la variable r de tal manera que cuando se
hagan operaciones esta de cmo resultado verdadero aqu entra la aplicacin del
formulario expuesto anteriormente.
~ (~ q ^ s) = F
~ (~ F ^ V) = F
~ (V ^ V) = F
~ V = F
F = F
Por lo tanto segn la condicin la variable q y la variable s deben tomar los siguientes
valores
q = F
s = V
* Reemplazando los valores de cada preposicin para encontrar el valor de verdad
[(p ~ q) ^ s] ~ (~ r s)
[(V ~ F) ^ V] ~ (~ V V)
[(V V) ^ V] ~ (F V)
(V ^ V) ~ V
V F
F
Por lo tanto el valor de verdad de [(p ~ q) ^ s] ~ (~ r s) = F
46.- [(~ p ^ q) ~ r] ~ (p s)
* Solucin
Como este problema tiene las mismas condiciones que el problema anterior por lo
tanto los valores de cada proposicin no varan

24
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)
* Solucin
p = V
r = V
q = F
s = V
[(~ 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


25
48.- [(q p) (~ p ^ r)] ^ [(p s) ~ r]
* Solucin
p = V
r = V
q = F
s = V
[(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


26
PROBLEMA TIPO V (Dado el valor de verdad de la proposicin 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
* Solucin
* Encontrando los valores de cada argumento
p = F
q = F
r = V
s = F
* Reemplazando los valores encontrados en la proposicin para verificar los
resultados
(~ 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
* Solucin
p = V
q = F
r = V
s = V
resultados
~ (r ~ p) ^ (~ q ^ s) = V
~ (V ~ V) ^ (~ F ^ V) = V
~ (V F) ^ (V ^ V) = V

27
~ F ^ V = V
V ^ V = V
V = V
51.- (~ p ^ q) (~ r s) es falso
* Solucin
p = F
q = V
r = F
s = F
resultados
(~ p ^ q) (~ r s) = F
(~ F ^ V) (~ F F) = F
(V ^ V) (V F) = F
V F = F
F = F
52.- ~(r ~ p) (~ q s) es falso
* Solucin
p = V
q = V
r = V
s = F
resultados
~(r ~ p) (~ q s) = F
~ (V ~ V) (~ V F) = F
~ (V F) (F F) = F

28
~ F F = F
V F = F
F = F
53.- ~ (p ~ r) ^ ~ (q ~ s) es verdadero
* Solucin
p = F
q = V
r = V
s = V
resultados
~ (p ~ r) ^ ~ (q ~ s) = V
~ (F ~ V) ^ ~ (V ~ V) = V
~ (F F) ^ ~ (V F) = V
~ F ^ ~ F = V
V ^ V = V
V = V
54.- ~ [(r ^ ~ q) (~ p s)] es verdadero
* Solucin
p = F
q = F
r = V
s = F
resultados
~ [(r ^ ~ q) (~ p s)] = V
~ [(V ^ ~ F) (~ F F)] = V

29
~ [(V ^ V) (V F)] = V
~ (V F) = V
~ F = V
V = V


30
PROBLEMA TIPO VI (Dada una proposicin y conocidos los argumentos
Encontrar x)
Sabiendo que p = F y que q es una proposicin cualquiera determinar el valor de
verdad de la proposicin X tal que:
55.- [X (p ^ q)] p Sea F
* Solucin
* Encontrando el valor de la variable X
X = F
p = F
q = F
* Verificando si el valor asignado a X cumple la condicin
[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
* Solucin
X = V
p = F
q = F
[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

31
57.- [(p q) X] ~ (p ^ q) Sea V
* Solucin
X = F
p = F
q = F
[(p q) X] ~ (p ^ q) = V
[(F F) F] ~ (F ^ F) = V
(V F) ~ F = V
F V = V
V = V


32

REALIZAR LAS RESPECTIVAS TABLAS DE VERDAD DE LAS SIGUIENTES
PROPOSICIONES:
58.- [(~ p ^ ~ q) p] (p ^ q)
* Solucin
* Calculo de las combinaciones
2
n
= 2
2
= 4
* Realizacin 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)
* Solucin
2
n
= 2
2
= 4
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


33
60.- [(~ p ~ q) ^ (p ~ q)] ~ (~ p q)
* Solucin
2
n
= 2
2
= 4
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)
* Solucin
2
n
= 2
2
= 4
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)
* Solucin
2
n
= 2
2
= 4

34
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]
* Solucin
2
n
= 2
3
= 8
A B C
~ p ~ r ~ p v ~ r P Q p ^ q ~ B ~ B v ~ 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)
* Solucin
Tv = 2
n
= 2
2
= 4
* Realizacin de la Tabla de Verdad


35
A B
P Q ~ p ~ q p v q ~ 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
* Solucin
* Calculo de las Combinaciones
Tv = 2
n
= 2
2
= 4
Realizacin 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


36
66.- (~ p v ~ q) v (r q)
* Solucin
Tv = 2
n
= 2
3
= 8
Realizacin de la Tabla de Verdad
A B
Q ~ p ~ q R ~ p v ~ q r q A v B
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


37
67.- [(~ p q) v (p v q)] (~ p ^ r)
* Solucin
Tv = 2
n
= 2
3
= 8
Realizacin de la Tabla de Verdad
A B C D
P Q r ~ p ~ p q p v q A v B ~ 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 frmula que rige las tablas de verdad est en funcin a la
cantidad de letras o variables que tenga la proposicin esta
frmula est representada por la siguiente expresin
matemtica:

Donde n es la cantidad de variables o letras que posea la
formula proposicional, cabe recordar que el nmero de
proposiciones puede ser ilimitado, lo que significa que las
tablas de verdad pueden determinar el valor de verdad de
cualquier razonamiento lgico sin importar el nmero de
variables que tenga dicho razonamiento, es tambin 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 lgica, es decir un pensamiento que tenga
claridad y que indique algo aproximado a la realidad.

38
68.- {p ^ [(~ p v r) v ~ q]} v {[(p v ~ q) ^ (~ r ^ p)] v r}
* Solucin
Tv = 2
n
= 2
3
= 8
Realizacin de la Tabla de verdad
A B C D E F G
P R ~ p ~ q ~ r ~ p v r A v ~ q p ^ B p v ~ q ~ r ^ p D ^ E F v r C v G
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


39
69.- [(~ p ^ q) v ~ r] [r ^ ~ (p ^ ~ q)]
* Solucin
Tv = 2
n
= 2
3
= 8
Realizacin de la tabla de verdad
A B C D
P Q r ~ p ~ q ~ r ~ p ^ q A v ~ r ~ p v q 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 realizacin de un ejercicio es
decir pueden representar a una formula extensa que exista en
la proposicin se colocan encima de la formula a la cual
estn representando as se sabr que formula fue designada
por una de estas letras en la proposicin evitando una
solucin larga.


40
70.- {[(~ r ^ p) v q] ^ ~ q} v (~ q v r)
* Solucin
Tv = 2
n
= 2
3
= 8
Realizacin de la tabla de verdad
A B C D
p q r ~ q ~ r ~ r ^ p A v q B ^ ~ q ~ q v r C v D
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


41

SIMPLIFICAR UTILIZANDO LAS LEYES LOGICAS LAS SIGUIENTES
PROPOSICIONES:
71.- (p q) (p q)
* Solucin Justificaciones
(p q) (p q) Definicin Bicondicional
[(p q) ^ (q p)] (p q) Definicin de Implicacin
[(~ p q) ^ (~ q p)] (p q) Ley Distributiva
[(~ p q) (p q)] ^ [(~ q p) (p q)] Ley Asociativa
[q (~ p p)] ^ [p (~ q q)] Condicin de Negacin
(q V) ^ (p V) Condicin de Tautologa
V
72.- [(~ p q) ^ (~ q p)] (p ^ ~ q)
[(~ p q) ^ (~ q p)] (p ^ ~ q) Definicin de Implicacin
[(~ p q) ^ (~~ q p)] (p ^ ~ q) Doble Negacin
[(~ p q) ^ (q p)] (p ^ ~ q) Ley Distributiva
[q (~ p ^ p)] (p ^ ~ q) Condicin de negacin
(q F) (p ^ ~ q) Elemento Neutro
q (p ^ ~ q) Ley Distributiva
(q p) ^ (q ~ q) Condicin de Negacin
(q p) ^ V Elemento Neutro
(q p)
73.- [p (p ^ r)] ^ [~ p (p ^ r)]
[p (p ^ r)] ^ [~ p (p ^ r)] Definicin Condicional y Doble Negacin
[~ p (p ^ r)] ^ [p (p ^ r)] Ley Distributiva y Ley de Absorcin
[(~ p p) ^ (~ p r)] ^ p Condicin de Negacin
[V ^ (~ p r)] ^ p Elemento Neutro

42
(~ p r)] ^ p Ley Distributiva
(p ^ ~ p) (p ^ r) Condicin de Negacin
F (p ^ r) Elemento Neutro
(p ^ r)
74.- [(q p) ^ (~ p q)] ~ (p ~ q)
[(q p) ^ (~ p q)] ~ (p ~ q) Definicin Condicional y Doble Negacin
~ [(~ q p) ^ (p q)] ~ (p ~ q) Ley de Morgan y Doble Negacin
[(q ^ ~ p) (~ p ^ ~ q)] (~ p ^ q) Ley Distributiva
[~ p ^ (q ~ q)] (~ p ^ q) Condicin de Negacin
(~ p ^ V) (~ p ^ q) Elemento Neutro
~ p (~ p ^ q) Ley de Absorcin
~ p
75.- (q p) [(p q) (q ^ ~ p)]
(q p) [(p q) (q ^ ~ p)] Definicin Condicional
~ (~ q p) [ ~ (p q) (q ^ ~ p)] Ley de Morgan y Doble Negacin
(q ^ ~ p) [(~ p ^ ~ q) (q ^ ~ p)] Ley Distributiva
(q ^ ~ p) [~ p ^ (~ q q)] Condicin de Negacin
(q ^ ~ p) (~ p ^ V) Elemento Neutro
(q ^ ~ p) ~ p Ley de Absorcin
~ p
76.- (p q) ^ (p q)
(p q) (p q) Definicin De implicacin y Definicin Bicondicional
(~ p q) [(p q) ^ (q p)] Definicin de Implicacin
(~ p q) [(~ p q) ^ (~ q p)] Ley de Absorcin
(~ p q)
77.- (p q) p
(p q) p Definicin Bicondicional

43
[(p q) ^ (q p)] p Definicin Condicional
[(~ p q) ^ (~ q p)] p Ley distributiva
[p (~ p q)] ^ [p (~ q p)] Ley asociativa
[(p ~ p) q] ^ [(p p) ~ q] Condicin de Negacin y Idempotencia
(V q) ^ (p ~ q) Condicin de Tautolgica
V ^ (p ~ q) Elemento Neutro
(p ~ q)
78.- [p (p ^ r)] [(p r) ^ ~ r]
[p (p ^ r)] [(p r) ^ ~ r] Ley de Absorcin
p [(p r) ^ ~ r] Definicin Condicional
~ p [(~ p r) ^ ~ r] Ley distributiva
~ p [(~ r ^ r) (~ r ^ ~ p)] Condicin de Negacin
~ p [F (~ r ^ ~ p)] Elemento Neutro
~ p (~ r ^ ~ p) Ley de Absorcin
~ p
79.- [(p q) p] (p q)
[(p q) p] (p q) Definicin Bicondicional
{[(p q) ^ (q p)] p} (p q) Definicin Condicional
{~[(~ p q) ^ (~ q p)] p} (p q) Ley de Morgan
{[(~~ p ^ ~ q) (~~ q ^ ~ p)] p} (p q) Doble Negacin
{[(p ^ ~ q) (q ^ ~ p)] p} (p q) Ley asociativa
{[p (p ^ ~ q)] [p (q ^ ~ p)]} (p q) Ley de Absorcin y Ley Distributiva
{p [(p q) ^ (p ~ p)]} (p q) Condicin de Negacin
{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)


44
80.- {[q (~ q ^ r)] [p (p r)]} p
{[q (~ q ^ r)] [ p (p r)]} p Definicin Condicional
~{[q (~ q ^ r)] [ ~ p (p r)]} p Ley de Morgan
{[~ q ^ (~~ q ~ r)] ^ [~~ p ^ (~ p ^ ~ r)]} p Doble Negacin
{[~ q ^ (q ~ r)] ^ [p ^ (~ p ^ ~ r)]} p Ley Distributiva y Ley asociativa
{[(~ q ^ q) (~ q ^ ~ r)] ^ [(p ^ ~ p) ^ ~ r]} p Condicin de Negacin
{[F (~ q ^ ~ r)] ^ (F ^ ~ r)} p Elemento Neutro y Anti tautologa
[(~ q ^ ~ r) ^ F] p Condicin de Anti tautologa
F p Elemento Neutro
p
81.- {[(p ^ ~ r) v (r ^ p)] ^ ~ q} v [~ p ^ (~ p v r)]
{[(p ^ ~ r) v (r ^ p)] ^ ~ q} v [~ p ^ (~ p v r) Ley Distributiva y Ley de Absorcin
{[p ^ (~ r v r)] ^ ~ q} v ~ p Condicin de Negacin
{[p ^ V] ^ ~ q} v ~ p Elemento Neutro
(p ^ ~ q) v ~ p Ley distributiva
(~ p v p) ^ (~ p v ~ q) Condicin de Negacin
V ^ (~ p v ~ q) Elemento Neutro
(~ p v ~ q)
82.- {~ t v [S v ~ (t ^ S)]} ^ ~ [~ (t v r) v (~ s v t)]
{~ 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 Negacin
{~ t v [(S v ~ S) v ~ t]} ^ [(t v r) ^ (s ^ ~ t)] Condicin de Negacin
[~ t v (V v ~ t)] ^ [(t v r) ^ (s ^ ~ t)] Condicin de tautologa
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 Condicin de Negacin
[F v (~ t ^ r)] ^ s Elemento Neutro

45
(~ t ^ r) ^ s
83.- { p v [ q ^ (~ r v ~ p)]} ^ [(~ p ^ ~ q) v (p v q)]
{p v [q ^ (~ r v ~ p)]} ^ [(~ p ^ ~ q) v (p v q)] Ley de Morgan
{p v [q ^ (~ r v ~ p)]} ^ [~ (p v q) v (p v q)] Condicin de Negacin
{p v [q ^ (~ r v ~ p)]} ^ V Elemento Neutro
{p v [q ^ (~ r v ~ p)]} Ley Distributiva
{(p v q) ^ [p v (~ r v ~ p)] Ley Asociativa
{(p v q) ^ [(p v ~ p) v ~ r] Condicin de Negacin
{(p v q) ^ (V v ~ r)} Condicin de Tautologa
(p v q) ^ V Elemento Neutro
(p v q)
84.- ~ [(p ^ r) q] ~ (p q)
~ [(p ^ r) q] ~ (p q) Definicin Condicional
~~ [~ (p ^ r) v q] v ~ (~ p v q) Doble negacin y Morgan
[(~ p v ~ r) v q] v (p ^ ~ q) Ley Asociativa
[(~ p v ~ r)] v q v (p ^ ~ q) Ley Distributiva
[(~ p v ~ r)] v (q v p) ^ (q v ~ q) Condicin de negacin
[(~ P v ~ r)] v (q v p) ^ V Elemento Neutro
(~ p v ~ r) v (q v p) Ley Asociativa
(~ p v p) v ~ r v q Condicin de Negacin
V v (~ r v q) Condicin de Tautologa
V
85.- {[p ^ (p q)] q}
{[p ^ (p q)] q} Definicin. Condicional
{~ [p ^ (~ p v q)] v q} Ley de Morgan y Doble Negacin
{[~ p v (p ^ ~ q)] v q} Ley Distributiva
[(~ p v p) ^ (~ p v ~ q)] v q Condicin de Negacin
[V ^ (~ p v ~ q)] v q Elemento Neutro

46
(~ p v ~ q) v q Ley Asociativa
(q v ~ q) v ~ p Condicin de Negacin
V v ~ p Condicin de Tautologa
V
86.- (~ p r) ^ [(p ^ ~ r) (~ p ^ ~ r) v (~ p ^ r)] ^ (p v ~ r)
(~ p r) ^ [(p ^ ~ r) (~ p ^ ~ r) v (~ p ^ r)] ^ (p v ~ r) Def. Condicional y Doble Neg.
(p v r) ^ [(p ^ ~ r) v (~ p ^ ~ r) v (~ p ^ r)] ^ (p v ~ r) Ley Distributiva
(p v r) ^ [(p ^ ~ r) v [~ p ^ (~ r v r)]] ^ (p v ~ r) Cond. De Negacin
(p v r) ^ [(p ^ ~ r) v (~ p ^ V)] ^ (p v ~ r) Elemento Neutro
(p v r) ^ [(p ^ ~ r) v ~ p] ^ (p v ~ r) Ley Distributiva
(p v r) ^ [(~ p v p) ^ (~ p v ~ r)] ^ (p v ~ r) Cond. De Negacin
(p v r) ^ [V ^ (~ p v ~ r)] ^ (p v ~ r) Elemento Neutro
(p v r) ^ (~ p v ~ r) ^ (p v ~ r) Ley Distributiva
(p v r) ^ [~ r v (~ p ^ p)] Cond. De Negacin
(p v r) ^ (~ r v F) Elemento Neutro
(p v r) ^ ~ r Ley Distributiva
(~ r ^ p) v (~ r ^ r) Cond. De Negacin
(~ r ^ p) v F Elemento Neutro
~ r ^ p
87. - ~ [p ^ ~ (p ^ ~ q)] ~ (q v ~p)
~ [p ^ ~ (p ^ ~ q)] ~ (q v ~p) Def. Condicional
~~ [p ^ ~ (p ^ ~ q)] v ~ (q v ~ p) Doble Negacin y Ley de Morgan
[p ^ (~ p v q)] v (~ q ^ p) Ley Distributiva
[(p ^ ~ p) v (p ^ q)] v (~ q ^ p) Condicin De Negacin
[(F v (p ^ q)] v (~ q ^ p) Elemento Neutro
(p ^ q) v (~ q ^ p) Ley Distributiva
p ^ (q v ~ q) Condicin de Negacin
p ^ V Elemento Neutro
p

47
88.- [q ^ (q ~ p)] ~ (p ^ q)
[q ^ (q ~ p)] ~ (p ^ q) Definicin Condicional
~ [q ^ (~ q v ~ p)] v ~ (p ^ q) Elemento Neutro y Doble Negacin
[~ q v (q ^ p) ] v (~ p v ~ q) Ley Distributiva
[(~ q v q) ^ (~ q v p)] v (~ p v ~ q) Condicin de Negacin
[V ^ (~ q v p)] v (~ p v ~ q) Elemento Neutro
(~ q v p)] v (~ p v ~ q) Ley asociativa
(~ p v p) v (~ q v ~ q) Condicin de Negacin
V v (~ q v ~ q) Condicin de Tautolgica
V


48

Dadas las siguientes formulas proposicionales determinar su respectivo circuito lgico
89.- {(p ^ ~ q) [~ q (~ p ^ q)]} ^ (p q)
* Solucin
p ~ q p

~ q q

~ p q

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

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

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

~ p ~ q
q ~ p
p
p ~ r
~ p
~ q
p
q
~ p
q
p
q
p
q
r

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

94.- (p ^ q) v (p ^ ~ q) v (~ p ^ ~ q)
* Solucin
p q
p ~ q
~ p ~ q

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

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

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

~ q

~ p q
q
~ q
~ p
~ r
p
q
q
~ r
~ p
p
p q
p
q
~ p
~ q
~ p
q
p

50
98.- {(p ^ q) v [(~ p ^ ~ q) v (q ^ ~ r)]} ^ ~ r
* Solucin
p q

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

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

~ p ~ q
q
~ r
~ r
p
q
~ q
~ p
~ r
p
p q
p
~ p
~ q
~ p

51
101.- Dado el siguiente circuito simplificar su formula proposicional hasta su minima
expresin y disear el nuevo circuito
p ~ q p

~ q q

~ p q
{(p ^ ~ q) [~ q (~ p ^ q)]} ^ (p q)
* Solucin
{(p ^ ~ q) [~ q (~ p ^ q)]} ^ (p q) Ley de Poretsky
[(p ^ ~ q) (~ q ~ p)] ^ (p q) Ley Asociativa
[(p ^ ~ q) ~ q ~ p] ^ (p q) Ley de Absorcin
(~ q ~ p) ^ (p q)

q
p
r

{[p ^ (q r)] (p ^ ~ r)} ^ (~ p ~ q)
* Solucin
{[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
p ^ (~ p ~ q) Ley de Poretsky
p ~ r
~ p
~ q
~ q
~ p
p
q

52
(p ^ ~ q)

p q

{(p ^ q) v [(~ p ^ ~ q) v (q ^ ~ p)]} ^ p
* Solucin
{(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 v [q ^ (~ p v q)]} ^ (p v q)} ^ [p ^ (q v r)]
* Solucin
{{p v [q ^ (~ p v q)]} ^ (p v q)} ^ [p ^ (q v r)] Ley de Absorcin
[(p v q) ^ (p v q)] ^ [p ^ (q v r)] Idempotencia
(p v q) ^ [p ^ (q v r)] Ley Asociativa
(p v q) ^ p ^ (q v r) Ley de Absorcin
~ p ~ q
q ~ p
p
p
q
~ p
q
p
q
p
q
r
p ~ q
p q
p

53
p ^ (q v r)

~ p q p
p q

{[(~ p ^ q) v (p v ~ q)] ^ {p v [~ q ^ (~ p v ~ r)]}} ^ q
* Solucin
{[(~ 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 Condicin de Negacin
(p v V) ^ {p v [~ q ^ (~ p v ~ r)]}} ^ q Condicin de Tautologa
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 Condicin de Negacin
(p v ~ q) ^ (V v ~ r) ^ q Condicin de Tautologa
(p v ~ q) ^ V ^ q Elemento Neutro
(p v ~ q) ^ q Ley de Poretsky
p ^ q

q
~ q
~ p
~ r
p
q
r
p q

54
p q
p ~ q
~ p ~ q
(p ^ q) v (p ^ ~ q) v (~ p ^ ~ q)
* Solucin
(p ^ q) v (p ^ ~ q) v (~ p ^ ~ q) Ley Distributiva
[p ^ (q v ~ q)] v (~ p ^ ~ q) Condiciona de Negacin
(p ^ V) v (~ p ^ ~ q) Elemento Neutro
p v (~ p ^ ~ q) Ley de Poretsky
p v ~ q

~ p ~ q p

[(~ p ^ ~ q) v (p v q)] ^ {p v [q ^ (~ r v ~ p)]}
* Solucin
[(~ p ^ ~ q) v (p v q)] ^ {p v [q ^ (~ r v ~ p)]} Ley Asociativa
[(~ p ^ ~ q) v p v q] ^ {p v [q ^ (~ r v ~ p)]} Ley de Poretsky
[(~ q v p) v q] ^ {p v [q ^ (~ r v ~ p)]} Ley Asociativa
(~ q v p v q) ^ {p v [q ^ (~ r v ~ p)]} Condicin de Negacin
(V v p) ^ {p v [q ^ (~ r v ~ p)]} Condicin de Tautologa
V ^ {p v [q ^ (~ r v ~ p)]} Elemento Neutro
{p v [q ^ (~ r v ~ p)]} Ley Distributiva
(p v q) ^ [p v (~ r v ~ p)] Ley Asociativa
(p v q) ^ (p v ~ r v ~ p) Condicin de Negacin
p
q
q
~ r
~ p
p
~ q

55
(p v q) ^ (V v ~ r) Condicin de Tautologa
(p v q) ^ V Elemento Neutro
(p v q)

~ p ~ q

{[(~ p ^ ~ q) v p] v (p ^ q)} ^ [(p v q) v (~ p ^ ~ q)] ^ ~ p
* Solucin
{[(~ 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 Absorcin
(~ 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 Condicin de Negacin
(~ q v p) ^ (V v q) ^ ~ p Condicin de Tautologa
(~ q v p) ^ V ^ ~ p Elemento Neutro
(~ q v p) ^ ~ p Ley de Poretsky
(~ q ^ ~ p)

p
p q
p
q
~ p
~ q
~ p
p
q
~ p ~ q

56
p ~ q

~ q

~ p q
{(p ^ ~ q) v [~ q v (~ p ^ q)]} ^ (p v q)
* Solucin
{(p ^ ~ q) v [~ q v (~ p ^ q)]} ^ (p v q) Ley de Poretsky
[(p ^ ~ q) v (~ q v ~ p)] ^ (p v q) Ley Asociativa
[(p ^ ~ q) v ~ q v ~ p] ^ (p v q) Ley Distributiva
(~ q v ~ p) ^ (p v q)

p q

{(p ^ q) v [(~ p ^ ~ q) v (q ^ ~ r)]} ^ ~ r
* Solucin
{(p ^ q) v [(~ p ^ ~ q) v (q ^ ~ r)]} ^ ~ r Ley Asociativa
[(p ^ q) v (~ p ^ ~ q) v (q ^ ~ r)] ^ ~ r Ley Distributiva
[(p ^ q) ^ ~ r] v [(~ p ^ ~ q) ^ ~ r] v [(q ^ ~ r) ^ ~ r] Ley de Idempotencia
[(p ^ q) ^ ~ r] v [(~ p ^ ~ q) ^ ~ r] v (q ^ ~ r) Ley Distributiva
[(p ^ q) ^ ~ r] v [(~ p ^ ~ q) v q] ^ ~ r Ley de Poretsky
[(p ^ q) ^ ~ r] v [(~ p v q) ^ ~ r] Ley Distributiva
[(p ^ q) v (~ p v q)] ^ ~ r Ley Asociativa
q
p
~ p ~ q
q
~ r
~ r
~ q
~ p
p
q

57
[(p ^ q) v q v ~ p] ^ ~ r Ley de Absorcin
(q v ~ p) ^ ~ r

~ p q p
q

{[(~ p ^ q) v (p v q)] ^ [p v [~ q ^ (~ p v ~ r)]]} ^ q
* Solucin
{[(~ 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
~ q
~ p
~ r
q
~ p
~ r
p q

58
~ p ~ q

{[(~ p ^ ~ q) v p] v (p ^ q)} ^ {[p v (~ p ^ ~ q)] ^ ~ p}
* Solucin
{[(~ 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
p q
p
~ p
~ q
~ p
~ p
~ q

59

113.- Demostrar: ~ (m k) = m ^ ~ k
1.- ~ (p ~ s)
2.- ~ p (q r)
3. - ~ r ~ s
4. - (q r) [m ^ (k ~ s)]
5. - ~ p ^ ~ s (1) Ley de Morgan
6.- ~ p (5) Simplificacin
7.-(q r) (2:6) Modus Ponnens
8.-[m ^ (k ~ s)] (4:7) Modus Ponnens
9.- m (8) Simplificacin
10.- (k ~ s) (8) Simplificacin
11.- ~ k ~ s (10) Ley Condicional
12.- ~ s (5) Simplificacin
13.- ~ k (11:12) Silogismo Disyuntivo
14.- m ^ ~ k (9:13) Conjuncin
114.- Demostrar: 4+6 > 3+3
1.- Vx (x>6 x<8) Reemplazando los valores de X e Y
2.- 4+6 < 8 X = 4+6
3.- Vy (y>6 y> 3+3) Y = 4+6
1.- 4+6>6 4+6<8
2.- 4+6<8
3.- 4+6>6 4+6> 3+3
4.- 4+6>6 (1:2) Silogismo Disyuntivo
5.- 4+6> 3+3 (3:4) Modus Ponnens


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


61
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


62
122.- Demostrar la validez de los siguientes razonamientos
Si la ballena es un mamfero entonces toma oxigeno del aire. Si toma oxigeno del aire
entonces no necesita branquias. La ballena es un mamfero y habita en el ocano. Por
tanto, habita en el ocano y no necesita branquias.
* Solucin
* Asignndole un valor a cada proposicin
p = Si la ballena es un mamfero
q = Toma oxigeno del aire
r = Necesita branquias
s = Habita en el ocano
* Transformando a su expresin Lgica
Demostrar: s ^ ~ r (Mtodo Directo)
1.- p q
2.- q ~ r
3.- p ^ s
4.- p (3) Simplificacin
5.- s (3) Simplificacin
6.- q (1:4) Modus Ponnens
7.- ~ r (2:6) Modus Ponnens
8.- s ^ ~ r (5:7) Conjuncin
Si la enmienda no fue aprobada entonces la constitucin queda como estaba. Si la
constitucin queda como estaba, entonces no podemos aadir nuevos miembros al
comit. Podemos aadir 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.
* Solucin
* Asignndole un valor ara cada Proposicin
p = Si la enmienda fue aprobada
q = La constitucin queda como estaba
r = Podemos aadir nuevos miembros al comit
s = El informe se retrasara un mes

63
* Transformando a su expresin lgica
Demostrar: p (Mtodo 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 Negacin
Si el reloj esta adelantado entonces Juan llego antes de las diez y vio partir el coche de
Andrs. Si Andrs dice la verdad, entonces Juan no vio partir el coche de Andrs.
Andrs dice la verdad o estaba en el edificio en el momento del crimen. El reloj esta
adelantado. Por tanto, Andrs estaba en el edificio en el momento del crimen.
* Solucin
* Asignndole un valor a cada Proposicin
p = Si el reloj esta adelantado
q = Juan llego antes de las diez
r = Vio partir el coche de Andrs
s= Andrs dice la verdad
t= Estaba en el edificio en el momento del crimen
Demostrar: t (Mtodo Directo)
1. - p (q ^ r)
2. - s ~ r
3. - s t
4. - p
5. - (q ^ r) (1:4) Modus Ponnens
6. r (5) Simplificacin
7. - ~s (2:6) Modus Tollens
8.- t (3:7) Silogismo Disyuntivo

64
Si Marcos consigue trabajo entonces comprara un automvil. Si Marcos compra un
automvil 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
* Solucin
* Asignndole un valor a cada Proposicin
p = Marcos consigue trabajo
q = Comprara un automvil
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 mtodo 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 compaero.
Si su compaero dice la verdad entonces Alejandro no vio que le hayan pasado el examen
resuelto. Su compaero dice la verdad o estaba copiando las preguntas del examen. El
docente empez a tomar el examen antes de la hora habitual.
En consecuencia: El compaero de Alejandro estaba copiando las preguntas del examen


65
Solucin

Asignndole un valor a cada proposicin expuesta en el razonamiento lgico
p = Si el docente empieza a tomar el examen antes de la hora habitual
q = Alejandro llega atrasado al examen de algebra
r = Observa que le pasaron el examen resuelto a su compaero
s = Si su compaero dice la verdad
t = Estaba copiando las preguntas del examen

Esquematizando el razonamiento lgico 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


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
Solucin

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


66

Demostrar: v ^ t
1) p ~ q
2) s r
3) ~ t u
4) r q
5) p v
6) u s
7) p
8) ~ q (1; 7) MPP 12) ~ u (6; 11) MTT
9) v (5; 7) MPP 13) t (3; 12) MTT
10) ~ r (4; 8) MTT 14) v ^ t (9; 13) CONJUNCION
11) ~ s (2; 10) MTT

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 opcin y as entonces estar con mi mente despejada. Pensando mejor tratare de
descansar para que as tome una mejor decisin. S que buscare otra opcin o en ltimo
caso tratare de descansar y me dejare de hacerme problemas.
Por lo tanto: Tomare mejor una decisin y en este verano decidir no viajar
Solucin


p = Si en este verano decido viajar q = Me preocupare por los gastos que haga
r = Estar con mi mente despejada s = Tratare de descansar
t = Tome una mejor decisin u = Buscare otra opcin
v = Me dejare de hacerme problemas


Demostrar: t ^ ~ p
1) p ~ q
2) q ^ ~ r
3) u r
4) s t
5) u v (s ^ v)
6) q (2) SIMPLIFICACION

67
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


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

Solucin

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


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


68
130.-Demostrar la validez del siguiente razonamiento por el mtodo 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 decisin. Tendr que
hacer grandes obras para el desarrollo de mi ciudad o no dejare de cumplir mis metas.
Por lo tanto: Ser una persona de buenos principios y tomare una acertada decisin
Solucin

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


Si aumenta el precio del combustible entonces no habr forma de transportarse por la
ciudad. El sector transportista se pronuncia y advierten a la poblacin que su tarifa subir
de precio. Posiblemente el precio del combustible no aumentara o afectara a la canasta
familiar y entonces ocasionara que la ciudadana se pronuncie y salga en marcha a las calles

69
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 ciudadana se pronunciara o habr abusos por parte del transporte
Solucin


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 poblacin que su tarifa subir
t = Afectara a la canasta familiar u = La ciudadana se pronunciara
v = Saldr en marcha a las calles a protestar w = Causara un posible enfrentamiento
z = Habr abusos por parte del transporte


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


Los asaltantes entraron por la puerta principal y fueron filmados por las cmaras de
seguridad entonces ser fcil identificarlos y llevarlos a la crcel. Si la polica no acta con
rapidez los asaltantes no irn a la crcel. Pero ser fcil identificarlos entonces la polica no
actuara con rapidez. Si los investigadores analizan la escena del hecho entonces entraron
por la puerta principal. Si los investigadores analizan la escena del hecho entonces fueron
filmados por las cmaras de seguridad. La polica actuara con rapidez.

70
Por lo tanto: Los investigadores no analizaran la escena del hecho y atraparan a los
asaltantes o no ser fcil identificarlos
Solucin


p = Entraron por la puerta principal q = Fueron filmados por las cmaras de seguridad
r = Sera fcil identificarlos s = Llevarlos a la crcel
t = La polica acta con rapidez u = Los investigadores analizan la escena del hecho
w = Atraparan a los asaltantes


Demostrar: ~ u ^ (w v ~ r)
1) (p ^ q) (r ^ s)
2) ~ t ~ s
3) r ~ t
4) u p
5) u q
6) t
7) ~ r (3; 6) MTT 12) ~ p v ~ q (11) LEY DE MORGAN
8) r ~ s (2; 3) SH 13) ~ u (4; 5; 12) DD
9) ~ r v ~ s (8) Dc 14) ~ r v w (7) ADICION
10) ~ (r ^ s) (9) Lm 15) ~ u ^ (~ r v w) (13; 14) CONJUNCION
11) ~ (p ^ q) (1; 10) MTT


La constitucin queda como estaba o habr que modificar algunas leyes para mejorar este
pas. Es suficiente que la constitucin quede como estaba para que se produzca un
desacuerdo entre los ciudadanos. Habr desacuerdo entre los ciudadanos entonces las
autoridades tendrn que tomar alguna decisin. Cuando las autoridades tomen alguna
decisin se tendr que cambiar algunas leyes para mejorar este pas. Las autoridades
necesitan tomar alguna decisin o habr guerra civil y entonces se podrn lamentar las
primeras vctimas. El oficialismo afirma que si la constitucin queda como estaba entonces
no se tendr que lamentar vctimas.

71
Por lo tanto: La constitucin ha sido modificada
Solucin


p = Habr que modificar algunas leyes q = La constitucin queda como estaba
r = Habr desacuerdo entre los ciudadanos s = tendrn que tomar una decisin
t = Habr guerra civil u = Se podrn lamentar las primeras victimas


Demostrar: ~ q
1) q v p
2) q r
3) r s
4) p s
5) (s v t) u
6) q ~ u
7) q s (2; 3) SH
8) s v s (1; 4; 7) DC
9) s (8) IDEMPOTENCIA
10) s v t (9) ADICION
11) u (5; 10) MPP
12) ~ q (6; 11) MTT


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


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


72

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


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 ms esperanza de
vida. La fe se terminara o habr ms 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
Solucin


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


Demostrar: u ^ q
1) p v q
2) (r ^ s) ~ t
3) u v t

73
4) ~ p ^ s
5) ~ r ~ q
6) ~ p (4) SIMPLIFICACION
7) s (4) SIMPLIFICACION
8) q (1; 6) MTP
9) r (5; 8) MTT
10) r ^ s (7; 9) CONJUNCION
11) ~ t (2; 10) MPP
12) u (3; 11) MTP
13) u ^ q (8; 12) CONJUNCION
136.- Demostrar: ~ p Mtodo Directo
1. r ~ p
2. s r
3. s
4. r (2;3) MP
5. ~ p (1; 4) MP
137.- Demostrar: ~ p Mtodo Indirecto
1. r ~ p
2. s r
3. s
4. ~~ p RP
5. P (4) Doble Negacin
6. r (2; 3) MP
7. ~ P (1; 6) MP
8. ~ P ^ P (5; 7) C
9. F (8) Condicin de Negacin
138.- Demostrar: p v q Mtodo Directo
1. ~ r p
2. F v G ~ r
3. G
4. F v G (3) A
5. ~ r (2:4) MP
6. p (1:5) MP
7. P v Q (6) A

74

139.- Demostrar: p v q Mtodo 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
140.- Demostrar: A Mtodo 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
141.- Demostrar: A Mtodo Indirecto
1. ~ G E
2. E K
3. ~ G
4. ~ K v ~ L

75
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
142.- Demostrar: F Mtodo Directo
1. g h
2. ~ g ~~ f
3. ~ h ^ q
4. ~ h (3) S
5. ~ g (1; 4) MT
6. ~~ f (2; 5) MP
7. f (6) Doble Negacin
143.- Demostrar: F Mtodo Indirecto
1. g h
2. ~ g ~~ f
3. ~ h ^ q
4. ~ f RP
5. ~ h (3) S
6. ~ g (1; 5) MT
7. ~~ f (2; 6) MP
8. f (7) Doble Negacin
9. f ^ ~ f (4; 8) C


76

144.- Demostrar: r Mtodo Directo
1. p r
2. q p
3. q
4. p (2; 3) MP
5. r (1; 4) MP
145.- Demostrar: r Mtodo 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
146.- Demostrar: R v J Mtodo 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 Mtodo Indirecto
1. p (s v j)
2. ~ s
3. p
4. ~ (r v j) RP
5. ~ r ^ ~ j (4) LM
6. s v j (1; 3) MP

77
7. j (2; 6) SD
8. ~ j (5) S
9. j ^ ~ j (7; 8) C
148.- Demostrar: p ~ s Mtodo Condicional
1. p (q v r)
2. q ~ p
3. s ~ r
4. p RP
5. q v r (1; 4) MP
6. ~ q (2; 4) MT
7. r (5; 6) SD
8. ~ s (3; 7) MT
9. p ~ s (4; 9) Demostracin Condicional
149.- Demostrar: p ~ s Mtodo Indirecto
1. p (q v r)
2. q ~ p
3. s ~ r
4. ~ (p ~ s) RP
5. ~ (~ p v ~ s) (4) Definicin Condicional
6. (p ^ s) (5) Ley de Morgan y Doble Negacin
7. p (6) S
8. q v r (1;7) MP
9. ~ q (2;7) MT
10. r (8;9) SD
11. ~ s (3;10) MT
12. s (6) S
13. s ^ ~ s (11;12) C
14. F (13) Condicion de Negacin


78

150.- Demostrar: (p ^ q) (s ^ t) Mtodo 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) Demostracin Condicional
151.- Demostrar: (p ^ q) (s ^ t) Mtodo Indirecto
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) (s ^ t)] RP
9. ~ [~ (p ^ q) v (s ^ t)] (8) Definicin Condicional

79
10. [(p ^ q) ^ (~ s v ~ t)] (9) Ley de Morgan y Doble Negacin
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) Condicin de negacin
152.- Demostrar: r ~ s Mtodo 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) Demostracin Condicional
153.- Demostrar: r ~ s Mtodo Indirecto
1. r (p v q)
2. p ~ r
3. s ~ q
4. ~ (r ~ s) RP
5. ~ (~ r v ~ s) (4) Definicin Condicional
6. r ^ s (5) Ley de Morgan y Doble Negacin

80
7. r (6) S
8. p v q (1;7) MP
9. ~ p (2; 7) MT
10. q (8;9) SD
11. ~ s (3; 10) MT
12. s (6) S
13. s ^ ~ s (11;12) C
14. F (13) Condicion de Negacin
154.- Demostrar: s (p v q) Mtodo Condicional
1. s t
2. r p
3. t r
4. s RP
5. t (1 ; 4) MP
6. r (3 ; 5) MP
7. p (2 ; 6) MP
8. p v q (7) A
9. s (p v q) (4; 8) Demostracin Condicional
155.- Demostrar: s (p v q) Mtodo Indirecto
1. s t
2. r p
3. t r
4. ~ [~ s v (p v q)] RP y Definicin Condicional
5. ~~ s ^ (~ p ^ ~ q) (4) Ley de Morgan
6. s ^ (~ p ^ ~ q) (5) Doble Negacin
7. s (6) Simplificacin
8. t (1; 7) MP
9. r (3; 8) MP
10. p (2; 9) MP
11. (~ p ^ ~ q) (6) Simplificacin
12. ~ p (11) Simplificacin

81
13. p ^ ~ p (10; 12) Conjuncin
156.- Demostrar: (x+3=2) ^ (y+1=3) Mtodo 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) Simplificacin
5. (5-y z) (2; 4) SD
6. (x+3 =2) (3; 5) MT
7. (y+1=3) (1) Simplificacin
8. (x+3=2) ^ (y+1=3) (6; 7) Conjuncin


82

157.-Determine el valor de verdad de los siguientes enunciados (suponga que el
conjunto Universal es R)
a) Vx, X = X
* Solucin
* Verificando el valor de verdad del esquema proposicional
Para que sea considerado verdadero el esquema debe cumplir la condicin para todo
Nmero 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)
* Solucin
* 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 condicin
solamente para algn nmero real
Si X+2 = X Despejando X se tiene
X-X = -2
0 = -2 De este resultado se saca la conclusin de que el sistema no tiene solucin
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 condicin
para todo nmero real

83
Si X = 1 1+1>1 = 2>1 Verdadero
Si X= -1 -1+1>-1 = 0>-1 Verdadero
Por lo tanto se saca la conclusin 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 niguelos:
a) ( x, A) (X+3=6) (V x, A) (X+3<6)
* Solucin
- 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 condicin 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
- 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

84
- Calculo de la negacin 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+36) (V x, A) (X+3<6)] ^ [( x, A) (X+36) ( x, A) (X+3=6)]
~{[(Vx, A) (X+36) (V x, A) (X+3<6)] ^ [( x, A) (X+36) ( 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+36)]}
b) ( x, A) (X+3<4) (V x, A) (X+38)
* Solucin
* Calculo del valor de verdad del esquema ( x, A) (X+3<4)
Para que el esquema sea considerado Verdadero algn valor perteneciente al conjunto A
deber cumplir la condicin 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+38)
Para que el esquema proposicional sea considerado verdadero todos los valores
pertenecientes al conjunto A debern cumplir la condicin 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+38) = V
* Calculo del valor de verdad de ( x, A) (X+3<4) (V x, A) (X+38)
( x, A) (X+3<4) (V x, A) (X+38)
V V
V
* Calculo de la negacin del esquema proposicional
( x, A) (X+3<4) (V x, A) (X+38)
~ ( x, A) (X+3<4) (V x, A) (X+38)
(V x, A) (X+34) (V x, A) (X+38)
~ {[(V x, A) (X+34) (V x, A) (X+38)]}
[( x, A) (X+3<4) ^ ( x, A) (X+3 >8)]}

85

1.- Dados los conjuntos por extensin:
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)
SOLUCIN
a) A = {1, 2, 3,4}
B = {2, 4,5}
A B = {1, 3}

b) B = {2, 4,5}
A = {1, 2, 3,4}
B U A = {1, 2, 3, 4,5}

c) C= {3, 4, 5,6}

A B

0 8

7 6 C 9
1

3
2

4
5

A B

0 8

7 6 C 9
1

3
2

4
5

A B

0 8

7 6 C 9
1

3
2

4
5

86
A = {1, 2, 3,4}
C A = {3, 4}

d) C= {3, 4, 5,6}
A = {1, 2, 3,4}
C A = {1, 2, 5,6}
B = {2, 4,5}
(C A) B = {1, 6}

e) A = {1, 2, 3,4}
B = {2, 4,5}
A U B = {1, 2, 3, 4,5}
(A U B)
C
= {0, 6, 7, 8,9}
B = {2, 4,5}
C = {3, 4, 5,6}
B C = {4,5}
(A U B)
C
(B C) = {0, 6, 7, 8,9}
2.- Dados los siguientes conjuntos por extensin
U = {0, 1, 2, 3, 4, 5, 6,7}
A = {0, 1, 2,3}
B = {1, 3, 5,7}
C = {2, 4, 6,7}
D = {0, 1, 3,4}
Determinar:
a) (B A) U C
b) (A
C
B) (A B)
c) [(D A) U (B C)
C
] D
SOLUCIN
a) B = {1, 3, 5, 7} b) A = {0, 1, 2, 3} (A
C
B) (A B) = {0, 2, 5, 7}

A B

0 8

7 6 C 9
1

3
2

4
5

A B

0 8

7 6 C 9
1

3
2

4
5

87
A = {0, 1, 2, 3} A
C
= {4, 5, 6, 7}
B A = {5, 7} B = {1, 3, 5, 7}
C = {2, 4, 6, 7} A
C
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
C
C
b) (A B) - (C A)

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

88
C = {1, 2, 3, 4}
C
C
= {-2, -1, 0, 5, 6}
A C
C
= {1, 2, 3, 4}
(A C
C
)
C
= {-2, -1, 0, 5, 6}
B= {-2, -1, 0, 1, 2, 3}
(A-C
C
)
C
U B = {-2, -1, 0, 1, 2, 3, 5, 6}
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 B
c
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}
B
C
= {a, c, g, h} A B = {a, b, d, e, h}
A B
c
= {a, d, h} (A B) A = {b, e}
U = {-6, -2, 0, 1, 2, 3, 4}
A = {x / x
2
-4x+3 = 0}
B = {x / 6-5x+x
2
= 0}
C ={x/x
3
-x
2
-4x+4 = 0}
Determinar:
a) (A - B) U C b) (A B) - B
A = {1, 3} A = {1, 3}
B = {-6, 1} B = {-6, 1}
A-B = {3} A B = {-6, 3}
C = {-2, 1, 2} (A B) B = {3}
(A - B) U C = {-2, 1, 2, 3}
c) (AC)
c
U (B A)
A = {1, 3}

89
C = {-2, 1, 2}
(A C) = {1}
(AC)
c
= {-6, -2, 0, 2, 3, 4}
B = {-6, 1}
A = {1, 3}
B A = {1}
(AC)
c
U (B A) = {-6, -2, 0, 1, 2, 3, 4}
6.- Determinar los Elementos de A y B sabiendo que:
U = {1, 2, 3, 4, 5, 6, 7, 8}
A B = {1, 2, 3, 4, 5}
B
c
= {1, 4, 7}
* Solucin
Calculo de B Clculo de A
U = {1, 2, 3, 4, 5, 6, 7, 8} A B = {1, 2, 3, 4, 5}
B
C
= {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}
B
c
= {c, d, g, i}
* Solucin
Calculo del universo Clculo de B
A U B = {a, b, c, e, f, g, h} B
c
= {c, d, g, i}
A B = {a, e} U = {a, b, c, d, e, f, g, h, i}
B
c
= {c, d, g, i} B = {a, b, e, f, h}
U = {a, b, c, d, e, f, g, h, i}
Calculo de A
B = {a, b, e, f, h}
B A = {a, e}
A U B = {a, b, c, e, f, g, h}
A = {a, c, e, g}

90

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 nmero 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
a) A B
b) (A C)
c
B
* Solucin
a) A = {0, 1, 2, 3, 4, 5}
B = {3, 4, 5, 6, 7, 8, 9}
A B = {0, 1, 2}

91
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}
U = {2, 4, 6, 8, 10, 12, 14}
C = {2, 4, 6, 8, 10, 12}
D = {2, 6, 10}
Determinar:
[(C
C
D) U C] D
* Solucin
C
C
= {14} [(C
C
D) U C] D = {4, 8, 12, 14}
C
C
D = {14}
(C
C
D) U C = {2, 4, 6, 8, 10, 12, 14}


92

Usando leyes o propiedades de conjuntos demostrar:
11.- (A B) U (A - B)= A Ley de diferencia
(A B)U(A B
c
) = A Ley Distributiva
A (B U B
c
) = A Complementacin
A U = A Identidad
A = A
12.- (A U B) (C A) = A U (B C) Ley de diferencia
(A U B) (CA
c
) = A U (B C
c
) Ley del complemento
(A U B) (C
c
U A
cc
) = A U (B C
c
) Doble complemento
(A U B) (C
c
U A) = A U (B C
c
) Ley Distributiva
A U (B C
c
) = A U (B C
c
)
13.- (A U B) - (A B) = A B Ley de diferencia simtrica
(A U B) [(A B) U (B - A) ] = A B Ley de diferencia
(A U B) [(A B
c
) U (B A
c
)]
c
= A B Ley del complemento
(A U B) [(A
c
U B
cc
) (B
c
A
cc
)]

= A B Doble complemento
(A U B) [(A
c
U B) (B
c
A)]

= A B Ley Asociativa
[(A U B) (A
c
U B)] (B
c
A)

= A B Ley Distributiva
[B U (A A
c
)] (B
c
U A) = A B Complementacin
(B U ) (B
c
U A) = A B Identidad
B (B
c
U A) = A B Distributiva
(B B
c
) U (B A) = A B Complementacin
U (B A) = A B Identidad y Conmutativa
A B = A B
14.- (A B) C = (A C) (B C) Ley Distributiva

93
(A C) (B C) = (A C) (B C)

15.- A U (B A) = A U B Ley de Diferencia
A U (B A
C
) = A U B Ley Distributiva
(A U B) (A U A
C
) = A U B Complementacin
(A U B) U = A U B Identidad
A U B = A U B
16.- [(A B) U A] (B C) = A (B
C
U C
C
) Ley de Absorcin
A (B C) = A (B
C
U C
C
) Ley de Diferencia
A (B C)
C
= A (B
C
U C
C
) Ley del Complemento
A (B
C
U C
C
) = A (B
C
U C
C
)
17.- [(A B) - A] = A
C
B Ley de Diferencia Simtrica
{[(A B) U (B A)] - A} = A
C
B Ley de Diferencia
{[(A B
C
) U (B A
C
)] A
C
} = A
C
B Ley Distributiva
{[(A B
C
) A
C
] U [(B A
C
) A
C
]} = A
C
B Ley asociativa
{[(A A
C
) B
C
] U [(A
C
A
C
) B]} = A
C
B Complementacin y Idempotencia
{( B
C
) U [(A
C
B)]}= A
C
B Identidad
U [(A
C
B)] = A
C
B Identidad
A
C
B = A
C
B
18.- [(A U B
C
) (B A)]
C
U [(A B)
C
(B A)] Ley de Diferencia y Complemento
[(A U B
C
) (B A
C
)]
C
U [(A
C
U B
C
) (B A
C
)
C
] Ley del Complemento
[(A U B
C
) (B A
C
)]
C
U [(A
C
U B
C
) (B
C
U A
CC
)] Doble Complemento
[(A U B
C
) (B A
C
)]
C
U [(A
C
U B
C
) (B
C
U A)] Ley Distributiva
[(A U B
C
) (B A
C
)]
C
U [B
C
U (A
C
A)] Complementacin
[(A U B
C
) (B A
C
)]
C
U (B
C
U ) Identidad
[(A U B
C
) (B A
C
)]
C
U B
C
Ley de Diferencia Simtrica
{[(A U B
C
) - (B A
C
)] U [(B A
C
) - (A U B
C
)]}
C
U B
C
Ley de Diferencia
{[(A U B
C
) (B A
C
)
C
] U [(B A
C
) (A U B
C
)
C
]}
C
U B
C
Ley del Complemento
{[(A
C
B
CC
) U (B A
C
)
CC
] U [(B
C
U A
CC
) U (A U B
C
)
CC
]} U B
C
Doble Complemento

94
{[(A
C
B) U (B A
C
)] U [(B
C
U A) U (A U B
C
)]} U B
C
Idempotencia
{[(A
C
B) U (B
C
U A)]} U B
C
Ley Asociativa
{[(A
C
B) U B
C
] U [(B
C
U A)] U B
C
} Ley Distributiva y Asociativa
{[(A
C
U B
C
) (B U B
C
)] U [(B
C
U B
C
) U A]} Complementacin y Idemp.
[(A
C
U B
C
) U] U (B
C
U A) Identidad
(A
C
U B
C
) U (B
C
U A) Ley Asociativa
B
C
U (A
C
U A) Complementacin
B
C
U U Identidad
U

19.- {[(A U B) (B - C)
C
] U [C (A
C
B)} (C B) Ley de Diferencia
{[(A U B) (B C
C
)
C
] U [C (A
C
B)
C
]} (C B
C
)
C
Ley del Complemento
{[(A U B) (B
C
U C
CC
)] U [C (A
CC
U B
C
)]} (C
C
U B
CC
) Doble Complemento
{[(A U B) (B
C
U C)] U [C (A U B
C
)]} (C
C
U B) Ley Distributiva
{[(A U B) (B
C
U C)] (C
C
U B)}U {[C (A U B
C
)] (C
C
U B)} Ley Asociativa
{[(A U B) (B
C
U C)] (C
C
U B)}U {[C (C
C
U B)] (A U B
C
)} Ley Distributiva
{[(A U B) (B
C
U C)] (C
C
U B)}U {[(C C
C
) U (C B)] (A U B
C
)} Complementacin
{[(A U B) (B
C
U C)] (C
C
U B)}U {[ U (C B)] (A U B
C
)} Identidad
{[(A U B) (B
C
U C)] (C
C
U B)}U {(C B) (A U B
C
)} Ley Asociativa
{[(A U B) (B
C
U C)] (C
C
U B)}U {C [B (A U B
C
)} Ley Distributiva
{[(A U B) (B
C
U C)] (C
C
U B)}U {C [(B A) U (B B
C
)]} Complementacin
{[(A U B) (B
C
U C)] (C
C
U B)}U {C [(B A) U ]} Identidad
{[(A U B) (B
C
U C)] (C
C
U B)}U {C [(B A)]} Ley Asociativa
{[(A U B) (C
C
U B)] (B
C
U C)}U (C B A) Ley Distributiva
{[B U (A C
C
)] (B
C
U C)}U (C B A) Ley Distributiva
{[B U (A C
C
)] B
C
} U {[B U (A C
C
)] C} U (C B A) Ley Distributiva
{(B B
C
) U [B
C
(A C
C
)]} U {[B U (A C
C
)] C} U (C B A) Complementacin
{ U [B
C
(A C
C
)]}U {[B U (A C
C
)] C} U (C B A) Identidad
[B
C
(A C
C
)] U {[B U (A C
C
)] C} U (C B A) Ley Distributiva
[B
C
(A C
C
)] U {(B C) U [(A C
C
) C]} U (C B A) Ley Asociativa
[B
C
(A C
C
)] U {(B C) U [(C C
C
) A]} U (C B A) Complementacin
[B
C
(A C
C
)] U {(B C) U [ A]} U (C B A) Identidad

95
[B
C
(A C
C
)] U [(B C)] U (C B A) Ley de Absorcin
[B
C
(A C
C
)] U [(B C)] Ley Distributiva
[B
C
U (B C)] [(A C
C
) U (B C)] Ley Distributiva
[(B
C
U B) (B
C
U C)] [(A C
C
) U (B C)] Complementacin
[U (B
C
U C)] [(A C
C
) U (B C)] Identidad
(B
C
U C) [(A C
C
) U (B C)] Ley Distributiva
[(B
C
U C) (A C
C
)] U [(B
C
U C) (B C)] Ley Asociativa
[(B
C
U C) C
C
A)] U [(B
C
U C) C B Ley de Absorcin
[(B
C
U C) C
C
A)] U (C B) Ley distributiva
{[(B
C
C
C
) U (C
C
C)] A} U (C B) Complementacin
{[(B
C
C
C
) U ] A} U (C B) Identidad
{[(B
C
C
C
) A} U (C B) Absorcin
(C B)
20.- [(A B) U A] B Ley de diferencia
[(A B
C
) U A] B
C
Ley de Absorcin
A B
C

21.- [(A B) U B] (A B
C
) Ley de diferencia
[(A B
C
) U B] (A B
C
)
C
Ley distributiva ; Morgan; Doble Complemento
[(B U A) (B U B
C
)] (A
C
U B) Complementacin
[(B U A) U] (A
C
U B) Identidad
(B U A) (A
C
B U (A A
C
) Complementacin
B U Identidad
B
22.- [(A C) - A] (A B) Ley de Diferencia
[(A C
C
) A
C
] (A B
C
)
C
Ley Asociativa y ley de Morgan
[(A A
C
) C
C
] (A
C
U B) Complementacin
( C
C
) (A
C
U B) Identidad
(A
C
U B) Identidad

23.- {A U [A [(A B) -A] (A U B)]}

96
{A U [A [(A B) -A] (A U B)]} Ley de Absorcin
A

24.- [(A U B) (A U B
C
)] (A B) Ley Distributiva; Ley de diferencia
[A U (B B
C
) (A B
C
)
C
Complementacin; Ley de Morgan
(A U ) (A
C
U B
CC
) Identidad; Doble complemento
A (A
C
U B) Ley distributiva
(A A
C
) U (A B) Complementacin
U (A B) Identidad
(A B)
25.- [(A B) - A] B Ley de Diferencia
[(A B
C
) A
C
] B
C
Ley Asociativa
[(A A
C
) B
C
] B
C
Complementacin
( B
C
) B
C
Identidad

26.- [(A B) A] B Ley de Diferencia y diferencia simtrica
{[(A B) U (B A)] A} B
C
Ley de Diferencia
{[(A B
C
) U (B A
C
) A} B
C
Ley distributiva
{[A (A B
C
)] U [A (B A
C
)]} B
C
Ley Asociativa
{[(A A) B
C
] U [(A A
C
) B]} B
C
Idempotencia; Complementacin
{(A B
C
) U ( B)} B
C
Identidad
[(A B
C
) U ] B
C
Identidad
(A B
C
) B
C
Asociativa
(A B
C
)
27.- [(A C) - A] [(C B) - B] Ley de diferencia
[(A C
C
) A
C
] [(C B
C
) B
C
]
C
Ley asociativa y ley de Morgan
[(A A
C
) C
C
] [(B
C
U B) U C
C
] Complementacin
( C
C
) (U U C
C
) Identidad


97

28.- [(A C) U C] (A B) Ley de diferencia
[(A C
C
) U C] (A B
C
)
C
Ley distributiva y Morgan
[(A U C) (C U C
C
)] (A
C
U B) Complementacin
[(A U C) U] (A
C
U B) Identidad
(A U C) (A
C
U B)
29.- {[(A U B) - B]} A Ley de diferencia
{[(A U B) B
C
]} A Ley distributiva
{[(A B
C
) U (B B
C
)]} A Complementacin
{[(A B
C
) U ]} A Identidad
(A B
C
) A Ley de diferencia simtrica
[(A B
C
) - A] U [A - (A B
C
)] Ley de diferencia
[(A B
C
) A
C
] U [A (A B
C
)
C
] Asociativa y Morgan
[(A A
C
) B
C
] U [A (A
C
U B)] Complementacin y distributiva
( B
C
) U [(A A
C
) U (A B)] Identidad; Complementacin
U [ U (A B)] Identidad
(A B)]
30.- [(B C) - C] (B U C
C
) Ley de diferencia
[(B C
C
) C
C
] (B U C
C
) Ley asociativa
[(C
C
C
C
) B] (B U C
C
) Idempotencia
(C
C
B) (B U C
C
) Asociativa
C
C
B (B U C
C
) Absorcin
C
C
B


98

31.- Si C = {X R ^ X<5}, D = {X R ^ X<10} y U = R
Calcular:
a) C-D
* Solucin
* Calculo de los conjuntos por extensin
C =]- ; 5[
D =]- ; 10[
* Graficando los conjuntos
C =

D =

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

D
c
= [10; + [

d) C
C
C
C
=
C
C
= [5; + [
e) C D
0 5
0 10
5 10
10
5

99
0
0 4
0 3
0 -6 18
0
0 4 18
C D =
C D =]-; 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) B
C
(C B)
* Solucin
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=

A=

B =

C =

A B =

A C =

5

100
0
0
0 -3 2
0 1 9
0 -2 10
0 2 9
(A B) (A C) =

(A B) (A C) = {} Conjunto Vaci

33.- Sean los siguientes conjuntos
U = R
A = {x / x
2
+ x 6 > 0}
B = {x / | x 5 | 4}
C = {x / | x - 4| < 6}
Determinar:
(A U B) C
* Solucin
A = {x / x
2
+ x 6 > 0} B = {x / | x 5 | 4} C = {x / | x - 4| < 6}
x
2
+ 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 =

A =

B =

C =

A U B


101
0 -2 2 9 10
0
0
0
0
0
0
-3
5
3
7
-3
-1
-3
7
-3
7
(A U B) C =

U = R
A = {x / | x 1 | > 4}
B = {x / | x 5 | < 2}
C = {x / | x + 2 | < 1}
Determinar:
(A B)
C
C
- Solucin
| 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 =

A =

B =

C =

A B =

(A B)
C
=

102
0
0
0
0
0
0
0
-3 -1
-4 8
-3 5
-4
10
-4 -3 5
8
-4
-3
5
8

(A B)
C
C=

U = R
A = {x / | x 2 | > 6}
B = {x / | x 1 | < 4}
C = {x / | x 3 | > 7}
Determinar:
(A B) U C
* Solucin
| 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 =

A =

B =

C =

A B =

(A B) U C =

103
0
0
0
0
0
0
-1 11
-3 9
12
-3
11
-1
12

U = R
A = {x / | x 5 | > 6}
B = {x / | x 3 | 6}
C = {x / | x 6 | 6}
Calcular: (A B) (A C)
* Solucin
| 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 =

A =

B =

C =

A B =

A C =


104
0
0
0
0
0
0
0
11 12
-1 11
-3 9
-3 11
-3 11
9 11
(A B) (A C) =

U = R
A = {x / | x 5 | > 6}
B = {x / | x 3 | 6}
Calcular:
a) (A B)
C
B
b) (B A) A
C

* Solucin
| 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 =

A =

B =

A B =

(A B)
C
=

(A B)
C
B =

105
0
0
0
0
0
0
0
0
0
0
0
-1
9
-1
11
-1
9
-2 10
-6 4
10
6
10
-2
10
-6
4
-6
10
-6
10

B A =

A
C
=

(B A) A
C
=
38.- Daos los siguientes conjuntos
U = R
A = [-2; 10]
B =]-; -6] U [4; 10]
C = [6; 10]
Calcular:
a) (A
C
B
C
) C
b) (A C) U B
C

* Solucin

U =

A =

B =

C =

A
C
=

B
C
=

A
C
B
C
=

(A
C
B
C
) C =

106
0
0
0
0
0
0
0
0
0
-2
6
-6 6
-1
5
-6
-6
3 6
3
-6 -1
5

A C =

(A C) U B
C
=

U = R
A = [-1; 5]
B =]-; -6]
C = [- 6; 0] U [3; 6]
Calcular:
a) (A C) B
b) B A
* Solucin

U =

A =

B =

C =

A C =

(A C) B =

B A =


107
0
0
0
0
0
0
0
0
0
5
5
-2 3
6
3
3
3
-2
3 6

U = R
A = [0; 5]
B =]-; 5]
C = [- 2; 0] U [3; 6]
Calcular: [(A C) B] (A
C
U C
C
)
* Solucin

U =

A =

B =

C =

A C =

(A C) B =

A
C
=

C
C
=

A
C
U C
C
=

108
0

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

IGUALDAD DE FORMULAS CONJUNTISTAS
41.- Demostrar la siguiente igualdad conjuntista: [A (A B)] B =
Solucin
Justificaciones
[A (A B)] B = Ley de Diferencia
[A (A B
C
)
C
] B
C
= Ley del Complemento y Doble Complemento
[A (A
C
U B)] B
C
= Ley de Poretsky
(A B) B
C
= Ley Asociativa
(B
C
B) A = Ley de Complementacin
( A) = Ley de Identidad
Por tanto queda demostrado

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

Solucin
Justificaciones
{B
C
[(A
C
B) U A]} [(A U B)
C
U A] = B
C
Ley de Diferencia y Ley del Complemento
{B
C
[(A
C
B) U A]
C
} [(A
C
B
C
) U A] = B
C
Complemento y Ley de Poretsky
{B
C
[(A
CC
U B
C
) A
C
]} (B
C
U A) = B
C
Ley del Doble Complemento
{B
C
[(A U B
C
) A
C
]} (B
C
U A) = B
C
Ley de Poretsky
[B
C
(B
C
A
C
)] (B
C
U A) = B
C
Ley Asociativa y Ley de Idempotencia
(B
C
A
C
) (B
C
U A) = B
C
Ley Distributiva
B
C
(A U A
C
) = B
C
Ley de Complementacin
B
C
U =B
C
Ley de Identidad

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

Solucin
Justificaciones
[(A B) U (A B)] (B A) = A B
C
Ley de Diferencia
[(A B
C
) U (A B)] (B A)
C
= A B
C
Ley Distributiva y Ley del Complemento
[A (B U B
C
)] (B
C
U A
C
) = A B
C
(A U) (B
C
U A
C
) = A B
C
Ley de Identidad
A (B
C
U A
C
) = A B
C
Ley de Poretsky
=
B
C
= B
C

A B
C
= A B
C


109

44.- Demostrar la siguiente igualdad conjuntista: [(A B
C
) A] U (B A)
C
= B
C
U A
Solucin
Justificaciones
[(A B
C
) A] U (B A)
C
= B
C
U A Ley de Diferencia
[(A B
C
) A
C
] U (B A
C
)
C
= B
C
U A Ley del Complemento y Doble Complemento
[(A B
C
) A
C
] U (B
C
U A) = B
C
U A Ley de Diferencia Simtrica
{[(A B
C
) U (B
C
A)] A
C
} U (B
C
U A) = B
C
U A Diferencia y Doble Complemento
{[(A B) U (B
C
A
C
)] A
C
} U (B
C
U A) = B
C
U A Ley Distributiva
{[(A B) A
C
] U [(B
C
A
C
)] A
C
} U (B
C
U A) = B
C
U A Asociativa Idempotencia
{[(A A
C
) B] U (B
C
A
C
)} U (B
C
U A) = B
C
U A Ley de Complementacin
[( B) U (B
C
A
C
)] U (B
C
U A) = B
C
U A Ley de Identidad
(B
C
A
C
) U (B
C
U A) = B
C
U A Ley Asociativa
(B
C
A
C
) U B
C
U A = B
C
U A Ley de Absorcin

45.- Demostrar la siguiente igualdad conjuntista: {[(B
C
A
C
) U B] A} U B =B
Solucin
Justificaciones
{[(B
C
A
C
) U B] A} U B = B Ley de Diferencia y Doble Complemento
{[(B
C
A) U B] A
C
} U B = B Ley de Poretsky
[(A U B) A
C
] U B = B Ley de Poretsky
(A
C
B) U B = B Ley de Absorcin

46.- Demostrar la siguiente igualdad conjuntista: [(B A) U B] [(A B) U A] = B
A
Solucin
Justificaciones
[(B A) U B] [(A B) U A] = B A Ley de Diferencia
[(B A
C
) U B] [(A B
C
) U A] = B A Ley de Absorcin

47.- Demostrar la siguiente igualdad de conjuntos: {B [(A U B) A]} = A B
Solucin
Justificaciones
{B [(A U B) A]} = A B Ley de Diferencia
{B [(A U B) A
C
]
C
} = A B Ley del Complemento y Doble Complemento
{B [(A
C
B
C
) U A]} = A B Ley de Poretsky
[B (A U B
C
)] = A B Ley de Poretsky

B
C
U A = B
C
U
A
B = B
B A = B
A
A B = A
B

110

48.- Demostrar la siguiente igualdad conjuntista: [(A B) A] B =
Solucin
Justificaciones
[(A B) A] B = Ley de Diferencia Simtrica
{[(A B) U (B A)] A} B = Ley de Diferencia
{[(A B
C
) U (B A
C
)] A} B = Ley de Diferencia Simtrica
{[(A B
C
) U (B A
C
)] A} U {A [(A B
C
) U (B A
C
)]} B = Ley de Diferencia
{[(A B
C
) U (B A
C
)] A
C
} U {A [(A B
C
) U (B A
C
)]
C
} B = Distributiva
{[(A B
C
) A
C
] U [A
C
(B A
C
)]} U {A [(A B
C
) U (B A
C
)]
C
} B =
{[(A A
C
) B
C
] U [B (A
C
A
C
)]} U {A [(A B
C
) U (B A
C
)]
C
} B =
{ U [B (A
C
A
C
)]} U {A [(A B
C
) U (B A
C
)]
C
} B = Ley de Identidad
{[B (A
C
A
C
)]} U {A [(A B
C
) U (B A
C
)]
C
} B = Ley de Idempotencia
(B A
C
) U {A [(A B
C
) U (B A
C
)]
C
} B = Ley del Complemento
(B A
C
) U {A [(A
C
U B
CC
) (B
C
U A
CC
)]} B = Doble Complemento
(B A
C
) U {A [(A
C
U B
CC
) (B
C
U A
CC
)]} B = Ley Asociativa
(B A
C
) U {(A
C
U B) A (B
C
U A)]} B = Ley de Absorcin
(B A
C
) U [(A
C
U B) A] B = Ley de Poretsky
[(B A
C
) U (B A)] B = Ley Distributiva
[B (A
C
U A)] B = Ley de Complementacin
(B U) B = Ley de Identidad
(B B) = Ley de Diferencia Simtrica
(B B) U (B B) = Ley de Diferencia
(B B
C
) U (B B
C
) = Ley de Complementacin

49.- Demostrar la siguiente igualdad de conjuntos: (A B) (B C) = (A C) B
Solucin
Justificaciones
(A B) (B C) = (A C) B Ley de Diferencia simtrica
[(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) (B
C
U C
C
)] U [(B C) (A
C
U B
C
)] = (A C) B Ley Asociativa
[A B (B
C
U C
C
)] U [B C (A
C
U B
C
)] = (A C) B Ley de Poretsky
(A B C
C
) U (B C A
C
) = (A C) B Ley Distributiva
B [(A C
C
) U (C A
C
)] = (A C) B Ley de Diferencia
B [(A C) U (C A)] = (A C) B Ley de Diferencia Simtrica
B (A C) = (A C) B Ley Conmutativa

50.- Demostrar la siguiente igualdad conjuntista: [(A B) U A] B = A B
C

=
B (A C) = B (A C)

111
Solucin
Justificaciones
[(A B) U A] B = A B
C
[(A B) U (B A) U A] B
C
= A B
C
Ley de Diferencia
[(A B
C
) U (B A
C
) U A] B
C
= A B
C
Ley Asociativa
[(A B
C
) U A U (B A
C
)] B
C
= A B
C
Ley de Absorcin
[A U (B A
C
)] B
C
= A B
C
Ley de Poretsky
(A U B) B
C
= A B
C
Ley de Poretsky

51.- Demostrar la siguiente igualdad conjuntista: [(C U A) C] (A C)
C
= A
C
U C
Solucin
Justificaciones
[(C U A) C] (A C)
C
= A
C
U C Ley de Diferencia
[(C U A) C
C
] (A C
C
)
C
= A
C
U C Ley de Poretsky y Ley del Complemento
(A C
C
) (A
C
U C
CC
) = A
C
U C Ley del Doble Complemento
(A C
C
) (A
C
U C) = A
C
U C Ley de Diferencia Simtrica
[(A C
C
) (A
C
U C)] U [(A
C
U C) (A C
C
)] = A
C
U C Ley de Diferencia
[(A C
C
) (A
C
U C)
C
] U [(A
C
U C) (A C
C
)
C
] = A
C
U C Ley del Complemento
[(A C
C
) (A
CC
C
C
)] U [(A
C
U C) (A
C
U C
CC
)] = A
C
U C Doble Complemento
[(A C
C
) (A C
C
)] U [(A
C
U C) (A
C
U C)] = A
C
U C Ley de Idempotencia
(A C
C
) U (A
C
U C) = A
C
U C Ley Asociativa
(A C
C
) U A
C
U C = A
C
U C Ley de Poretsky

52.- Demostrar la siguiente igualdad conjuntista: [C (A U B)] U B = B U (C A
C
)
Solucin
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 A
C
) Ley del Complemento
[C (A
C
B
C
)] U B = B U (C A
C
) Ley Distributiva
(B U C) [(A
C
B
C
) U B]= B U (C A
C
) Ley de Poretsky
(B U C) (B U A
C
) = B U (C A
C
) Ley Distributiva

53.- Demostrar la siguiente igualdad de conjuntos: B [C (C B)] = B C
Solucin
Justificaciones
B [C (C B)] = B C Ley de Diferencia
B [C (C B
C
)
C
]
C
= B C Ley del Complemento y Doble Complemento
B [C
C
U (C B
C
)] = B C Ley de Poretsky
B (C
C
U B
C
) = B C Ley de Poretsky
A
C
U C = A
C

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

112
B C
C
= B C Ley de Diferencia

54.- Demostrar la siguiente igualdad de conjuntos: (B A) (C A) = (B C) A
Solucin
Justificaciones
(B A) (C A) = (B C) A Ley de Diferencia
(B A
C
) (C A
C
) = (B C) A Ley de Diferencia Simtrica
[(B A
C
) (C A
C
)] U [(C A
C
) (B A
C
)] = (B C) A Ley de Diferencia
[(B A
C
) (C A
C
)
C
] U [(C A
C
) (B A
C
)
C
] = (B C) A Complemento
[(B A
C
) (C
C
U A
CC
)] U [(C A
C
) (B
C
U A
CC
)] = (B C) A Doble Complemento
[(B A
C
) (C
C
U A)] U [(C A
C
) (B
C
U A)] = (B C) A Ley Asociativa
[B A
C
(C
C
U A)] U [C A
C
(B
C
U A)] = (B C) A Ley de Poretsky
[(B A
C
C
C
)] U [(C A
C
B
C
)] = (B C) A Ley Distributiva
[(B C
C
) U (C B
C
)] A
C
= (B C) A Ley de Diferencia
[(B C) U (C B)] A = (B C) A Ley de Diferencia Simtrica

55.- Demostrar la siguiente igualdad:{{B [(A U B) (B A)]}
C
B}
C
= B A
C
Solucin
Justificaciones
{{B [(A U B) (B A)]}
C
B}
C
= B A
C
Ley de Diferencia
{{B [(A U B) (B A
C
)]
C
}
C
B}
C
= B A
C
Complemento y Doble Complemento
{{B
C
U [(A U B) (B A
C
)]} B}
C
= B A
C
Ley Asociativa
{{B
C
U [(A U B) B A
C
]} B}
C
= B A
C
Ley de Absorcin
{[B
C
U (B A
C
)] B}
C
= B A
C
Ley de Poretsky
[(B
C
U A
C
) B]
C
= B A
C
{[(B
C
U A
C
) B] U [B (B
C
U A
C
)]}
C
= B A
C
Ley de Diferencia
{[(B
C
U A
C
) B
C
] U [B (B
C
U A
C
)
C
]}
C
= B A
C
{[(B A) U B] [B
C
U (B
C
U A
C
)]} = B A
C
Ley de Absorcin y Ley Asociativa
{B [A
C
U (B
C
U B
C
)]} = B A
C
Ley de Idempotencia
[B (A
C
U B
C
)] = B A
C
Ley de Poretsky

B C = B
C
(B C) A = (B C) A
AAA
B A
C
= B A
C

113

SIMPLIFICACION DE FORMULAS CONJUNTISTAS

56.- Simplificar la siguiente formula conjuntista: [A (A B)] [B (B A)]
Solucin
Justificaciones
[A (A B)] [B (B A)] Ley de Diferencia
[A (A B
C
)
C
] [B (B A
C
)
C
]
C
Ley de Morgan y Doble Complemento
[A (A
C
U B)] [B (B
C
U A)]
C
Ley de Poretsky
(A B) (B A)
C
Ley Conmutativa
(A B) (A B)
C

57.- Simplificar la siguiente formula conjuntista: [A (A B)] U [B (A B)]
Solucin
Justificaciones
[A (A B)] U [B (A B)] Ley de Diferencia y Diferencia Simtrica
{[A (A B)] U [(A B) A]} U [B (A B
C
)
C
] Ley de Diferencia y Ley de Morgan
{[A (A B
C
)
C
] U [(A B
C
) A
C
]} U [B (A
C
U B
CC
)] Morgan; Doble Complemento
{[A (A
C
U B
CC
)] U [(A B
C
) A
C
]} U [B (A
C
U B)] Complemento Absorcin
{[A (A
C
U B)] U [(A B
C
) A
C
]} U B Ley de Poretsky y Ley Asociativa
{(A B) U [(A A
C
) B
C
]} U B Ley de Complementacin
[(A B) U ( B
C
)] U B Ley de Identidad
[(A B) U ] U B Ley de Identidad
(A B) U B Ley de Absorcin

58.- Simplificar la siguiente formula conjuntista: [(A
C
B
C
) A] U B
Solucin
Justificaciones
[(A
C
B
C
) A] U B Ley de Diferencia y Doble Complemento
[(A
C
B) A] U B Ley de Diferencia Simtrica

B

114
{[(A
C
B) A] U [A (A
C
B)]} U B Ley de Diferencia
{[(A
C
B) A
C
] U [A (A
C
B)
C
]} U B Asociativa; Complemento y Complemento
{[(A
C
A
C
) B] U [A (A U B
C
)]} U B Ley de Idempotencia y Ley de Absorcin
[(A
C
B) U A] U B Ley de Poretsky
(A U B) U B Ley Asociativa y Ley de Idempotencia

59.- Simplificar la siguiente formula conjuntista: {[(B U A) A
C
] (B A)} A
Solucin
Justificaciones
{[(B U A) A
C
] (B A)} A Ley de Poretsky y Ley de Diferencia
[(B A
C
) (B A
C
)
C
] A Ley del Complemento y Doble Complemento
[(B A
C
) (B
C
U A)] A Ley Asociativa
[B A
C
(B
C
U A)] A Ley de Poretsky
(B A
C
B
C
) A Ley de Complementacin y Ley de Identidad
( A) Ley de Diferencia Simtrica
[( A) U (A )] Ley de Diferencia
[( A
C
) U (A U)] Ley de Identidad
( U A) Ley de Identidad

60.- Simplificar la siguiente formula conjuntista: [(A B) U (B U A
C
)] (A B)
Solucin
Justificaciones
[(A B) U (B U A
C
)] (A B) Ley de Diferencia
[(A B
C
) U (B U A
C
)] (A B) Ley Asociativa
[(A B
C
) U B U A
C
] (A B) Ley de Poretsky
[(A U B) U A
C
] (A B) Ley Asociativa y Ley de Diferencia Simtrica
[(A U A
C
) U B] [(A B) U (B A)] Complementacin; Identidad y Ley de Diferencia
U [(A B
C
) U (B A
C
)] Ley de Identidad
[(A B
C
) U (B A
C
)] Ley de Diferencia Simtrica

61.- Simplificar la siguiente frmula:{{[(B A) B] [A (B A)]} U (A U B)} B
C

Solucin
Justificaciones
{{[(B A) B] [A (B A)]} U (A U B)} B
C
Ley de Diferencia
{{[(B A
C
) B
C
] [A (B A
C
)
C
]} U (A U B)} B
C
Ley Asociativa; Complemento
A U B
A
A B

115
{{[(B B
C
) A
C
] [A (B
C
U A
CC
)]} U (A U B)} B
C
Complementacin; Identidad
{{ [A (B
C
U A
CC
)]} U (A U B)} B
C
Ley de Doble Complemento y Absorcin
[( A) U (A U B)] B
C
{[( - A) U (A - )] U A U B} B
C
Ley de Diferencia
{[( A
C
) U (A U)] U A U B} B
C
Ley de Identidad y Ley de Idempotencia
(A U B) B
C
Ley de Poretsky

62.- Simplificar la siguiente formula conjuntista: [A (B A)]
Solucin
Justificaciones
[A (B A)] Ley de Diferencia Simtrica
{[A (B A)] U [(B A) A]} Ley de Diferencia y Diferencia Simtrica
{A [(B A) U (A B)]
C
} U {[(B A) U (A B)] A
C
} B Ley de Diferencia
{A [(B
C
U A) (A
C
U B)]} U {[(B A
C
) U (A B
C
)] A
C
} Ley Asociativa
{[A (B
C
U A)] (A
C
U B)} U {[(B A
C
) A
C
] U [(A B
C
)] A
C
} Ley de Absorcin
{A (A
C
U B)} U {[(B A
C
) A
C
] U [(A B
C
)] A
C
} B Poretsky; Ley Asociativa
{(A B) U {[(A
C
A
C
) B] U [(A A
C
)] B
C
}} B Idempotencia; Complementacin
{(A B) U [(A
C
B) U ( B
C
)]} B Ley de Identidad
{(A B) U [(A
C
B) U ]} Ley de Identidad
[(A B) U (A
C
B)] Ley Distributiva
[B (A U A
C
)] Ley de Complementacin y Ley de Identidad

63.- Simplificar la siguiente formula conjuntista: [A (B A)]
Solucin
Justificaciones
[A (B A)] Ley de Diferencia y Diferencia Simtrica
{A [(B A) U (A B)]
C
} Diferencia, Complemento y Doble Complemento
{A [(B
C
U A) (A
C
U B)]} Ley Asociativa y Ley de Absorcin
[A (A
C
U B)] Ley de Poretsky

64.- Simplificar la siguiente formula conjuntista: [(A B)
C
A
C
] U [B
C
(B A)]
Solucin
Justificaciones
[(A B)
C
A
C
] U [B
C
(B A)] Ley de Diferencia y Doble Complemento
[(A B)
C
A] U [B
C
(B A
C
)
C
] Ley del Complemento y Doble Complemento
A B
C

B
A B

116
[(A B)
C
A] U [B
C
(B
C
U A)] Ley de Absorcin
[(A B)
C
A] U B
C
{[(A B) U (B A)]
C
A} U B
C
Ley de Diferencia
{[(A B
C
) U (B A
C
)]
C
A} U B
C
Ley del Complemento y Doble Complemento
{[(A
C
U B) (B
C
U A)] A} U B
C
Ley Asociativa
{(A
C
U B) [(B
C
U A) A]} U B
C
Ley de Absorcin
[(A
C
U B) A] U B
C
Ley de Poretsky
(A B) U B
C
Ley de Poretsky

65.- Simplificar la siguiente formula conjuntista: [C (A U B)] [A (C A)]
Solucin
Justificaciones
[C (A U B)] [A (C A)] Ley de Diferencia
[C (A U B)
C
] [A (C A
C
)
C
[C (A
C
B
C
)] [A (C
C
U A)] Ley de Absorcin
[C (A
C
B
C
)] A Ley Asociativa
(A A
C
) (B
C
C) Ley de Complementacin y Ley de Identidad

66.- Simplificar la siguiente formula conjuntista: [(B C) A] U (A B)
Solucin
Justificaciones
[(B C) A] U (A B) Ley de Diferencia
[(B C
C
) A] U (A B) Ley de Diferencia Simtrica
{[(B C
C
) A] U [A (B C
C
)]} U (A B) Ley de Diferencia
{[(B C
C
) A
C
] U [A (B C
C
)
C
]} U (A B) Complemento y Doble Complemento
{[(B C
C
) A
C
] U [A (B
C
U C)]} U (A B) Ley Asociativa
{[A (B
C
U C)] U (A B)} U [(B C
C
) A
C
] Ley Distributiva
{A [(B
C
U C) U B]} U [(B C
C
) A
C
] Asociativa; Complementacin
(A U) U [(B C
C
) A
C
] Ley de Identidad
A U [(B C
C
) A
C
] Ley Distributiva
(A U A
C
) [A U (B C
C
)] Ley de Complementacin
U [A U (B C
C
)] Ley de Identidad

67.- Simplificar la siguiente formula conjuntista: {[A (B C)] (C A)} C
Solucin
Justificaciones
{[A (B C)] (C A)} C Ley de Diferencia
A U B
C

A U (B C
C
)

117
{[A (B C
C
)
C
] (C A
C
)
C
} C
C
{[A (B
C
U C)] (C
C
U A)} C
C
Ley Asociativa
[A (B
C
U C)] [(C
C
U A) C
C
] Ley de Absorcin
[A (B
C
U C)] C
C
Ley Asociativa y Ley de Poretsky

68.- Simplificar la siguiente formula conjuntista: {[(B C) U A] B} (A B)
Solucin
Justificaciones
{[(B C) U A] B} (A B) Ley de Diferencia
{[(B C
C
) U A] B} (A B
C
)
C
{[(B C
C
) U A] B} (A
C
U B)

Ley Asociativa
[(B C
C
) U A] B (A
C
U B) Ley de Absorcin
[(B C
C
) U A] B Ley Distributiva
[B (B C
C
)] U (B A) Ley Asociativa
[(B B) C
C
)] U (B A) Ley de Idempotencia
(B C
C
) U (B A) Ley Distributiva

69.- Simplificar la siguiente formula conjuntista: {[(A C) U C] (A C)} C
Solucin
Justificaciones
{[(A C) U C] (A C)} C Ley de Diferencia y Ley de Diferencia Simtrica
{[(A C
C
) U C] [(A C) U (C A)]} C
C
Ley de Poretsky y Ley de Diferencia
{(A U C) [(A C
C
) U (C A
C
)]} C
C
Ley Distributiva
{[(A U C) A C
C
] U [(A U C) C A
C
]} C
C
Ley de Absorcin
[(A C
C
) U (C A
C
)] C
C
Ley Distributiva
[(A C
C
) C
C
] U [(C A
C
) C
C
] Ley Asociativa, Identidad y Complementacin
(C
C
A) U ( A
C
) Ley de Identidad

70.- Simplificar la siguiente formula conjuntista: {[C (A C)] C} [(B C)
C
B]
Solucin
Justificaciones
{[C (A C)] C} [(B C)
C
B] Ley de Diferencia
{[C (A C)
C
] C} [(B C
C
)
C
B]
C
{[C (A
C
U C
C
)] C} [(B
C
U C) B]
C
Ley de Poretsky y Ley del Complemento
[(C A
C
) C] [(B
CC
C
C
) U B
C
] Ley del Complemento
[(C A
C
) C] [(B C
C
) U B
C
] Ley de Poretsky
[(C A
C
) C] (C
C
U B
C
) Ley de Diferencia Simtrica
{[(C A
C
) C] U [C (C A
C
)]} (C
C
U B
C
) Ley de Diferencia
{[(C A
C
) C
C
] U [C (C A
C
)
C
]} (C
C
U B
C
) Asociativa, Identidad y Complemento
{( A
C
) U [C (C
C
U A)]} (C
C
U B
C
) Ley de Identidad y Ley de Poretsky
A B
C
C
C

B (A U
C
C
)
A C
C


118
[ U (C A)] (C
C
U B
C
) Ley de Identidad
(C A) (C
C
U B
C
) Ley Asociativa y Ley de Poretsky

71.- Simplificar la siguiente formula conjuntista: [(A B) C] U C
Solucin
Justificaciones
[(A B) C] U C Ley de Diferencia
[(A B
C
) C
C
] U C Ley Distributiva
[(A B
C
) U C] (C U C
C
) Ley de Complementacin
[(A B
C
) U C] U Ley de Identidad

72.- Simplificar la siguiente formula conjuntista: {[B (A B)] U (A C)} (A B)
Solucin
Justificaciones
{[B (A B)] U (A C)} (A B) Ley de Diferencia
{[B (A B
C
)
C
] U (A C
C
)} (A B)
C
{[B (A
C
U B)] U (A C
C
)} (A B)
C
{[B (A
C
U B)] U (A C
C
)} [(A B) U (B A)]
C
Absorcin, Ley de Diferencia
{[B U (A C
C
)} [(A B
C
) U (B A
C
)]
C
[B U (A C
C
)] [(A
C
U B) (B
C
U A)] Ley Distributiva
(B U A) (B U C
C
) (A
C
U B) (B
C
U A) Ley Asociativa
[(B U A) (B
C
U A)] (B U C
C
) (A
C
[A U (B B
C
)] (B U C
C
) (A
C
U B) Complementacin y Ley de Identidad
A (B U C
C
) (A
C
U B) Ley Asociativa y Ley de Poretsky
A B (B U C
C
) Ley de Absorcin

73.- Simplificar la siguiente formula conjuntista: [C
C
(C B)] (B C)
Solucin
Justificaciones
[C
C
(C B)] (B C) Ley de Diferencia
[C
C
(C B
C
)
C
] (B C
C
)
C
[C
C
(C
C
U B)] (B
C
U C
C
) Ley de Absorcin
[C
C
(B
C
U C
C
)] Ley de Absorcin

74.- Simplificar la siguiente frmula: [A
C
(B C
C
)] [(A U B) (A
C
B)]
Solucin
Justificaciones
[A
C
(B C
C
)] [(A U B) (A
C
B)] Ley de Diferencia y Doble Complemento
A B
C
C
(A B
C
)
U C
A B
C
C


119
[A
C
(B C)
C
] [(A U B) (A
C
B)
C
[A
C
(B
C
U C
C
)] [(A U B) (A

U B
C
)] Ley Distributiva
[A
C
(B
C
U C
C
)] [A U (B B
C
[A
C
(B
C
U C
C
)] A Ley de Diferencia Simtrica
{[A
C
(B
C
U C
C
)] A} U {A [A
C
(B
C
U C
C
)]} Ley de Diferencia
{[A
C
(B
C
U C
C
)] A
C
} U {A [A
C
(B
C
U C
C
)]
C
} Asociativa y Ley del Complemento
{[A
C
A
C
(B
C
U C
C
)]} U {A [A
CC
U (B
CC
C
CC
)]} Idempotencia; Complemento
{[A
C
(B
C
U C
C
)]} U {A [A U(B C)]} Ley de Absorcin
{[A
C
(B
C
U C
C
)]} U A Ley Distributiva
(A U A
C
) [A U (B
C
U C
C

A U B
C
U
C
C


120

F B

T

200

75.- En un club deportivo de 1000 socios, hay 800 que juegan al menos un deporte
entre Ftbol, Bsquet y Tenis. De ellos 400 juegan al Ftbol, 350 al Bsquet y 300 al
Tenis. 100 al Ftbol y Bsquet, 130 al Bsquet y Tenis, 80 al Ftbol y Tenis.
Determinar el nmero de personas que no juegan ningn deporte?
* Solucin
U = 1000
F U B U T = 800
F = 400 n (F U B U T) = n(F) + n(B) + n(T) - n(F B) - n(F T) - n(B T) + n(B F T)
B = 350 800 = 400 + 350 +300 100 - 80 130 + x
T = 300 x = 800 400 350 300 + 100 + 80 +130
F B = 100 x = 60
B T = 130 (F U B U T)
C
= U - (F U B U T) = 1000 800 = 200
F T = 80

(F U B U T)
C
=?

280

20
40 180
20 60 70

150
U = 1000

121
76.- En una Institucin Educativa se aportan los siguientes datos:
70 alumnos cursan Algebra, 60 cursan Botnica, 80 Contabilidad. 30 cursan solo
Algebra, 30 cursan Contabilidad y Botnica, 20 cursan Algebra y Contabilidad, 5
cursan Algebra, Contabilidad y Botnica.
Determine:
a) Los que cursan, Algebra y Botnica
b) Solo Botnica
c) Solo Contabilidad
d) Algebra o Botnica
e) Total de estudiantes
* Solucin
U=?
A = 70
B = 60
C = 80
A (B U C) = 30
C B = 30
A C = 20
A C B = 5
a) A B =?
b) B (A U C) =? A = a + b + d + e = 40
c) C (A U B) =? B = b+ c + e + f = 60
d) A U B =? C = d + e + f + g = 80
e) U =? f + e = 30 d = 20 - e
d + e = 20 d = 20 5
e = 5 d = 15
a = 30 f = 30 - e
b = 70 a d e f = 30 5
b = 70 30 15 -5 f = 25
b = 20 c = 60 b e - f
g = 80 d e f c = 60 20 5 - 25

A B

C
30 20
10
15 5 25

35

122
g = 80 15 5 -25 c = 10
g = 35
a) A B = 25 estudiantes
b) B (A U C) = 10 estudiantes
c) C (A U B) = 35 estudiantes
d) A U B = 105 estudiantes
e) U = 140 estudiantes
77.- Entre los 40 alumnos de una escuela de Comunicacin, 32 alumnos se suscriben
al diario El Deber; 210 a la revista COSAS y 15 alumnos al diario y a la revista.
Cuntos alumnos no se han suscrito al Diario ni a la revista?
* Solucin U = 40
U = 40
D = 32
C = 21
D C = 15
(D U C)
C
=?

(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 tambin redondos, se pide determinar:
a) cuntos de los caramelos no son de menta ni redondos?
b) Cuntos de los caramelos de la caja no son redondos?
* Solucin
U = 120
R = 56
M = 36
R M = 22
(R U M)
C
=?
(M R) U (R U M)
C
=?
D C

2

17

15 6

R M

50

34

22 14
U = 120

123
a) (R U M)
C
= U - a b c
(R U M)
C
= 120 34- 22- 14 = 50 Caramelos
b) (M R) U (R U M)
C
= 14 + 50 = 64 Caramelos
79.- En una encuesta a 400 estudiantes se determino que:
320 son habladores, 276 son inteligentes, 136 se comportan bien, 26 se comportan bien
y no son habladores, 40 se comportan bien y no son inteligentes, 240 son habladores e
inteligentes, 30 se comportan bien y son habladores pero no son inteligentes.
Cuntos de los 400 estudiantes encuestados no se comportan bien, no son habladores
y no son inteligentes?
* Solucin
U = 400 U = 400
H = 320
I = 276
B = 136
(B U H U I)
C
=?

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

H I

B
34
50 160 20
30 80 16

10

124
(B U H U I)
C
= U a- b c d- e f- g
(B U H U I)
C
= 400 50 160 20 30 80 16 10
(B U H U I)
C
= 34 Estudiantes
80.- En una encuesta realizada a 100 estudiantes sobre si iban a aprobar el examen se
obtuvieron los siguientes resultados:
60 confan que aprobaran el primer parcial, 40 que aprobaran el segundo parcial, 30
que aprobaran el tercer parcial, adems 15 confan que van a aprobar el primero y
segundo parcial, 10 el primero y tercer parcial, 12 el segundo parcial y el tercer
parcial se pide determinar:
a) Cuantos alumnos aprobaran el primer o segundo parcial pero no el tercer parcial?
b) Cuantos alumnos aprobaran el segundo parcial y el tercer parcial?
c) Cuantos aprobaran dos de los tres exmenes?
* Solucin
U = 100
P = 60
S = 40
T = 30
P S = 15
P T = 10
S T = 12
a) (P U S) T=?
b) S T=?
c) Dos exmenes?
n (P U S U T) = n(P) + n(S) + n(T) n (P S) n (P T) - n(S T) + n (P S T)
100 = 60 + 40 + 30 15 10 12 + n (P S T)
100 = 93 + n (P S T)
n (P S T) = 7
a +b + d + e = 60 a) (P U S) T= 42 + 8 + 20 = 70 alumnos
b + c + d + f = 40 b) S T = 7 + 5 = 12 alumnos
d + 3 + f + g = 30 c) Dos exmenes = 8 + 3 + 5 = 16 alumnos
b + e = 15

P S

T

a = 42 b= 8 c= 20
d =3 e=7 f=5

g =15
U = 100

125
81.- En una encuesta realizada a 100 estudiantes sobre sus preferencias entre una
Universidad Privada y una Universidad Estatal se determino que: 60 les gustara
estudiar en una Universidad Estatal y 50 en una Universidad Privada, adems 30
estudiantes desearan estudiar en una Universidad Estatal y en una Universidad
privada al mismo tiempo, con esta informacin obtenida en dicha encuesta se pide
determinar:
a) Cuntos estudiantes solamente estudiaran en una Universidad Estatal?
b) Cuntos estudiantes no estudiaran en ninguna de estas Universidades?
Solucin
Datos del Problema Solucin del Ejercicio Aplicando Ecuaciones de Primer Grado
U = 100 Primera Ecuacin: a + b + c + d = 100 a = 20
n (P) = 50 Segunda Ecuacin: a + b = 50 b = 30
n (E) = 60 Tercer Ecuacin: b + c = 60 RESOLVIENDO c = 30
n (E P) = 30 Cuarta Ecuacin: b = 30 d = 20
n (E P) =?
n (P U E)
C
=? Diagrama de Venn

Los resultados obtenidos dan a conocer que:
a)

b)

n (E P) = 30
n (P U E)
C
= 20
P E

d = 20

U= 100
a = 20
b = 30
c = 30

126
82.- En una encuesta realizada a 1000 postulantes para ingresar a la Universidad, se
les consulto sobre sus preferencias entre las Facultades de Tecnologa y Ciencias
Econmicas, obtenindose los siguientes resultados: 700 respondieron que tenan el
inters de estudiar en la Facultad de Tecnologa, 400 respondieron que tenan inters
en estudiar en la Facultad de Ciencias Econmicas, se pide determinar de esta
encuesta:
a) Cuntos estudiantes tienen inters por estudiar en las dos facultades?
b) Cuntos estudiantes tienen inters de estudiar en Tecnologa o Econmicas pero
no ambas?
Solucin
Datos del Problema Solucin 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

Por tanto los resultados obtenidos dan a conocer que:
a)

b)

n (T E) = 100
n (T E) = 900
T E

600

100 300
U= 1000

127
83.- En un estudio realizado a 1500 estudiantes de la Facultad de Tecnologa sobre su
preferencia entre las materias de Clculo y Algebra 1000 respondieron lo siguiente:
600 prefieren la materia de Clculo y 700 prefieren la materia de Algebra, se pide
determinar de este estudio:
a) Cuantos estudiantes Prefieren Calculo y Algebra?
b) Cuntos estudiantes prefieren solamente Algebra?
Solucin
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

Por tanto los resultados obtenidos dan a conocer:
a)

b)

n (C A) = 300
n (A C) = 400
C A

500

300

400
U= 1500
300

128
84.- Un estudiante de la Universidad Autnoma Gabriel Ren Moreno cada maana
para dirigirse a dicha casa superior de estudios utiliza dos sistemas de transporte, el
mnibus y el Taxi, si se sabe que se dirigi a la Universidad 20 maanas en el
mnibus y 15 maanas en un taxi, y adems que hubo 4 maanas que se dirigi
utilizando los dos medios de transporte, se pide determinar:
a) Cuntas maanas el estudiante se dirigi a la Universidad?
b) Cuntas maanas el estudiante utilizo o el mnibus o el taxi pero no los dos
medios a la vez?
Solucin
Datos del Problema Solucin 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

a)

b)

O T

16

4 11
U= 31
n (O U T) = 31
n (O T) = 27

129
85.- Un estudiante realiza una encuesta a sus compaeros de clase consultndoles
sobre sus preferencias en los horarios en la cual les gustara estudiar, los resultados
que obtuvo fueron los siguientes: 60% les gustara estudiar en la maana, 50% les
gustara estudiar en la tarde, al menos el 90% les gustara estudiar en uno de estos
horarios, lo que el estudiante quiere determinar con esta encuesta es:
a) Qu porcentaje de sus compaeros no prefieren ninguno de estos horarios?
b) Qu porcentaje de sus compaeros prefieren estudiar en los dos horarios?
Solucin
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%
n (M U T)
C
=? 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

a)

b)

M T

10%

40%

20% 30%
U= 100%
n (M U T)
C
= 10%
n (M T) = 20%

130
86.- En una encuesta acerca de la preferencia que tenan las personas en utilizar los
productos A, B y C, se determino que todas las personas entrevistadas utilizaban el
producto A, algunos el producto B y otros el producto C, si se sabe que a 400 personas
les gusta el producto A y B, y 550 personas les gusta el producto A o C, con esta
informacin se pide determinar:
a) A cuntas personas no les gusta utilizar el producto B?
b) A cuntas personas en total se les realizo la encuesta?
Solucin
Datos del Problema Diagrama de Venn
n (A B) = 400
n (A U C) = 550
n [(A U C) B]=?
n (A U B U C)=?

Solucin del Ejercicio Aplicando las Ecuaciones de Primer Grado
a) Primera Ecuacin: b = 400
Segunda Ecuacin: a + b + c = 550
De la primera y segunda ecuacin se obtiene que:
a + c = 550 b a + c = 550 400
a + c = 150
n [(A U C) B] = a + c

b) n (A U B U C) = a + b + c
n (A U B U C) = 400 + 150

A

B C
b = 400 c
a
n [(A U C) B] = 150
n (A U B U C) = 550

131
87.- En una encuesta realizada a los estudiantes de Tecnologa de la U.A.G.R.M se
determino que: 60 estudiantes asistan a los laboratorios de Fsica, de los cuales 30
tambin asistan a los laboratorios de Qumica, 70 asistan a los laboratorios de
Clculo y 20 asistan a los laboratorios de Fsica y de Clculo se pide determinar:
a) A cuntos estudiantes de la Facultad se les hizo la consulta?
b) Cuntos estudiantes asisten solo al laboratorio de Fsica?
Solucin
Datos del problema Solucin 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 Solucin del Ejercicio Aplicando las Ecuaciones de Primer Grado
n (C) = 70 Ecuaciones Resolviendo las Incgnitas
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

Diagrama de Venn

n (F U Q U C) = 110
n [F (Q U C)] = 10

U= 110

X = 10
Y = 30
Z = 20
W = 50
Q
C
F

132
88.- La Universidad U.A.G.R.M otorga a una empresa constructora la posibilidad de
construir un nuevo modulo para la Facultad de Tecnologa, para ello el ingeniero
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, adems 50
trabajaran en la primer y segunda planta y 60 trabajaran en la segunda y tercer
planta, se pide determinar con esta informacin:
a) Cuntos trabajadores desempearan sus funciones solo en la segunda planta?
b) Cuntos trabajadores en total contrato la empresa para la construccin del
modulo?
Solucin
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 S) = 50 Ecuaciones Resolviendo las Incgnitas
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

Diagrama de venn

n (P U S U T) = 490
n [S (P U T)] = 90
P T

U= 490

x = 50
Y = 50
Z = 90
W =60
t= 240
S

133
89.- Una empresa lanza al mercado nacional tres productos A, B y C y realiza una
encuesta a 2000 personas para poder determinar la opinin de la gente acerca de estos
productos, los resultados obtenidos en esta encuesta fueron los siguientes: todas las
personas entrevistadas afirmaron que utilizaran el producto A, 500 utilizaran el
producto B, 400 utilizaran el producto C y 300 personas afirmaron que iban a
utilizar el producto A, B y C, con esta informacin se pide determinar:
a) Cuntas personas utilizaran o el producto B o el producto C pero no ambos a la
vez?
b) Cuntas personas utilizaran el producto A y el producto C?
c) Cuntas personas solo utilizaran el producto A?
Solucin
Datos del Problema Solucin del Ejercicio Aplicando las Ecuaciones de Primer Grado
n (A U B U C) = 2000 y + z = 500 y = 500 z y = 500 300 y = 200
n (B) = 500 z + w = 400 w = 400 z w = 400 300 w = 100
n (C) = 400 z = 300
n (A B C) = 300 a) n (B C) = y + w b) n (A C) = w
n (B C) =? n (B C) = 200 + 100 n (A C) = 100
n (A C)=?
n [A (B U C)]=?

c) n [A (B U C)] = n (A U B U C) y z w
n [A (B U C)] = 2000 200 300 100

Diagrama Venn

n (B C) = 300 n (A C) = 100
n [A (B U C) =1400

U= 2000

x = 1400
Y = 200
Z = 300 w = 100
A
B C

134
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
docente tambin incumpla con la asistencia, 500 asumieron que no tenan voluntad de
asistir a clases y 600 determinaron que el motivo de su inasistencia era la falta de
pedagoga del docente, adems se concluyo tambin que 100 de los alumnos se
faltaban a clases por que el docente incumpla con la asistencia y ellos no tenan la
voluntad de ir tambin a clases, 200 se faltaban por que el docente incumpla con la
asistencia y cuando la cumpla le faltaba pedagoga y 200 se faltaban a clases por la
pedagoga 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?
Solucin
Datos Solucin 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) = 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

I V

P

P
n (I V P) = 0

a = 100
b = 100
c = 200
d = 200
e = 0
f = 200
g = 200
n (I V) + n (I P) + n (P V) = 500
U = 1000

135
91.- En una encuesta a 2000 estudiantes que aspiran a estudiar una carrera de la
facultad de ciencias exactas y tecnologa, se les consulto sobre sus preferencias entre
las carreras de Ingeniera Civil, Ingeniera Petrolera e Ingeniera Industrial por lo
cual se obtuvieron los siguientes resultados: 900 aspiran a estudiar Civil, 800 aspiran
estudiar Petrolera y 700 aspiran a estudiar Industrial, se determino tambin que 200
estaban dudando entre Civil y Petrolera, 200 entre Petrolera e Industrial y 100 se
inclinaban por las tres carreras. Se pide entonces determinar de esta encuesta:
a) Cuantos estudiantes aspiran a estudiar solo la carrera de Ingeniera Petrolera?
b) Cuantos estudiantes aspiran a estudiar las carreras de Civil o Industrial pero no
Petrolera?
Solucin
Datos Solucin del Ejercicio Aplicando la Formula General
U = 2000 n (F U P U I) = n (C) + n (P) + n (I) n (C P) n (C I) n (P I) +
n (C P I)
n (C) = 900 2000 = 900 + 800 + 700 200 n (C I) 200 + 100
n (P) = 800 2000 = 2400 300 n (F I)
n (I) = 700 2000 = 2100 n (C I)
n (C P) = 200 n (C I) = 100
n (P I) = 200 Diagrama de Venn
n (C P I) = 100
n [P (C U I)]=?
n [(C U I) P]=?

Por lo tanto los resultados dan a conocer que:

a) b)

C P

I

U = 2000
e = 100
d = 0
f = 100
b = 100
a = 700
c = 500
g = 500
n [P (C U I)] = 500
n [(C U I) P]= 1200

136

RELACIONES

124.- Dados los Conjuntos:
A= {x c Z / -2<x+6<14} y B= {x c Z / 10<x<50}
Determine cuantos pares ordenados tiene AXB
- Solucin
- Determinando ambos conjuntos por extensin
A={x c Z / -2<x+6<14}
-2<x+6<14
-2-6<x<14-6
-8<x<8
A= {-7,-6,-5,-4,-3,-2,-1,0,1,2,3,4,5,6,7}
B = {x c Z / 10<x<50}
10<x<50
\10<x<\50
3<x<7
B={4, 5, 6}
- Calculo de la cantidad de pares de AXB
A = 15 elementos
B = 3 elementos
Por lo tanto AXB Tendr 15x3 = 45 pares ordenados
125.- Encuentre por extensin la relacin M
M = {(s, t) c R x R / (s+3s; t-7t) = (-2;-12)
- Solucin
- Resolviendo el sistema de ecuaciones
s+3s= -2 s+3s+2=0 s=-2 y s=-1
t-7t= -12 t-7t+12=0 t=4 y t=3
- Calculo de la relacin M por extensin
M = {(-2,4)(-2,3)(-1,4)(-1,3)}

137
126.- Dado el conjunto A= {1, 2, 3,4} y las relaciones R1 = {(x, y)/ c A / x=y} R2 = {(x,
y) c A / y=3} y R3 = {(x, y) c A / x<y}
Encuentre: R3 (R1 U R2)
- Solucin
- Calculo de las relaciones por extensin
AxA = {(1,1)(1,2)(1,3)(1,4)(2,1)(2,2)(2,3)(2,4)(3,1)(3,2)(3,3)(3,4)(4,1)(4,2)(4,3)(4,4)}
R1 = {(1,1)(2,2)(3,3)(4,4)}
R2 = {(1,3)(2,3)(3,3)(4,3)}
R3 = {(1,2)(1,3)(1,4)(2,3)(2,4)(3,4)}
- Calculo de R3- (R1 U R2)
R1 U R2 = {(1,1)(2,2)(3,3)(4,4)(1,3)(2,3)(4,3)}
R3 (R1 U R2) = {(1,2)(1,4)(2,4)(3,4)}
127.- Dados los conjuntos A = {x c N / x<3}; B = {x c N / x es par ^ x<5}; C = {x c N / x
es impar ^ xs6}
Encuentre: (A B) x (C B)
- Solucin
- Calculo de los conjuntos por extensin
A= {1,2}
B = {2,4}
C = {1, 3,5}
- Calculo de (A B) x (C B)
(A B) = {2}
(C B) = {1, 3,5}
(A B) x (C B) = {(2,1) (2,3) (2,5)}
128.- Dadas las siguientes relaciones en A, encuentre el Dominio e Imagen en funcin
al conjunto A = {1, 2, 3, 4,5}
a) R1 = {(x, y) c A / x = y }
- Solucin
AXA ={(1,1)(1,2)(1,3)(1,4)(1,5)(2,1)(2,2)(2,3)(2,4)(2,5)(3,1)(3,2)(3,3)(3,4)(3,5)(4,1)
(4,2)(4,3)(4,4)(4,5)(5,1)(5,2)(5,3)(5,4)(5,5)}

138
- Calculo de R1 por extensin
R1 = {(1,1)(2,4)(4,2)}
- Calculo del Dominio e imagen de la relacin
Dr = {1, 2,4}}
Ir = {1, 2,4}}
b) R2 = {(x, y) c A / x = y}
- Solucin
R2 = {(1,5)(2,5)(3,5)(4,5)(5,5)}
- Calculo del dominio e imagen de la relacin
Dr = {1, 2, 3, 4,5}
Ir = {5}
c) R3 = {(x,y) c A / x+y>25}
- Solucin
R3 = {(1,5)(2,5)(3,4)(3,5)(4,3)(4,4)(4,5)(5,1)(5,2)(5,3)(5,4)(5,5)}
Dr = {1, 2, 3, 4, 5}
Ir = {1, 2, 3, 4, 5}
d) R4 = {(x,y) c A / x + y = 10}
- Solucin
R4 = {(1,3)}
Dr = {1}
Ir = {3}
129.- Grafique
a) [2,5] x (-1,3]
- Solucin
X c [2,5]

139
Y c (-1,3]
b) (-3,1] x {2}
- Solucin
X c (-3,1]
Y c {2}
c) {3} x [-1,3]
- Solucin
X c {3}
Y c [-1,3]
d) R ={(2,y) / y c R}
- Solucin
X = {2}
Y =]-; [
e) R = {(x, y) c R / y = 3x-1}
- Solucin
- Graficando la funcin
f) R = {(x, y) c R / y = x}
- Solucin
- Graficando la funcin
Y = x

130.- Dadas las siguientes relaciones:
R = {(1,2)(2,3)(3,4)(4,5)(5,6)(6,7)}
S = {(3,1)(5,4)(6,3)(8,4)(9,8)}

140
T= {(2,1)(3,6)(4,3)(8,4)}
Encuentre:
a) R o S
- Solucin
R o S = {(3,2) (5,5) (6,4) (8,5)}
b) S o R
- Solucin
S o R = {(2,1) (4,4) (5,3)}
c) T o R
- Solucin
T o R = {((1,1)(2,6)(3,3)}
d) (R o S) o T
- Solucin
- Calculo de (R o S)
R o S = {(3,2) (5,5) (6,4) (8,5)}
- Calculo de (R o S) o T
(R o S) o T = {(3,4) (4,2)}
e) Ro(S o T)
- Solucin
- Calculo de S o T
S o T = {(3,3) (4,1)}
- Calculo de R o (S o T)
Ro (S o T) = {(3,4) (4,2)}
f) (S o R)
-1

- Solucin
- Calculo de la inversa de la relacin S
S = {(1,3)(4,5)(3,6)(4,8)(8,9)}
- Calculo de la inversa de la relacin R
R = {(2,1)(3,2)(4,3)(5,4)(6,5)(7,6)}
- Calculo de la inversa de (S o R)

141
SoR
-1
= {(2,3)(4,6)(5,5)(5,8)}
g) So(T o R)
-1

- Solucin
- Calculo de la inversa de la relacin T
T = {(1,2)(6,3)(3,4)(4,8)}
R = {(2,1)(3,2)(4,3)(5,4)(6,5)(7,6)}
- Calculo de la inversa de la composicin T o R
ToR
-1
= {(2,2)(4,4)(5,8)(7,3)}
- Calculo de S o (T o R)
S o (T o R)
-1
= {(5,4)(7,1)}
h) R
-1
o(T
-1
oS)
- Solucin
R
-1
= {(2,1)(3,2)(4,3)(5,4)(6,5)(7,6)}
- Calculo de la inversa de la relacin T
T
-1
= {(1,2)(6,3)(3,4)(4,8)}
- Calculo de T
-1
oS
T
-1
oS = {(3,2)(5,8)(6,4)(8,8)}
- Calculo de R
-1
o(T
-1
oS)
R
-1
o (T
-1
oS) = {(3,1)(6,3)}
131.- Determine si las siguientes relaciones son de equivalencia
a) R ={(x, y) c N x N /x-y es par}
- Solucin
- Verificando si la relacin es de equivalencia
- Propiedad reflexiva
x Si x c N (x, x) c R
Si x c N (x-y) c R
V V
V Cumple La Propiedad

142
- Propiedad Simtrica
x, y Si (x, y) c R (y, x) c R
Si (x-y) c R (y-x) c R
V V
V Cumple la Propiedad Simtrica

- Propiedad Transitiva
x, y, z Si (x, y) c R . (y, z) c R (x, z) c R
Si (x-y) c R . (y-z) c R (x-z) c R

V . V V
V V
V Cumple la Propiedad Transitiva
Por lo tanto la Relacin es de equivalencia
b) R = {(x, y) c N x N / x=y}
- Propiedad Reflexiva
Si x c N (x=y) c R
V V
V Cumple la Propiedad Reflexiva
Si (x=y) c R (y=x) c R
V V
Si (x=y) c R . (y=z) c R (x=z) c R
V . V V
V V

143
Por lo tanto la Relacin es de Equivalencia
c) R ={(x, y) c R x R / 2x +2y = 2x + 2y}
- Propiedad Reflexiva
Si x c N (2x+2y=2x+2y) c R
V V
V Cumple la Propiedad Reflexiva
Si (2x+2y=2x+2y) c R (2y+2x=2x+2y)
V V
Si (2x+2y=2y+2x) c R . (2y+2x =2z+2y) (2x+2y=2z+2y)
V . V V
V V

Por lo tanto la Relacin es de Equivalencia
132.- Dado el conjunto A= {1, 2, 4, 6,8} se define la relacin: R= {(x, y) c A / Tres es
divisor de x + y}
Cules de las siguientes afirmaciones son correctas?
a) R es reflexiva
- Solucin
- Calculo de la relacin por extensin
A x A ={(1,1)(1,2)(1,4)(1,6)(1,8)(2,1)(2,2)(2,4)(2,6)(2,8)(4,1)(4,2)(4,4)(4,6)
(4,8)(6,1)(6,2)(6,4)(6,6)(6,8)(8,1)(8,2)(8,4)(8,6)(8,8)}
R={(1,2)(1,8)(2,1)(2,4)(4,2)(4,8)(66)(8,1)(8,4)}

144
x Si x c A (x, x) c R
Si 1 c A (1,1) c R
V F
F
Por lo tanto R no es reflexiva.
b) R es simtrica
- Solucin
R= {(1,2)(1,8)(2,1)(2,4)(4,2)(4,8)(66)(8,1)(8,4)}
Si (1,2) c R (2,1) c R
V V
V
Por lo tanto R es simtrica
c) R es Transitiva
- Solucin
R= {(1,2)(1,8)(2,1)(2,4)(4,2)(4,8)(66)(8,1)(8,4)}
Si (1,2) c R . (2,1) c R (1,1) c R
V . V F
F Por lo tanto R no es transitiva
d) R tiene nueve elementos
R= {(1,2)(1,8)(2,1)(2,4)(4,2)(4,8)(66)(8,1)(8,4)}
R tiene nueve elementos
133.- En Z definimos la relacin T por: (x, y) c T x-y es divisible por 5 cuales son
verdaderas?
a) (x, y) c T (y, x) c T
- Solucin
La propiedad se refiere a la simetra por lo tanto es verdadero por que la relacin T es
simtrica
b) (x, y) c T x es mltiplo de 5

145
- Solucin
La relacin T estar expresada en forma de extensin por la condicin x-y es divisible por 5
entonces tanto la variable x como y tendrn que ser mltiplos de 5 para que cumplan la
condicin por ende la proposicin es verdadera
c) (2,17) c T
- Solucin
El par ordenado (2,17) c T por que cumple la condicin expuesta por la relacin T de que
x-y sea divisible por 5 por la tanto la proposicin es verdadera
d) (4n,-8n) c T
- Solucin
El par ordenado (4n,-8n) no pertenece a la relacin T porque no cumple la condicin
expuesta por la relacin de que x-y sea divisible entre 5 por lo tanto la proposicin es falsa
134.- Si A= {(x, y)/(x+3x; y+3y-2) = (-2,2x)} c Z x Z
B= {(x, y)/ y=x X c Z}
Encuentre A-B
- Solucin
- Calculo del conjunto A y B por extensin
x+3x+2 =0 y+3y-4=0 y=x
(x +1) (x +2) (y +4) (y- 1) x= {1, 2 ,3 ,4 ,5 ,6.....+}
x=-1 y=-4 B= {1, 2, 3, 4, 5 ,6.....+}
x=-2 y=1
A= {-4,-2,-1,1}
- Calculo de A-B
A-B= {-4,-2,-1}
135.- Dadas las siguientes relaciones en Z:
R1= {(x, y)/ (xy) es par}
R2= {(x, y)/ x+y=x+y}
R3= {(x, y) /x<y}
Cules de las siguientes afirmaciones son verdaderas:
a) R1 y R2 son reflexivas

146
- Solucin
R1 no es reflexiva por que el par (3,3) no pertenece a la relacin por que 3x3=9 y la
respuesta no es par
R2 es reflexiva porque todo par igual perteneciente a los enteros cumple la condicin
Por ende la proposicin del inciso A es Falsa
b) R2 es simtrica
- Solucin
R2 es simtrica por que x+y=x+y de aqu se concluye que x=y y x=y por ende la
proposicin del inciso B es verdadera
c) R3 no es simtrica
- Solucin
R3 tiene la condicin de que x<y para que sea considerada simtrica debera tambin
cumplirse de que y<x y esto no se cumple por ende la relacin no es simtrica
d) R2 es transitiva
- Solucin
R2 es Transitiva por que x+y=x+y de aqu se concluye que x=y=z y x=y=z por ende la
proposicin del inciso B es verdadera
e) R3 es Transitiva
- Solucin
La relacin tiene la condicin x<y por lo tanto se cumplir de que y<z y por ende x<z por
lo tanto la proposicin propuesta el inciso E es verdadera


147

136.- Defina que es a) Relacin b) Funcin c) Dominio y Rango
- Solucin
- Concepto de una Relacin
Sean A y B dos conjuntos. Una relacin R de A en B es cualquier subconjunto del producto
cartesiano A x B es decir:
R es una relacin de A en B R c A x B
- Concepto de una Funcin
Dados dos conjuntos no vacos A y B una funcin F de A en B que se escribe f: AB y se
lee f es una funcin de aplicacin de A en B es un subconjunto de A x B tal que todo X c A
esta relacionado a un solo elemento de Y c B. por lo tanto f es una funcin de aplicacin de
A en B si y solo si f es una relacin entre A y B que satisface las siguientes condiciones:
a) x c A, - y c B/ (x, y) c f
b) (x, y) c f . (x, z) c f y =z
- Definicin de Dominio y Rango
El dominio que se escribe D es el conjunto de elementos en A que estn relacionados con
algunos elementos de B. En otras apalabras el D es un subconjunto de A y es el conjunto
de todos los primeros elementos de los pares (x, y) c R es decir
D = {x c A / (x, y) c R}
La Imagen de R (rango o recorrido) de R, que se escribe I es el conjunto de elementos en
B que son los segundos elementos de los pares (x, y) c R todos los elementos en B que
estn relacionados con algn elemento de A es decir:
I = {y c B / (x, y) c R}
137.- Dadas las siguientes relaciones verificar existencia y unicidad para que sean
funciones sabiendo que los conjuntos A y B se definen de la siguiente manera
A={1,2,3,4} y B={a, b, c, d, e, f}
a) f={(1,a)(2,b)(3,d)(4,c)}
- Solucin

148
- Verificando la condicin de Existencia
Para que cumpla la condicin de existencia el dominio de la relacin debe ser igual al
conjunto A
Dr = A
{1, 2, 3, 4} = {1, 2, 3, 4} Cumple entonces la condicin de existencia
- Verificando la condicin de Unicidad
(x, y) c f . (x, z) c f y =z
(1,a) c f . (1,a) c f a=a
V . V V
V V
V Cumple unicidad por que no se repite la primer
Componente.
Por lo tanto la relacin f es un Funcin
b) g ={(1,a)(2,b)(2,c)(3,e)(4,f)}
- Solucin
- Verificando la condicin de existencia
Dr = A
{1, 2, 3, 4} = {1, 2, 3, 4}
Por lo tanto cumple existencia
(x, y) c f . (x, z) c f y =z
(2, b) c f . (2,c) c f b=c
V . V F
V F
F Por lo tanto no cumple la condicin de Unicidad
Por ende la relacin g no es una funcin
c) h={(1,b)(3,d)(4,e)(3,b)(1,c)}
- Solucin
Dr = A

149
{1, 3,4} = {1, 2, 3,4}
Por lo tanto no cumple Existencia
(x, y) c f . (x, z) c f y =z
(3,d) c f . (3,b) c f d=b
V . V F
V F
F Por lo tanto no cumple la condicin de Unicidad
Por ende la relacin h no es una funcin
138.- Determine analticamente cuales de las siguientes relaciones son funciones
a) y = x R R+
- Solucin
- Verificando la condicin de existencia
Conjunto de Partida = R
y = x
-<x<+
(-)<x<(+)
+<y<+
y c R+ Por lo tanto cumple la propiedad de existencia
(x, y) c f . (x, z) c f y =z
V x = x (\)
V x = x
V V
V Cumple la condicin de Unicidad
Por lo tanto la relacin es una Funcin
c) y = \x [0,4] [0,2]
- Solucin
Conjunto de partida = [0,4]

150
Y= \x
0 s x s 4
\0 s \x s \4
0 s y s 2
y c [0;2] Cumple la condicin de Existencia
(x, y) c f . (x, z) c f y =z
V \x = \x (a)
V x = x
V V
c) y = x-1 R R
- Solucin
Y = x-1
-<x<+
(-)<x<()
<x<
-1<x-1<-1
<y<
yc [0;+[ Por lo tanto Cumple Existencia
- Condicin de Unicidad
(x, y) c f . (x, z) c f y =z
V x-1 = x-1
V x = x (\)
V x = x
V V

151
d) y = \9-x [0;3][0;3]
- Solucin
- Verificando la Condicin de Existencia
Conjunto de Partida = [0; 3]
Y = \9-x
0<x<3
0<x<3
0<x<9
0-9<-9+x<9-9
-9<-9+x<0 (-1)
9>9-x>0
\9>\9-x>\0
3>y>0
y c [0:3] Cumple la Condicin de Existencia
- Verificando la Condicin de Unicidad
(x, y) c f . (x, z) c f y =z
V \9-x =\9-x ()
V 9-x = 9-x
V -x = -x
V x = x
V V
e) y = 1 R ]0;1]
1+x
- Solucin

Y = 1
1+x

152
-<x<
(-)<x<()
<x<
+1<1+x<+1
<1+x<
1< 1 < 1
1+x
0>y>0
y c ]0[ Cumple la Condicin de Existencia
(x, y) c f . (x, z) c f y =z
V 1 = 1
1+x 1+x
V 1+x = 1+x
V x = x (\)
V x = x
V V
f) y = 1 [0;+[]0;1/2]
3x+2
- Solucin
Conjunto de Partida = [0;+[
y = 1
3x+2
0s x <+
3(0) s 3x <3(+)
0s 3x < +
0+2s 3x+2<2+
2s3x+2<+
1 s 1 < 1

153
2 3x+2 +
1 s y < 0
2
y c ]0;1/2] Por lo tanto cumple la Condicin de Existencia
(x, y) c f . (x, z) c f y =z

V 1 = 1
3x+2 3x+2
V 3x+2 = 3x+2
V 3x = 3x
V x = x
V V
g) y = 1 [0;+[]0;1/2]
x+2
Y = 1
X+2
0s x <+
0+2sx+2<2+
2sx+2<+
1 s 1 < 1
2 x+2 +
1 s y < 0
2
y c ]0;1/2] Por lo tanto Cumple la Condicin de Existencia
(x, y) c f . (x, z) c f y =z
V 1 = 1
x+2 x+2
V x+2 = x+2

154
V x = x
V V
h) y = x+1 RR
- Solucin
Y = x+1
-<x<+
(-)<x<(+)
-<x<+
-+1<x+1<++1
-<y<
y c R Cumple la Condicin de Existencia

(x, y) c f . (x, z) c f y =z
V x+1 = x+1
V x = x
V x = x
V V
i) y = x [0;2][0;2]
- Solucin
Y = x
0s x s2
0s x s 2
0s y s4

155
y c [0;4] Por lo tanto no Cumple la Condicin de Existencia
j) y = -2x+1 RR
- Solucin
Y = -2x+1
-<x<+
2(-)<2x<2(+)
(-)<2x<+
-(-)>-2x>-(+)
+>-2x>-
++1>-2x+1>-+1
+>y>-
y c R Por lo tanto cumple la Condicin de Existencia
(x, y) c f . (x, z) c f y =z
V -2x+1 = -2x+1
V -2x = -2x
V x = x
V V
k) y = \x R+R
- Solucin
Conjunto de Partida = R+
Y = \x
0<x<+
\0<\x<\+
0<\x<+

156
y c R+ Por lo tanto cumple la Condicin de Existencia
(x, y) c f . (x, z) c f y =z
V \x = \x
V x = x
V V
l) x + y = 1 [0; 1][-1; 1]
- Solucin
Y = \1-x
0s x s1
0s x s 1
0s x s 1
0-1s -1+x s 1-1
-1s-1+xs0
1>1-x>0
\1>\1-x>\0
1>y>0
y c [0;1] Por lo tanto Cumple la Condicin de Existencia
(x, y) c f . (x, z) c f y =z
V \1-x = \1-x
V 1-x = 1-x
V -x = -x
V x = x
V x = x
V V

157
m) y = x RR
- Solucin
Y = x
-<x<+
(-)<x<(+)
-<y<+
y c R Por lo tanto Cumple la Condicin de Existencia
(x, y) c f . (x, z) c f y =z
V x = x
V x = x
V V
n) y = \x+1 ]-1;3]R
- Solucin
Conjunto de Partida =]-1; 3]
Y = \x+1
-1<x<+3
-1+1<x+1<3+1
0<x+1<4
\0<\x+1<\4
0<y<2
y c ]0;2[ Por lo tanto cumple la Condicin de Existencia
(x, y) c f . (x, z) c f y =z
V \x+1 = \x+1

158
V x+1 = x+1
V x = x
V V
) y = x-x RR
- Solucin
Y = x-x
Como existen dos variables X se procede a calcular el Dominio de imagen de la funcin
para ver si coincide con el conjunto de llegada
DI(x) = R
Por lo tanto cumple la condicin de Existencia
(x, y) c f . (x, z) c f y =z
V x-x = x-x
V x = x
V x = x
V V
o) y = 4x RR
- Solucin
Y = 4x
-<x<+
4(-)<4x<4(+)
-<y<+
y c R Por lo tanto cumple la Condicin de Existencia

159
(x, y) c f . (x, z) c f y =z
V 4x = 4x
V x = x
V V
p) y = \x-1 [1;+[R
- Solucin
Y = \x-1
1s x <+
1-1s x-1<+-1
0s x-1<+
\0s \x-1<\+
0s y <+
y c [0;+[ Por lo tanto Cumple la Condicin de Existencia
(x, y) c f . (x, z) c f y =z
V \x-1 = \x-1
V x-1 = x-1
V x = x
V V
q) y = \16-x [0; 4][-4; 4]
- Solucin
Y = \16-x
0sxs4

160
0sxs4
0sxs16
0-16s -16+xs16-16
-16s -16+xs0
16> 16-x>0
\16>\16-x>\0
4>y>0
y c [0;4] Por lo tanto Cumple la Condicin de Existencia
(x, y) c f . (x, z) c f y =z
V \16-x = \16-x
V 16-x = 16-x
V x = x
V x = x
V V
r) y = x R+R+
- Solucin
Conjunto de Partida = R+
Y = x
0<x<+
0<x<(+)
0<y<+
y c R+ Por lo tanto Cumple la Condicin de Existencia
(x, y) c f . (x, z) c f y =z
V x = x V V
V x = x V

161

RELACIONES

1.- Sean los conjuntos A= {1, 3,5} y B = {x N/ 1<x6} y R una relacin de A en B
definida por R = x>y-2
a) Determinar R por Extensin
b) Representar A x B y R
c) Determinar R
-1

Solucin
1.- Verificar que los conjuntos estn siempre por extensin
A = {1, 3,5}
B = {2, 3, 4, 5,6}
2.- Calculo del producto cartesiano A x B
A x B = {(1,2)(1,3)(1,4)(1,5)(1,6)(3,2)(3,3)(3,4)(3,5)(3,6)(5,2)(5,3)(5,4)(5,5)(5,6)}
a) Calculo de la Relacin Por Extensin
R = {(1,2) (3,2) (3,3) (3,4) (5,2) (5,3) (5,4) (5,5) (5,6)}
b) Representacin Grafica de A x B y R

PRODUCTO CARTESIANO AXB
0
1
2
3
4
5
6
7
0 1 2 3 4 5 6
A
B

162

c) Clculo de R
-1

R
-1
{(2,1) (2,3) (3,3) (4,3) (2,5) (3,5) (4,5) (5,5) (6,5)}
2.- Sean los Conjuntos A = {1, 2, 3, 4,5} y B= {2, 3,6} y R una Relacin de A en B
definida por R = x + y par.
a) Determinar R y R
-1
por extensin
b) Representar A x B y R
c) Determinar Dominio e Imagen de R
Solucin
1.- Verificar que los conjuntos estn por extensin
A = {1, 2, 3, 4,5}
B= {2, 3,6}
2.- Calculo del producto Cartesiano
A x B = {(1,2)(1,3)(1,6)(2,2)(2,3)(2,6)(3,2)(3,3)(3,6)(4,2)(4,3)(4,6)(5,2)(5,3)(5,6)}
a) Calculo de la Relacin R y su Inversa R
-1

R = {(1,3) (2,2) (2,6) (3,3) (4,2) (4,6) (5,3)}
R
-1
= {(3,1) (2,2) (6,2) (3,3) (2,4) (6,4) (3,5)}
b) Representacin Grafica de R y A x B
GRAFICO DE R
0
1
2
3
4
5
6
7
0 1 2 3 4 5 6
A
B Serie1

163

c) Calculo del Dominio e Imagen de R
D
r
= {1, 2, 3, 4,5} Son las primeras componentes
I
r
= {2, 3,6} Son las segundas componentes
3.- Dados los conjuntos A = {x Z / (x
2
2)
2
= x
2
} B = {x N / 1<x5} C = {x Z/ -3<x3} y
las relaciones R c A x B y S c B x C se define como R = x + y es mltiplo de 5 y S= 3 | y + z
a) Determinar R y S por extensin
b) S o R c A x C por extensin
c) Dominio e Imagen de las relaciones
d) (S o R)
-1
y R
-1
o S
-1

Solucin
1.- Transformar todos los conjuntos a su forma de extensin
A = {x Z / (x
2
2)
2
= x
2
} B= {2, 3, 4,5} C = {-2,-1, 0, 1, 2,3}
(x
2
2)
2
= x
2

x
4
4x
2
+ 4 = x
2

PRODUCTO CARTESIANO AXB
0
1
2
3
4
5
6
7
0 1 2 3 4 5 6
A
B Serie1
GRAFICO DE LA RELACION
0
1
2
3
4
5
6
7
0 1 2 3 4 5 6
A
B Serie1

164
x
4
4x
2
-x
2
+ 4= 0
x
4
-5x
2
+ 4 = 0
A = {-2,- 1, 1,2}
2.- Calculo de los productos cartesianos A x B y B x C
A x B = {(-2,2)(-2,3)(-2,4)(-2,5)(-1,2)(-1,3)(-1,4)(-1,5)(1,2)(1,3)(1,4)(1,5)(2,2)(2,3)(2,4)(2,5)}
B x C = {(2,-2)(2,-1)(2,0)(2,1)(2,2)(2,3)(3,-2)(3,-1)(3,0)(3,1)(3,2)(3,3)(4,-2)(4,-1)(4,0)(4,1)(4,2)(4,3)
(5,-2)(5,-1)(5,0)(5,1)(5,2)(5,3)}
a) Calculo de R y S por extensin
R = {(-2,3) (-1,2) (1,4) (2,3)}
S = {(2,-1) (2,1) (3,-2) (3,0) (3,3) (4,-1) (4,2) (5,-2) (5,1)}
b) Calculo de S o R
S o R = {(-1,-1) (-1,1) (-2,-2) (-2,0) (-2,3) (2,-2) (2,0) (2,3)}
c) Calculo del Dominio e Imagen de las relaciones
D
R
=

{-2,-1, 1,2}
I
R
= {2, 3,4}
D
S
= {2, 3, 4,5}
I
S
= {-2,-1, 0, 1, 2,3}
D
SoR
=

{-2,-1,2}
I
SoR
= {-2,-1, 0, 1,3}
d) Calculo de (S o R)
-1
= (S
-1
o R
-1
)
S
-1
= {(-1,2) (1,2) (-2,3) (0,3) (3,3) (-1,4) (2,4) (-2,5) (1,5)}
R
-1
= {(3,-2) (2,-1) (4,1) (3,2)}
S
-1
o R
-1
= {(3,3) (3,5) (2,2) (2,4) (4,2) (4,5) (3,4)}
Calculo de R
-1
o S
-1
= {(-1,-1) (1,-1) (-2,-2) (-2,2) (0,-2) (0,2) (3,-2) (3,2) (-1,1) (2,1)}
4.- Determinar las propiedades que cumple la relacin R definida en A= {a, b, c, d, e}
a) R= {(a, a)(b, b)(c, c)(d, d)(e, e)}
Propiedad Reflexiva Propiedad Simtrica
x Si x c A (x, x) c R x, y Si (x, y) c R (y, x) c R
a A (a, a) R (a, a) R (a, a) R
V V V V
V V

165
b A (b, b) R (b, b) R (b, b) R
V V V V
V V
c A (c, c) R (c, c) R (c, c) R
V V V V
V V
d A (d, d) R (d, d) R (d, d) R
V V V V
V V
e A (e, e) (e, e) R (e, e) R
V V V V
V V
Cumple la Propiedad Cumple la Propiedad
Propiedad Transitiva
(a, a) R ^ (a, a) R (a, a) R
V ^ V V
V V
V
(b, b) R ^ (b, b) R (b, b) R
V ^ V V
V V
V
(c, c) R ^ (c, c) R (c, c) R
V ^ V V
V V
V


166
PRINCIPIO DE INDUCCION COMPLETA
P.I.C

1.- Demostrar mediante el principio de induccin completa la siguiente
sucesin matemtica
P(n) = 1+2+3+.+ n = n(n+1)
2
Solucin
- Primer paso: P(1) = V n = 1
P(1) = 1+2+3++ 1 = 1(1+1)
2
1 = 1 Verdadero
- Segundo paso: p(k) = V n = k
P(k) = 1+2+3+..+ k = k(k+1)
2
- Tercer paso: p(k+1) = V n = k+1
P(k+1) = 1+2+3+..+ k+1 = (k+1)(k+2)
2
- Cuarto paso: Demostracin: P(k) + a = b
K(k+1) + k+1 = (k+1)(k+2)
2 2
K(k+1) + 2(k+1) = (k+1)(k+2)
2 2
(k+1)(k+2) = (k+1)(k+2)
2 2


167
sucesin matemtica
P(n) = 3+5+7+.+(2n+1) = n(n+2)
P(1) = 3+5+7++(2(1)+1) = 1(1+2)
3 = 3 Verdadero
- Segundo paso: P(k) = V n = k
P(k) = 3+5+7+..+(2k+1) = k(k+2)
- Tercer paso: P(k+1) = V n = k+1
P(k+1) = 3+5+7+..+(2(k+1)+1) = (k+1)(k+1+2)
K (k+2) + (2k+3) = (k+1) (k+3)
K
2
+2k+2k+3 = (k+1) (k+3)
K
2
+4k+3 = (k+1) (k+3)
(k+1)(k+3) = (k+1) (k+3)
sucesin matemtica
P(n) = 2+5+8+..+(3n-1) = n(3n+1)
2
P(1) = 2+5+8+..+(3(1)-1) = 1(3(1)+1)
2
2 = 2 Verdadero
P(k) = 2+5+8++(3k-1) = k(3k+1)
2

168

P(k+1) = 2+5+8++(3(k+1)-1) = (k+1)(3(k+1)+1)
2

K(3k+1) + (3k+2) = (k+1)(3k+4)
2 2
3k
2
+k+2(3k+2) = (k+1)(3k+4)
2 2
3k
2
+k+6k+4 = (k+1)(3k+4)
2 2
3k
2
+7k+4 = (k+1)(3k+4)
2 2
(k+1)(3k+4) = (k+1)(3k+4)
2 2
sucesin matemtica
P(n) = 1+4+7+.+ (3n-2) = n(3n-1)
2
P(1) = 1+4+7+..+(3(1)-2) = 1(3(1)-1)
2
1 = 1 Verdadero


169
P(k) = 1+4+7++(3k-2) = k(3k-1)
2
P(k+1) = 1+4+7+..+ (3(k+1)-2) = (k+1)(3(k+1)-1)
2
K(3k-1) + (3k+1) = (k+1)(3k+2)
2 2
(3k
2
-k) + 2(3k+1) = (k+1)(3k+2)
2 2
3k
2
-k+6k+2 = (k+1)(3k+2)
2 2
3k
2
+5k+2 = (k+1)(3k+2)
2 2
(k+1)(3k+2) = (k+1)(3k+2)
2 2
sucesin matemtica
P(n) = 1+5+9++(4n-3) = n(2n-1)
P(1) = 1+5+9+.+(4(1)-3) = 1(2(1)-1)
1 = 1 Verdadero
P(k) = 1+5+9+.+(4k-3) = k(2k-1)

170
P(k+1) = 1+5+9+..+(4(k+1)-3) = (k+1)(2(k+1)-1)
k(2k-1) + (4k+1) = (k+1)(2k+1)
2k
2
-k+4k+1 = (k+1)(2k+1)
2k
2
+3k+1 = (k+1)(2k+1)
(k+1)(2k+1) = (k+1)(2k+1)
sucesin matemtica
P(n) = 1+3+6+.+n(n+1) = n(n+1)(n+2)
2 6
P(1) = 1+3+6++1(1+1) = 1(1+1)(1+2)
2 = 6
1 = 1 Verdadero
P(k) = 1+3+6+..+k(k+1) = k(k+1)(k+2)
2 6
P(k+1) = 1+3+6++(k+1)(k+1+1) = (k+1)(k+1+1)(k+1+2)
2 6
K(k+1)(k+2) + (k+1)(k+2) = (k+1)(k+2)(k+3)
6 2 6
K(k+1)(k+2) +3(k+1)(k+2) = (k+1)(k+2)(k+3)
6 6


171
(k+1)(k+2)(k+3) = (k+1)(k+2)(k+3)
6 6
sucesin matemtica
P(n) = 1
2
+2
2
+3
2
+..+ n
2
= n(n+1)(2n+1)
6
P(1) = 1
2
+2
2
+3
2
++1
2
= 1(1+1)(2(1)+1)
6
1 = 1 Verdadero
P(k) = 1
2
+2
2
+3
2
++ k
2
= k(k+1)(2k+1)
6
P(k+1) = 1
2
+2
2
+3
2
++ (k+1)
2
= (k+1)(k+2)(2(k+1)+1)
6
K(k+1)(2k+1) + (k+1)
2
= (k+1)(k+2)(2k+3)
6 6
K(k+1)(2k+1) + 6(k+1)
2
= (k+1)(k+2)(2k+3)
6 6
(k+1){k(2k+1)+6(k+1)} = (k+1)(k+2)(2k+3)
6 6
(k+1){(2k
2
+k)+(6k+6)} = (k+1)(k+2)(2k+3)
6 6


172
(k+1)(2k
2
+7k+6) = (k+1)(k+2)(2k+3)
6 6
(k+1)(k+2)(2k+3) = (k+1)(k+2)(2k+3)
6 6
sucesin matemtica
P(n) = 1
3
+2
3
+3
3
+.+ n
3
= n
2
(n+1)
2
4
P(1) = 1
3
+2
3
+3
3
++ 1
3
= 1
2
(1+1)
2

4
1 = 1 Verdadero
P(k) = 1
3
+2
3
+3
3
+.+ k
3
= k
2
(k+1)
2

4

P(k+1) = 1
3
+2
3
+3
3
+..+ (k+1)
3
= (k+1)
2
(k+2)
2

4
k
2
(k+1)
2
+ (k+1)
3
= (k+1)
2
(k+2)
2

4 4
K
2
(k+1)
2
+ 4(k+1)
3
= (k+1)
2
(k+2)
2

4 4
(k+1)
2
(k
2
+4(k+1)) = (k+1)
2
(k+2)
2

4 4

173
(k+1)
2
(k
2
+4k+4) = (k+1)
2
(k+2)
2

4 4
(k+1)
2
(k+2)
2
= (k+1)
2
(k+2)
2

4 4
sucesin matemtica
P(n) = 1
4
+2
4
+3
4
+.+ n
4
= n(n+1)(2n+1)(3n
2
+3n-1)
30
P(1) = 1
4
+2
4
+3
4
+.+ 1
4
= 1(1+1)(2(1)+1)(3(1)
2
+3(1)-1)
30
1 = 1 Verdadero
P(k) = 1
4
+2
4
+3
4
++ k
4
= k(k+1)(2k+1)(3k
2
+3k-1)
30
P(k+1) = 1
4
+2
4
+3
4
++ (k+1)
4
= (k+1)(k+2)(2k+3)(3k
2
+6k+3+3k+3-1)
30
k(k+1)(2k+1)(3k
2
+3k-1) + (k+1)
4
= (k+1)(k+2)(2k+3)(3k
2
+6k+3+3k+3-1)
30 30
k(k+1)(2k+1)(3k
2
+3k-1) +30(k+1)
4
= (k+1)(k+2)(2k+3)(3k
2
+9k+5)
30 30
(k+1){k(2k+1)(3k
2
+3k-1) +30(k+1)
3
} = (k+1)(k+2)(2k+3)(3k
2
+9k+5)
30 30


174
(k+1){(2k
2
+k)(3k
2
+3k-1) +30(k+1)
3
} = (k+1)(k+2)(2k+3)(3k
2
+9k+5)
30 30
(k+1){(6k
4
+6k
3
-2k
2
+3k
3
+3k
2
-k) + 30(k+1)
3
} = (k+1)(k+2)(2k+3)(3k
2
+9k+5)
30 30
(k+1){(6k
4
+9k
3
+k
2
-k) +30(k+1)
3
= (k+1)(k+2)(2k+3)(3k
2
+9k+5)
30 30
(k+1){(6k
4
+9k
3
+k
2
-k)+30(k
3
+3k
2
+3k+1) = (k+1)(k+2)(2k+3)(3k
2
+9k+5)
30 30
(k+1){(6k
4
+9k
3
+k
2
-k+30k
3
+90k
2
+90k+30)} = (k+1)(k+2)(2k+3)(3k
2
+9k+5)
30 30
(k+1)(6k
4
+39k
3
+91k
2
+89k+30) = (k+1)(k+2)(2k+3)(3k
2
+9k+5)
30 30
(k+1)(k+2)(2k+3)(3k
2
+9k+5) = (k+1)(k+2)(2k+3)(3k
2
+9k+5)
30 30
sucesin matemtica
P(n) = 1*2+2*3+3*4+.+ n(n+1) = n(n+1)(n+2)
3
P(1) = 1*2+2*3+3*4+.+ 1(1+1) = 1(1+1)(1+2)
3
P(k) = 1*2+2*3+3*4+.+ k(k+1) = k(k+1)(k+2)
3


175
P(k+1) = 1*2+2*3+3*4+.+ (k+1)(k+2) = (k+1)(k+2)(k+3)
3
k(k+1)(k+2) + (k+1)(k+2) = (k+1)(k+2)(k+3)
3 3
k(k+1)(k+2) + 3(k+1)(k+2) = (k+1)(k+2)(k+3)
3 3
(k+1)(k+2)(k+3) = (k+1)(k+2)(k+3)
3 3
sucesin matemtica
P(n) = 1*3+2*4+3*5+..+ n(n+2) = n(n+1)(2n+7)
6
P(1) = 1*3+2*4+3*5+.+ 1(1+2) = 1(1+1)(2(1)+7)
6
3 = 3 Verdadero
P(k) = 1*3+2*4+3*5+.+ k(k+2) = k(k+1)(2k+7)
6
P(k+1) = 1*3+2*4+3*5++ (k+1)(k+3) = (k+1)(k+2)(2(k+1)+7)
6
k(k+1)(2k+7) + (k+1)(k+3) = (k+1)(k+2)(2k+9)
6 6

176
K(k+1)(2k+7) + 6(k+1)(k+3) = (k+1)(k+2)(2k+9)
6 6
(k+1){k(2k+7)+6(k+3)} = (k+1)(k+2)(2k+9)
6 6
(k+1){(2k
2
+7k+6k+18)} = (k+1)(k+2)(2k+9)
6 6
(k+1)(2k
2
+13k+18) = (k+1)(k+2)(2k+9)
6 6
(k+1)(k+2)(2k+9) = (k+1)(k+2)(2k+9)
6 6
sucesin matemtica
P(n) = 2*5+3*6+4*7+.+ (n+1)(n+4) = n(n+4)(n+5)
3
P(1) = 2*5+3*6+4*7+..+ (1+1)(1+4) = 1(1+4)(1+5)
3
10 = 10 Verdadero
P(k) = 2*5+3*6+4*7++ (k+1)(k+4) = k(k+4)(k+5)
3
P(k+1) = 2*5+3*6+4*7+..+ (k+2)(k+5) = (k+1)(k+5)(k+6)
3


177
k(k+4)(k+5) + (k+2)(k+5) = (k+1)(k+5)(k+6)
3 3
K(k+4)(k+5) + 3(k+2)(k+5) = (k+1)(k+5)(k+6)
3 3
(k+5){k(k+4)+3(k+2)} = (k+1)(k+5)(k+6)
3 3
(k+5)(k
2
+4k+3k+6) = (k+1)(k+5)(k+6)
3 3
(k+5)(k
2
+7k+6) = (k+1)(k+5)(k+6)
3 3
(k+5)(k+1)(k+6) = (k+1)(k+5)(k+6)
3 3
(k+1)(k+5)(k+6) = (k+1)(k+5)(k+6)
3 3


178
PRACTICO N 1
TEMA: LOGICA SIMBOLICA
I.- Determinar el valor de verdad de las siguientes proposiciones sabiendo que el valor
de verdad de las proposiciones p, q y r son respectivamente
v (p) = F, v (q) = V y v (r) = F
1) {[(p v q) (q p)] ~p} ~ p
2) {[(q v ~ p) (p ^ q)] v (p v ~ q)} ^ (p v ~ p v q)
3) {[p v (q p)] v (p q)} (p v ~ q)
4) {[(p ^ q) v (q p)] (p v ~ q)} v (p q)
5) {[q (~ p v ~ q)] (q v p)} p
6) {[(r v p) (p r)] (r v q)} ~ (r p)
7) {[(r v q) r] [(q v ~ r) p]} ~ (~ q p)
8) [(p v q) ~ r] [(r ^ q) p] (p v r v q)
9) [(p v q) v (r ^ ~ r)] ~ [~ (r p) ~ q]
10) ~ {{r v ~ [q (~ p ~ r)]} (p ^ ~ q ^ ~ r)} ~ (q q)
II.- Determinar el valor de verdad de las proposiciones v (p), v (q) y v (r) sabiendo
que:
11) [(p v ~ r) (p ^ q)] v (q v ~ p) = V
12) {[(r v ~ q) (p q)] ~q} r = F
13) {[~ r v (p q)] v (q p)} v (p v q v r) = V
14) {[r (p ~ q)] (p v q)} r = F
15) [(r v q) ~ r] [(p v ~ r) q] = V
16) [(r v q) v (p ^ ~ r)] ~ [~ (r p) ~ q] = F
17) ~ {{r v ~ [q (~ p ~ r)]} (p ^ ~ q ^ ~ r)} = V
18) {[p (~ r v ~ q)] (q v p)} r = F
19) [(r v p) ~ q] [(r ^ q) p] (p v r v q) = V
20) {[(r v q) (q p)] ~p} ~ q = F
III.- Determinar el valor de verdad de las siguientes proposiciones, sabiendo que cada
una de las proposiciones mostradas en la parte inferior estar sujeta a otras
proposiciones cuyo valor de verdad ya es conocido como se muestra a continuacin:
21) (p q) v (~ p v r) v (r p) (p q) = F y (q r) = V

179
22) {[r v (q p)] v (p q)} q (p ^ q) = V y (q r) = F
23) {[q (~ p v ~ q)] (r v p)} v (r ^ p ^ ~ q) (~p r) = F y (q ^ r) = V
24) [(p ~ r) v (r v q)] [(r ^ ~ p) q] (p v q v r) = F y (p ~ r) = F
25) {[q v (r v p)] [p v (p ~ r)]} q (~p ~q) = V y (p v ~r) = V
26) {[(p ^ q) v (q p)] (p v ~ q)} (p v q) ~ (~p v ~q) = F y (p v ~r) = F
27) {[r (p ~ q)] (p v q)} {r v ~ [p (~ q ^ ~ r)] (~r ~p) = F y (p v ~r) = V
28) ~ {[q ~ (p s)] (p r)} [(~ s p) v r] (~s ^ ~q) = V y (p v ~r) = V
29) {{[p (p v q)] v (s p)} v (q r)} v (s ^ ~ p) (~s p) = F y (q v r) = F
30) {{p v [(q v p) s]} v (r p)} v [(s q) p] (q ^ r) = V y (s p) = V
IV.- Determinar mediante una tabla de verdad utilizando cualquier mtodo el valor
de verdad de las siguientes proposiciones y de acuerdo a su tabla de verdad
clasificarlas en (Tautologa, Anti Tautologa o Contingencia)
31) [(p v ~ q) (p ^ q)] v (q v ~ p)
32) [(q v ~ p) (p ^ q)] v (p v ~ q)
33) {[(p ^ q) v (q p)] (p v ~ q)} (p v q)
34) ~ {[p (~ p v ~ q)] (q v p)} (p ~ q)
35) {[(p ~ r) v (r v q)] [(r ^ ~ p) q]} (r v ~ p v ~ q)
36) {[q v (r v p)] [p v (p ~ r)]} ~ q
37) {[r (p ~ q)] (p v q)} {r v ~ [p (~ q ^ ~ r)]
38) {[(r v s) ~ r] [(p v ~ r) q]} (q v ~ p v ~ s)
39) ~ {[q ~ (p s)] (p q)} [(~ s s) v r]
40) {[(p q) v (~ r s)] (r ~ p)} ~ [(s v ~ p) (q ^ r)]
V.- Simplificar mediante las leyes lgicas a su mnima expresin las siguientes
proposiciones y de acuerdo al resultado obtenido clasificarlas en (Tautologa, Anti
Tautologa o Contingencia)
41) {[(p v q) p] ^ (q p)} ~ (p ~ q)
42) {[(p q) v p] v q} [q (~ p ^ q)]
43) ~ [q v (~ p ^ ~ q)] [(p q) ~ q]
44) {[(p v q) ^ (p v ~ q)] (p q)} ~ q
45) [(p v q) ^ p] [(p ^ q) q]
46) {[r v (p q)] r} v (p q)

180
47) {r [q v (~ q ^ p)]} {[p (~ r p)] v (q p)}
48) {{p v [(q ^ p) q]} v (r p)} v [(p q) p]
49) {[p v (~ q v r)] (p v r)} {q [(r v p) ^ (r v ~ p)]}
50) {{[p (p q)] v (q p)} v (q r)} v (r ^ ~ p)
VI.- Aplicaciones de las leyes lgicas
51) Determinar el valor del parmetro x para que las siguientes proposiciones sean
equivalentes
a) [(p x) p] v [(p x) ^ ~ x] p v ~ q
b) [(p ^ ~ q) v ~ p] [q ^ ~ (p x)] p ^ q
c) [(~ q x) ^ ~ (q ^ ~ x)] [(x p) ^ (p ~ x)] ~ r
52) Demostrar mediante las leyes lgicas la veracidad de las siguientes leyes
a) [(p q) ^ (q r)] (p r)
b) [(p v q) ^ ~ p] q
c) [(p q) ^ (r t) ^ (p v r)] (q v t)
53) Esquematizar los siguientes razonamientos lgicos a travs de una proposicin y luego
demostrar que el razonamiento es vlido simplificndolo hasta su mnima expresin
a) Si Miguel es un estudiante entonces ira a la universidad. Si va a la universidad entonces
no tendr problemas en su vida. Miguel es un estudiante y ser premiado por su esfuerzo.
Por lo tanto: Miguel ser premiado por su esfuerzo y no tendr problemas en su vida
b) Si no estudiamos entonces perdemos el ao. No seremos responsables cuando perdemos
el ao. Seremos responsables o merecemos la sancin de nuestra conciencia moral.
Merecemos la sancin de nuestra conciencia moral. Por lo tanto: estudiaremos
c) Si tiene un solo elemento, se llama conjunto unitario. Si no tiene elemento alguno, se
llama conjunto vacio. Tiene un solo elemento o no tiene elemento. Por lo tanto: se llama
conjunto unitario o se llama conjunto vacio
d) Si el reloj esta adelantado entonces Juan llego antes de la diez y vio al asesino de
Andrs. Si Miguel dice la verdad entonces Juan no vio el asesino de Andrs. Miguel dice la
verdad o estaba en el edificio en el momento del crimen. El reloj esta adelantado. Por lo
tanto: Miguel estaba en el edificio en el momento del crimen


181
VII.- Dadas las siguientes proposiciones lgicas representarlas mediante un circuito
lgico
54) [p (~ q ^ p)] [(p v q) ~ p]
55) [(p v q) (p v ~ q)] [p ^ (q ~ p)]
56) {~ p [p (~ p ^ q)]} [p ^ (q v ~ p)]
57) [(p v r) q] ^ [~ r (p ~ q)]
58) {r v [p (p v q)]} ^ [(p ^ r) v (q ^ p)]
59) [~ (p v q) p] ^ ~ [(r v p) (p q)]
60) ~ {{r v ~ [q (~ p ~ r)]} (p ^ ~ q ^ ~ r)} ~ (p q)
VIII.- Dados los siguientes circuitos lgicos realizar las operaciones indicadas
a) Determinar su respectiva formula proposicional
b) Simplificar dicha frmula proposicional hasta su mnima expresin
c) Disear el nuevo circuito equivalente
61)

62)

63)

64)

p q
~ p
p q
p ~ q
q
p q
q ~ p
p
q
p ~ q
p
r
q
~ p
r ~ p
q p
r p
~ r
p
q
r
p
r
r
q
~ p q
q p
r
q
s
p
q
~ r p
q

182
65)

66)

67)

68)

IX.- Aplicaciones de los Circuitos Lgicos
69) Sea S = (p v q) y r la proposicin ms sencilla equivalente a [(p q) ~ q] ^ ~ q cual
sera el circuito lgico ms sencil al que resulte de conectar en paralelo s y ~ r
70) Sea P la proposicin ms sencilla equivalente a [(p q) ^ p] ~ q y sea q la
proposicin ms sencilla equivalente a [(p v q) ^ (p v ~ q)] ~ (p q) cual sera el
circuito lgico ms sencillo equivalente al que resulte de conectar en serie p y q y en
paralelo con r
71) Un ingeniero civil desea realizar la instalacin elctrica de su hogar, para ello tiene a
su disposicin el diseo o plano de su casa el cual est conformado de la siguiente manera:

p
q
~ r
p
q
~
p
p
p

q
p q
~ p
s
q
p q
~ p
~ q
r
p ~ q
p
q
~ p
r
q
p
r
q
r
p q
r p
p
q
r
~ r
p
q
r
~ r
~ p
p
r
q
~ r
p
r
~ p ~ q
t
~ q
~ p
q r
p
q
r
~ q
~ p
r
~ p
q
p q
q p r

183
Si se sabe que cada interruptor en las tiendas tiene un costo de 50 bolivianos se pide
determinar:
a) Cual es el costo total de inversin que debe realizar el Ingeniero Civil en la instalacin
elctrica
b) Determinar un circuito elctrico ms simple y equivalente e indicar cul sera el costo de
este nuevo circuito
c) Determine el ahorro econmico que tuviera el Ingeniero Civil si instala el circuito ms
equivalente en su hogar
72) Determinar el valor de la proposicin x para que el circuito equivalente del circuito
que se muestra en la parte inferior resulte ser paralelo

73) Determinar el valor de la proposicin x de tal forma que el circuito ms equivalente y
sencillo del circuito mostrado en la parte inferior resulte ser: p v q

X.- Determinar mediante inferencia lgica la validez de los siguientes razonamientos
aplicando los mtodos Directo e Indirecto respectivamente
74) Demostrar: q
1) p q
2) ~ p r
3) ~ r
75) Demostrar: ~ r
1) ~ p v ~ q
2) p
3) r q
76) Demostrar: p
p x
x ~ p
p
x
p ~ x
p
q
x
~ x
p
q
~ p
q
p
~ x
p
~ q
p q

184
1) p v ~ q
2) r ~ q
3) p v ~ r
77) Demostrar: t
1) ~ p q
2) ~ r ~ q
3) ~ (p ^ ~ t)
4) ~ r
78) Demostrar: u ^ ~ v
1) v ~ p
2) p ^ ~ t
3) s r
4) q u
5) s v (q ^ r)
79) Demostrar: g ^ f
1) c b
2) ~ d (e ^ f)
3) a ^ ~ b
4) (a ^ e) g
5) c v ~ d
80) Demostrar: r v s
1) p ~ c
2) a ^ ~ b
3) (~ p v q) (r ^ t)
4) b v d
5) a (c v ~d)


185
81) Demostrar: r v s
1) p ~ a
2) ~ q b
3) ~ p r
4) a v ~ b
5) q r
82) Demostrar: s v t
1) (p r) (~ a v b)
2) p q
3) b s
4) q r
5) ~ a s
83) Demostrar: ~ p v q
1) (a ^ b) ~ (r ~ s)
2) t ~ s
3) r t
4) p a
5) p b
84) Demostrar: ~ p
1) (p ^ q) r
2) r s
3) q ^ ~ s
85) Demostrar: q ^ ~ r
1) r s
2) p v q
3) ~ (~ p s)
4) ~ p q


186
86) Demostrar: ~ q
1) p ~ q
2) (p ^ r) v s
3) s (t v u)
4) ~ t ^ ~ u
87) Demostrar: x 3 v y 1
1) x = 3 y 3
2) x = y ^ x y
3) x 5 v y < 3
4) x = y (x = y + 2 v x < 5)
5) x = y + 2 x < y
88) Demostrar: x = 5 v z > 5
1) x 7 z x
2) x < 6 v x = 3
3) x = 3 z > x
4) x < 6 z > x
5) x = 5 v x 7
89) Demostrar: x 0
1) x = y x = z
2) x = z x = 1
3) x = 0 x 1
4) x = y
90) Demostrar: a = 0
1) a 0 b = 1
2) a = b b = c
3) b = c b 1
4) (a = b) ^ (a < d)


187
91) Demostrar: r = 8
1) r = 10 v r < s
2) (r > 5 v t < 2) (t < r v s = 0)
3) r < s t < 2
4) s = 0 ~ (r > s v t < 2)
5) r = 10 r > 5
6) t < r r = 8
92) Demostrar: x = 3 v y < 2
1) x = y v x < y
2) (x < 3 ^ y= x + 1) y 8
3) x = 3 v y = 8
4) x y ^ y = x + 1
5) x 3 x y
93) Demostrar: y 2 ^ y > 2
1) y 2 x 2
2) x 5 v y 2
3) x = y + 3 ^ y < 4
4) (y > 2 ^ y < 4) x > 5
5) x y + 3 v x > 2
94) Demostrar: x < 6 v z > 6
1) (x < 7 ^ x = 5) (z > x v y < z)
2) (x < 6) (x = 5 ^ x < 7)
3) (x > y) ~ (y < z v z > x)
4) (x > 4) (x = 5 ^ x < 7)
5) (x > y) (x > 4)
6) (x > y) v (x < 6)
95) Demostrar: ~ (x < y ^ x = 1)
1) (x = y y = 0) x = 0
2) (x = 0 v xy = 0) y = 0
3) x = y x y
4) y = 0 x y

188
XI.- Determinar mediante Inferencia Lgica la validez de los siguientes razonamientos
aplicando el Mtodo Condicional
96) Demostrar: p ~ s
1) p (q v r)
2) q ~ p
3) s ~ r
97) Demostrar: (p ^ q) (s ^ t)
1) m (~ r v s)
2) m ^ n
3) ~ t ~ r
4) ~ r u
5) ~ r ~ q
6) f ~ p
7) u f
98) Demostrar: r ~ s
1) r (p v q)
2) p ~ r
3) s ~ q
99) Demostrar: s (p v q)
1) s t
2) r p
3) t r
100) Demostrar: r t
1) ~ s v (r t)
2) q s
3) r q


189
101) Demostrar: r ~ j
1) r m
2) j ~ n
3) l q
4) l v (m n)
5) ~ (q v t)
102) Demostrar: p q
1) (a ^ b) ~ (r ~ s)
2) t s
3) r ~ t
4) p a
5) p b
103) Demostrar: m = m ^ n
1) m = mn =
2) m + n 7 m
3) n = v m = ~ (m + n = 7 ^ mn = )
104) Demostrar: b c a 5
1) a = b a < c
2) a = 5 ~ (a < c)
3) a = 3 a < c
4) ~ (a < b) a = b
5) a = 3 v ~ (a < b)
XII.- Dar una demostracin formal y completa mediante la inferencia lgica para
demostrar la validez de los siguientes razonamientos
105) Evo acepta las autonomas departamentales o habr guerra civil.
Los bolivianos se enfrentaran si hay guerra civil.
Si los bolivianos se enfrentaran entonces Evo no acepta las autonomas departamentales.
No habr guerra civil.
Por tanto: si hay guerra civil, se derrama sangre inocente


190
106) Si dices la verdad entonces te odiaran los hombres.
Esquivaras los problemas si te odian los hombres.
Te odiaran los poderosos si te comprometes con la justicia.
Dirs la verdad o te comprometes con la justicia.
Por tanto: esquivaras los problemas o te odiaran los poderosos
107) Si la ballena es un mamfero entonces toma oxigeno del aire.
Si toma oxigeno del aire entonces no necesita branquias.
La ballena es un mamfero y habita en el ocano.
Por tanto: habita en el ocano y no necesita branquias
108) Si la enmienda no fue aprobada entonces la constitucin queda como estaba.
Si la constitucin queda como estaba entonces no podemos aadir nuevos miembros al
comit.
Podemos aadir nuevos miembros al comit o el informe se retrasara un mes.
Pero el informe no se retrasara un mes.
Por tanto: la enmienda fue aprobada
109) Ella tiene muchos amigos solamente si los respeta como individuos.
Si ella los respeta como individuos entonces no puede pretender que todos se comporten de
la misma manera.
Ella tiene muchos amigos.
Luego: ella no espera que todos se comporten de la misma manera
110) Si la victima tiene dinero en la billetera entonces el motivo del crimen no fue el robo.
El motivo del crimen fue el robo o la venganza.
La vctima tena dinero en su billetera.
Por tanto: el motivo del crimen debi ser la venganza
111) Si la asamblea constituyente beneficia a todos los bolivianos entonces vale la pena
votar.
Pero si el ejecutivo no garantiza ello, es mejor no votar.
La asamblea constituyente beneficia a todos los bolivianos o el ejecutivo no garantiza ello.
En consecuencia: vale la pena votar o es mejor no votar


191
112) Si tienes trabajo puedes ser feliz.
Si tienes trabajo y eres feliz entonces vivirs muchos aos o disfrutaras mucho de la vida.
Si vives muchos aos o disfrutas mucho de la vida entonces no tendrs una vida intil.
Si tener trabajo implica no tener una vida intil entonces eres una persona con suerte.
Por tanto: Eres una persona con suerte
113) Si se elevan los precios o los salarios, habr inflacin.
Si hay inflacin entonces el congreso debe regularla o el pueblo sufrir.
Si el pueblo sufre, los congresistas se harn impopulares.
El congreso no regulara la inflacin y los congresistas no se volvern impopulares.
En consecuencia: No subirn los salarios
114) No llora re.
Si no llora, re solo si tiene un juguete.
No ocurre que tenga un juguete rindose a menos que coma un caramelo.
Por tanto: Come un caramelo
115) Si practico cada semana y tengo aptitudes, llegare a ser ingeniero.
Si llego a ser ingeniero, diseare reactores.
Si diseo reactores y encuentro quien los financie, podre construir plantas industriales.
Encuentro quien los financie.
Por tanto: Si no voy a construir plantas industriales, entonces querr decir que no practique
cada semana o que no tengo aptitudes
116) Algn da llegaremos a las estrellas, si la propulsin fotonica funciona y la vida
humana puede ponerse en hibernacin.
Podemos establecer colonias, si llegamos a las estrellas.
Si establecemos colonias y la gente quiere emigrar, no habr problemas de sobre poblacin.
La gente quiere emigrar.
En consecuencia: Si hay problemas de sobre poblacin, entonces querr decir que la
propulsin foto nica no funciona o que la vida humana no puede ponerse en hibernacin
117) Los alumnos de la materia MAT 100 estudian o se aplazaran en el examen.
Si el docente explica bien, no necesitaran retirar la materia.
Los alumnos de la materia MAT 100 estudian entonces el docente explica bien la materia.
Si practican constantemente entonces no necesitaran retirar la materia.

192
Los alumnos de MAT 100 estudian o practican constantemente.
Se aplazaran en el examen entonces necesitaran retirar la materia.
Por lo tanto: El docente explica bien la materia
118) Estudio mucho o tendr que esforzarme para aprobar el examen.
Si estudio mucho entonces aprobare la materia.
Si apruebo la materia entonces tendr un merecido premio.
Si me esfuerzo para aprobar el examen entonces tendr un merecido premio.
Tendr un merecido premio o estar con la conciencia tranquila entonces me ir de
vacaciones.
Si estudio mucho entonces no tendr vacaciones.
Por lo tanto: tendr que esforzarme para aprobar el examen
119) O el ladrn atraves la puerta o el delito fue cometido desde adentro y uno de los
sirvientes debe estar implicado en el.
El ladrn pudo atravesar la puerta si y solo si el cerrojo fue descorrido desde dentro.
Pero uno de los sirvientes esta con seguridad implicado si el cerrojo fue descorrido desde el
interior.
Luego: Uno de los sirvientes se halla implicado en el delito
120) Si un porvenir brillante me espera entonces recibir una gran herencia o estudiare
mucho.
No recibir una gran herencia.
En consecuencia: Si no estudio mucho entonces no me espera un porvenir brillante o me es
indiferente triunfar en la vida
121) Si los alumnos de MAT 100 no estudian entonces reprobaran la materia.
Si reprueban la materia entonces las ayudantas fueron en vano.
Las ayudantas no fueron en vano o los alumnos no asistieron a clases.
Los alumnos asistieron a clases o realizaron sus prcticas.
Si realizaron sus prcticas entonces estarn preparados para el examen.
Los alumnos de MAT 100 no estudiaron.
Por lo tanto: Los alumnos de MAT 100 estn preparados para el examen
122) Los alumnos de ingeniera no estudian algebra cuando tienen que estudiar calculo.
Los docentes de algebra tienen maestras y los docentes de clculo no tienen maestras.

193
Los alumnos no estudian clculo o fsica entonces estudian qumica o dibujo.
Los docentes de clculo tienen maestras o la Universidad tendr que capacitarlos.
Los docentes de algebra tienen maestras entonces los alumnos de ingeniera estudian
algebra o la universidad no tendr que capacitarlos.
Por lo tanto: Los alumnos estudian qumica o algebra
123) Los estudiantes estarn contentos si y solo si no hay examen.
Si los estudiantes estn contentos, el profesor se sentir feliz.
Si el profesor se siente feliz, no est en condiciones de explicar.
Si no est en condiciones de explicar, habr examen.
Por lo tanto: los estudiantes no estn contentos
124) Miguel pudo haber visto la motocicleta del asesino.
Carlos fue el primer testigo de la defensa.
Miguel estaba en la fiesta o Carlos dio testimonio falso.
Nadie en la fiesta pudo haber visto la motocicleta del asesino.
Por lo tanto: El primer testigo de la defensa dio testimonio falso
125) Si Jose va a una fiesta entonces no dejara de cepillarse el cabello.
Para que Jose luzca elegante es necesario que este aseado.
Si Jose fuma cigarrillos entonces no se respeta a si mismo.
Si Jose se cepilla el cabello, lucir elegante.
Jose usa una corbata roja solamente si va a una fiesta.
No respetarse a si mismo es suficiente para que Jose no est aseado.
Por lo tanto: Si Jose usa una corbata roja, no fuma cigarrillos
126) Si no ocurre que si un objeto flota entonces es menos denso que el agua entonces se
puede caminar por encima del agua.
Pero no se puede caminar sobre el agua.
Si un objeto es menos denso que el agua, entonces puede desplazar una cantidad de agua
igual a su propio peso.
Si puede desplazar una cantidad de agua igual a su propio peso entonces el objeto flotara
en el agua.
Por lo tanto: un objeto flotara en el agua si y solo si es menos denso que el agua

194
127) Si el examen es vlido entonces el alumno Jose tendr que repetir la materia o estar
obligado a abandonar la universidad.
Si el alumno Jose tiene que repetir la materia entonces el examen no es vlido.
Si la calificacin del profesor es dudosa entonces el alumno Jose no estar obligado a
abandonar la universidad.
Por lo tanto: si el examen es vlido entonces la calificacin del profesor no es dudosa
XIII.- Expresar las siguientes proposiciones en forma simblica, negarlas y
traducirlas al lenguaje comn:
128) El cuadrado de todo nmero entero negativo es siempre positivo
129) Si todos los trabajadores son excluidos del proceso de cambio entonces ningn
empresario saldr beneficiado o algn poltico tendr grandes ganancias
130) Todo el que estudia algn da tendr su profesin y la satisfaccin de tener felicidad
131) Todos los nios en algn momento de su vida suean con ir al circo
132) Todos los docentes de la universidad en algn tiempo libre dedican horas de
enseanza a algunos estudiantes con el fin de mejorar la calidad de aprendizaje
133) Todos los nmeros enteros no son primos pero algn numero entero es par, si y solo si
algn numero entero es primo
134) Algunos estudiantes son consientes de estudiar y todos los dems se dedican a copiar
135) Todos los estudiantes deseamos salir profesionales y trabajar en alguna empresa
importante
136) Todo aquel que estudia algn da ser ejemplo de valor, capacidad y responsabilidad
137) Todas las personas que fuman alguna vez tomaron caf y por lo tanto todas tiene un
vicio


195
XIV.- Demostrar mediante reglas de cuantificadores la validez de los siguientes
razonamientos:
138) Ningn cruceo canta rancheras.
Nadie que canta rancheras es aburrido.
Por lo tanto: Ningn cruceo es aburrido
139) Cada ciudadano de santa cruz es boliviano
Todo boliviano es latinoamericano
Lourdes es de santa cruz
Por lo tanto: Lourdes es latinoamericana
140) Todo cuadrado es rectngulo
Ningn rectngulo es triangulo
Algunos cuadrilteros son cuadrados
Luego: algunos cuadrilteros no son tringulos
141) Todos los bolivianos son americanos
Ningn americano es europeo
Todos los cruceos son bolivianos
Luego: ningn cruceo es europeo
142) Ningn nmero impar es divisible por dos.
Seis es divisible por dos.
Ocho es divisible por dos.
Por lo tanto: Ni seis ni ocho son nmeros impares
143) Si todo numero es par entonces x + 2 es par.
Si todo nmero es par entonces x no es impar.
Dos es un nmero par.
Por lo tanto: 2 + 2 no es un nmero impar
144) Si cada x es mayor que cero entonces x es par o impar.
Si cada x es positivo entonces x es mayor que cero.
Cuatro es un nmero positivo.
Cuatro es un nmero impar.
Por lo tanto: Cuatro es un nmero par
145) Ninguna persona insegura tiene gusto por la psicologa.

196
A todo estudioso de la conducta le gusta la psicologa.
Por lo tanto: ningn estudioso de la conducta es persona insegura
146) Demostrar: 3+4 < 3+7
1) (x < 2+6 x < 3+7)
2) (y+4 > 2+5) v (y+4 < 2+6)
3) 3+4 2+5
147) Demostrar: 3 < 5
1) [(x < 4 ^ 4 < 5) x < 5]
2) (-4 < -y y < 4)
3) 4 < 5
4) -4 < -3
148) Demostrar: 3 3 + 4
1) [x > y y x + 3]
2) [u 3 < v 3 + v > u]
3) (3 + 3) 3 < 4
149) Demostrar: 5 < 7
1) [(x < 6 ^ 6 < 7) x < 7]
2) [- 6 < - y y < 6]
3) 6 < 7
4) 6 < - 5
150) Demostrar: 5 + 2 4 + 3
1) (x + 2 > 4 v x + 1 < 7)
2) (5 + y < 4 + 3) (5 + y 4)
3) 5 + 1 7


197
XV.- Dado los siguientes esquemas proposicionales:
a) Cuantifique Universalmente y Existencialmente respectivamente
b) Determine sus respectivos valores de verdad
c) Niegue ambas proposiciones y determine sus respectivos valores de verdad
151) P(x) =
U = Z
152) Q(x) =
= (x 2)
2
U = Z
153) R (X) =
= x
2
2x +1 U = R

154) T(x) = (x
2
> 0) U = R
155) U(x) = [(x > y) ^ (y > z) (x > z)] U = N
156) V(x) = (x + y = 4) (xy 8) U = Z
157) P(x) = (x
2
4 y) (y x
2
9) U = R
158) Q(x) =
) (2x 4 > 0) U = N
159) R(x) = (
) (x 1)] x > 0 U = N
160) S(x) = {[(x 3)
2
x] 0} (x +1)
3
0 U = R
XVI.- Determinar el valor de verdad de las siguientes proposiciones sabiendo que:
161) p= x
2
> 1 q = x
2
= -1 r = 1
{[r v (p q)] r} v (p q)
162) p = > 0 q = x
2
+x 6 = 0 r = x
2
> 0
{r [q v (~ q ^ p)]} {[p (~ r p)] v (q p)}
163) p = x
2
1 < 9 si x = {1, 2, 3, 4} q = = r = x
-1
> 0
{{p v [(q ^ p) q]} v (r p)} v [(p q) p]
164) Si x = {0, 1, 2, 3, 4}
p =
4 q = |x 1| 0 r = |x
2
4| 0
{[p v (~ q v r)] (p v r)} {q [(r v p) ^ (r v ~ p)]}
165) Si x = {-2, -1, 0, 1, 2, 3, 4, 5}
p = x
3
= x
2
q = |x|= x
2
r =
> 1


198

MAT 100
PRACTICO N2
TEMA: TEORIA DE CONJUNTOS
I.- Realizar las siguientes Operaciones Conjuntistas con sus respectivos diagramas de
venn
1.- Dados los siguientes conjuntos expresados por comprensin
U = A U B U C
A = {x N/ |x - 1| 5} B = {x N/ |x - 3| < 6} C = {x N/ |x - 6| 12}
Determinar y realizar su respectivo diagrama de Venn de las siguientes operaciones
conjuntista
a) [A (B C)] (A
C
C)
b) {(A B)
C
(C A)} U B
c) [(C B)
C
(A C)]
C
B
U = A U B U C
A = {x Z/ x
2
- 5x + 6 0} B = {x N/ |x - 1| < 9} C = {x N/ |x - 2| 4}
Determinar y realizar su respectivo diagrama de Venn de las siguientes operaciones
conjuntista
a) {[C (B C)]
C
(A
C
B)} (B C)
b) {(A B)
C
(C A)} (B A)
c) (A B
C
) U [C (B A)] U (A B C)
U = A U B U C
A = {x Z/
} B = {x Z/ (x 2) (x 3) (x + 1) 0} C = {x N/ |x - 4|
5} Determinar y realizar su respectivo diagrama de Venn de las siguientes operaciones
conjuntistas
a) {[A U (C B)]
C
(A
C
B)} (B C)
b) {(A B)
C
U (C A)} (B U A)
C


199
c) (A B
C
) U [A (B C)] U (A B C)
C

4.- Dados los siguientes conjuntos expresados por comprensin:
U = A U B U C A = {x N/ |x - 3| 5} B = {x N/ |x - 2| 4}
Se pide determinar y realizar su respectivo diagrama de Venn de las siguientes
operaciones:
a) El conjunto C por comprensin y extensin de tal forma que
[(A B
C
) C] A = {1, 2, 3, 4, 5, 6}
b) El nmero de elementos del conjunto C y su conjunto potencia
c) Determinar los elementos de la operacin {A - [(A B) U (B C)]} (A C)
5.- Dados los siguientes conjuntos expresados por extensin:
U = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} A = {1, 2, 4, 5, 7} B = {0, 2, 3, 8} C = {0, 1, 4, x, 8, 9}
operaciones:
a) El valor del parmetro x sabiendo que [(A U B)
C
(A C)
C
] A = A
b) Determinar los elementos de la operacin {[(A B) U C] (B C)} C
6.- Dados los siguientes conjuntos expresados por extensin:
U = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} A = {1, x, 4, 5, 7} B = {0, 5, x, 8} C = {0, 4, 6, x, 8, 9}
operaciones:
a) El valor del parmetro x sabiendo que:
[(A B) (B C)] (A C)
C
= {0, 3, 4, x, 6, 8, 9}
b) Demostrar que los elementos de: [B (A B)] U (A C) = A U B
c) Determinar la cantidad de elementos y el conjunto potencia de
{[A
C
(B C)] (B C)} (A B)
7.-Dados los siguientes conjuntos expresados por extensin
A = {1, 2, 4, 6, 8} B U C = {2, 4, 5, 6, 8} A C = {1, 3, 5, 6, 7} A
C
C = {0,
3, 5, 7, 11}
Se pide determinar y realizar su respectivo diagrama de venn las siguientes
operaciones

200
a) Los elementos del conjunto C y su nmero de elementos
b) Los elementos del conjunto {[(A C) B] (A B)
C
} U (B C)
A = {x N/ x
2
4 0} B
C
C = {x N/ |x - 2|< 5} C B = {x N/
|x - 6|< 8}
(A C) = {x N/ |x - 3| 2}
Se pide determinar y realizar el diagrama de venn de las siguientes operaciones:
a) Los elementos del conjunto B y su nmero de elementos
b) Los elementos del conjunto C y su nmero de elementos
c) Los elementos del conjunto [(A B) C] [(A
C
U B)
C
C] y su nmero de elementos
9.- Dados los siguientes conjuntos expresados por comprensin:
U = {x/ x es un digito numrico}
A = {x U/ 2
x
U} B = {x U / 1 x 7} C = {x U / U}
Se pide determinar y realizar su respectivo diagrama de venn de las siguientes
operaciones:
a) El nmero de elementos y los elementos de la operacin: [A (B C)
C
] (A B C)
b) El nmero de elementos y los elementos de la operacin:
[(A C) (C A)]
C
U (A B)
10) Dados los siguientes conjuntos expresados por extensin:
U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
A = {1, 3, 5, 7, 9, 10} B = {1, 2, 6, 8, 10} B C = {1, 2} B U C = {1, 2, 3, 5, 6, 7, 8,
9, 10}
operaciones:
a) El nmero de elementos del conjunto C y luego determnelo por extensin
b) El nmero de elementos de la operacin: (A B C)
C
(A B C)
11) Dados los siguientes conjuntos expresados por extensin:
U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
A = {1, 2, 3, 5, 6} B = {1, 4, 7, 8, 9} B C = {1, 2, 3, 6, 7} A C = {3, 5, 6, 8, 9}
A C = {2, 4, 6}

201
operaciones:
a) El nmero de elementos del conjunto C y luego determnelo por extensin
b) El conjunto potencia del conjunto C
c) El nmero de elementos de la operacin: {[C (A B)] U [A (B C)]}
C

d) El conjunto potencia de la operacin: {A
C
- [(B U C) B]} (A B C)
e) Los elementos de la operacin: (B
C
C
C
) U (C A) U (B C)
IV.- Determinar el diagrama de venn correspondiente a las siguientes operaciones
conjuntistas
Dadas las siguientes operaciones conjuntistas determinar su correspondiente
diagrama de Venn Euler marcando el rea correspondiente a cada operacin
28) {[A (B C)] (A B C)} U (B C)
29) [(A B) U (B C)] U (A C)
C
U (A
C
B)
30) [A c (B A)] U [A U (B C)] U (A U B U C)
C

31) [(A B C) B] U (A B C)
C
U (C B)
32) [A (B U C)] U (A B C) U (A U B U C)
C

33) [(A D) U (B C)] U (D B) U [A (B U C U D)]
34) [(B U D
C
) A] U (A B D) U (D B)
35) (A B C D) U (A D)
C
U [D (A U B U C)]
36) [A (B C)] U [B (C D)] U [C (B D)] U (D C)
C

37) [D U (B C)] U (A D) U [A
C
(B
C
U D
C
)]
V.- Aplicando leyes conjuntistas simplificar las siguientes operaciones hasta su
mnima expresin
38) [A (A B)] [B (B A)] (A U B)
39) {[A (B A)] U [B (A B)
C
]} U (A B)
40) {[(A B) U (B A)] A} [(A B) U (A B
C
)]
41) {B [A (B A)] A} [A (A B)]

202
42) [(B U A)
C
(A B)] [(B A) U B] (A B)
C

43) {[(A B
C
) U (A B) U (A A
C
)] (A U B)} A
C

44) {[A (B U C)] [(B U C) A]} U [C (A U C)]
45) {[(A C) A] U B} [(A U B U C) (B A)]
46) {[A U (B C)] U B}
C
[(B C)
C
U (C B)] (A B)
47) {[A U (B A)] U [C (B U C)]} {[A (B A)] (A B)}
48) {[A (A B)] (B A)} {[C (C U A)] (A B)]} [C (A B)]
49) {[A (B A)] U [B (A B)] U [C (C U A)]} {[A (A B)] B}
VI.- Mediante propiedades conjuntistas demostrar la igualdad de las siguientes
operaciones
50) (A U B) (A B) = A B
51) B [A (A B)] = B A
52) (A B) U (B A) = (A U B) (A B)
53) [A (B A)] (A B) =
54) [(A U B
C
) (B A)]
C
U [(A B)
C
(B A)] = B
C

55) {[(A B
C
) U (B
C
A)] B} U {B - [(A B) U (A U B)
C
]} = A
C

56) (A B) (B C) = (A C) B
57) [A (A B)] B =
58) {[A (B U A)] [C (B U C)]} U (A C) = A C
59) {[B (A B)
C
] C} (C
C
U B) = B [(A
C
C) U (A C)]
60) [B (B A)] [A (A B)] B
C
= B
C

VII.- Aplicando la definicin de conjuntos determinar la veracidad o falsedad de las
siguientes operaciones conjuntista
61) (A B = B A) A = B
62) (A c B) (A B = A)
63) (A c ) (A = )
64) (A B = ) (A = B)
65) [(A c B) ^ (D c B)] [(A D) c B]

203
66) [(A B = ) ^ (A U B = C)] (A = C B)
67) (A c B) (A U B = B)
68) (A c B) [(A U C) c (B U C)]
69) [(A B) C] c [A (B C)]
70) (A c B) (B
C
c A
C
)
71) (A c B c C) (A c C)
72) [(A = B) ^ (B = C)] (A = C)
VIII.- Realizar y graficar en una recta real las siguientes operaciones de intervalos de
conjuntos
Dados los siguientes conjuntos determinar mediante intervalos de conjunto la solucin
de las siguientes operaciones conjuntista
73) U = R A = {x R/ |x 2| 6} B = {x R/ |x 6| 8} C = {x R/ |x 4|> 9}
a) [A (B U A)] (C A)
C

b) [(A B) U (B C)] (A U C)
C

74) U = R A = {x R/
} B = {x R/ |x 2| 5 C = {x R/ x
2
+ x 6 0}
a) [(A B) B] (C A)
C

b) [(A U B) (C A
C
)] (B U A)
C

75) U = R
A = {x R/ |x 6|< 10} B = {x R/ (x 2)(x + 3) (x 4) 0} C = {x R/ |x 1| 7}
a) {A [(B C) U A]} [C U (A B)]
C

b) [A (A B)] [(C U A) B
C
]
76) U = R
A = {x R/ x
2
+ x 12 < 0} B = {x R/
} C = {x R/ |x 3| 4}
a) {[B (A B)
C
] C} (C
C
U B)
b) [B (B C)] [C (A B)] B
C

77) U = R A = {x R/ |x 2| 6} B = {x R/ |x 6| 8} Determinar el conjunto C
para que:
a) [A (B U A)] (C A)
C
= [- 1; 15]
b) {[B (A B)
C
] C} (C
C
U B) = [- 6; 0] U [2; 10]

204
78) U = R A = {x R/
} B = {x R/ |x 4| 5}
Determinar el conjunto C para que:
a) [(A U B) (C A
C
)] (B U A)
C
= ]- ; -1[ U [5; +[
b) [A (A B)] [(C U A) B
C
] = {}
79) U = R A = {x R/ |x 6|< 1} C = {x R/ |x 1| 7}
Determinar el conjunto B para que:
a) (A B) (B C) = [1 ; 6] U [7 ; 10] - {15}
b) [A (A B)] B = {}
c) {[A (B U A)] [C (B U C)]} U (A C) =]-2; 5[ U [9; +[
IX.- Aplicaciones de los conjuntos (nmero de elementos)
80) Se ha realizado una encuesta entre 200 estudiantes de la facultad de Ciencias Exactas y
Tecnologa sobre su preferencia por las materias de Algebra y Calculo en la cual se
obtuvieron los siguientes resultados: 50 estudiantes prefieren exclusivamente la materia de
Algebra y 20 solo la materia de Calculo, con esta informacin se pide determinar Cuntos
estudiantes prefieren ambas materias?
81) Se sabe que la cantidad de elementos del conjunto A es igual (x 2)
2
elementos y la
cantidad de elementos del conjunto B es igual a (x 3)
3
elementos, si el Universo est
formado por (x + 4)
3
elementos con esta informacin se pide determinar:
a) La cantidad de elementos de (A B)
C
?
b) La cantidad de elementos de (A B)?
c) La cantidad de elementos de (A U B)
C
?
82) De un grupo de 70 estudiantes que realizan un trabajo practico de algebra utilizando 3
mtodos diferentes, se sabe que todos utilizan el primer mtodo, 29 utilizan el segundo
mtodo, 40 utilizan el tercer mtodo, 11 estudiantes emplean los 3 mtodos, con esta
informacin se pide determinar Cuntos estudiantes utilizan solamente el primer mtodo?
83) En un concurso de Matematicas que constaba de 3 preguntas en la que participaron 240
estudiantes se determino que: 80 respondieron la primer pregunta, 82 respondieron la
segunda pregunta, 90 respondieron la tercer pregunta, adems se determino que 14
respondieron la segunda y tercer pregunta, 24 la primer y segunda pregunta, 30 la primer y

205
tercer pregunta, con esta informacin se desea determinar Cuntos estudiantes fueron
capaces de responder las tres preguntas del concurso?
84) De un grupo de 70 estudiantes postulantes a la universidad se determino que: 22
aprobaron para estudiar alguna carrera de ciencias exactas y tecnologa, 30 aprobaron para
estudiar alguna carrera de ciencias financieras, 34 aprobaron para estudiar alguna carrera de
ciencias jurdicas, tambin se determino que 3 estudiantes aprobaron para estudiar alguna
carrera de ciencias exactas y ciencias financieras pero no de ciencias jurdicas, 4 estudiantes
aprobaron para estudiar alguna carrera de ciencias exactas y ciencias jurdicas pero no de
ciencias financieras, si 5 estudiantes tienen la condicin de estudiar alguna carrera de las
tres facultades, se pide determinar:
a) Cuntos estudiantes pueden estudiar solo alguna carrera de Ciencias Exactas?
b) Cuntos estudiantes no pueden estudiar ninguna de estas carreras?
c) Cuntos estudiantes pueden estudiar en dos de estas facultades?
85) En una encuesta acerca de la asistencia a clases en las materias de algebra, calculo y
qumica de la universidad Autnoma Gabriel Ren Moreno, se obtuvieron los siguientes
resultados: 60% asisten a las clases de algebra, 50% asisten a las clases de clculo, 50%
asisten a las clases de qumica, 30% asisten a las clases de algebra y calculo, 20% asiste a
las clases de clculo y qumica, 30% asiste a las clases de algebra y qumica y 10% asisten
a las clases de las 3 materias, con esta informacin se pide determinar:
a) Qu porcentaje de estudiantes asiste a las clases de algebra y calculo pero no a la de
qumica?
b) Qu porcentaje asiste exactamente a dos de estas materias?
c) Qu porcentaje no asiste a ninguna de estas materias?
86) La Universidad Autnoma Gabriel Ren Moreno est organizando las Olimpiadas de
Matematicas en las materias de matemtica, fsica y qumica, hay 870 estudiantes en la
universidad que van a participar de estas olimpiadas de los cuales se sabe que: 400 van a
participar en matematicas, 390 en fsica, 480 en qumica, 680 van a participar en
matematicas o fsica, 210 han sido desclasificados y no podrn participar en ninguna
materia, 90 van a participar en las dos primeras materias pero no en la tercera, 190 solo van
a participar en qumica, con esta informacin se pide determinar:
a) Cuntos estudiantes participaran en las tres materias?

206
b) Cuntos estudiantes pueden participar por lo menos en dos de las materias?
c) Cuntos estudiantes pueden al menos participar en una de las materias?
87) Para estudiar la calidad de enseanza de los docentes en la Universidad Autnoma
Gabriel Ren Moreno se consideran tres tipos de defectos, A, B y C como los ms
importantes, de un grupo de 120 docentes elegidos al azar se obtuvo que: 49 tienen el
defecto A, 48 tienen el defecto B, 49 tienen el defecto C, 61 de los docentes tiene
exactamente un solo tipo de defecto, 7 docentes tiene los tres tipos de defectos y el resto de
los docentes no presenta ningn tipo de defecto, con esta informacin se pide determinar:
a) Cuntos docentes tienen dos tipos de defectos?
b) Cuntos docentes no tienen ninguno de estos defectos?
88) En una encuesta realizada a 100 estudiantes para conocer su opinion sobre la calidad de
la Universidad se obtuvieron los siguientes resultados: 42 la calificaron de excelente, 48 la
calificaron de muy buena, 41 la calificaron de regular, 15 estudiantes estaban en duda entre
excelente y muy buena, 17 estaban en duda entre excelente y regular, 18 estaban en duda
entre muy buena y regular, si 10 estudiantes afirmaron que aun la calidad de la Universidad
tiene las 3 virtudes, se pide determinar con esta informacin Qu cantidad de estudiantes
entrevistados no omiti su opinin sobre la calidad de la Universidad?
89) Un auxiliar de docencia recibe la orden del docente de fotocopiar 57 exmenes que
estaban clasificados por tipo A, B y C y que adems algunas preguntas de los exmenes
estaban mezcladas si se sabe que: 22 exmenes eran tipo A, 29 exmenes eran tipo B, 25
exmenes eran tipo C y que de estos 10 solo eran tipo A y 15 solo eran tipo B, 7 eran
solamente del tipo A y B, adems 3 exmenes tenan preguntas mezcladas de los tres tipos,
con esta informacin se pide determinar:
a) Cuntos exmenes son del tipo B y C solamente?
b) Cuntos exmenes son solamente del tipo C?
c) Cuantos exmenes son del tipo A o B pero no del tipo C?
90) En la universidad se otorgo premios por su desempeo acadmico a 34 estudiantes de
los cuales 14 recibieron premios en algebra, 13 recibieron premios en clculo, 21 recibieron
premios en fsica, si se sabe adems que 3 estudiantes recibieron premios en las tres
materias mencionadas, se pide determinar con esta informacin:
a) Cuntos estudiantes recibieron premios exactamente en una sola materia?

207
b) Cuntos estudiantes recibieron premios exactamente en dos de estas materias?
91) En una encuesta realizada a 180 estudiantes de ingeniera de la facultad de Ciencias
Exactas y Tecnologa se determino que: 62 realizan sus prcticos, 125 asisten a clases, 144
copian en sus exmenes, 106 copian en sus exmenes y asisten a clases, 22 estudiantes
realizan sus prcticas y no asisten a clases, 13 realizan sus prcticas y no copian en sus
exmenes, 15 realizan sus prcticas y copian en sus exmenes pero no asisten a clases, con
esta informacin se pide determinar:
a) Cuntos estudiantes no realizan ninguna de estas actividades en la Universidad?
b) Cuntos estudiantes realizan las tres actividades?
c) Cuntos estudiantes copian en sus exmenes o realizan su practicas pero no asisten a
clases?
92) A 33 estudiantes que hicieron sus prcticas para ser ingenieros, se les dio la
oportunidad de visitar una industria, una fabrica y un campo petrolero si se sabe que: 15
visitaron la industria, 16 visitaron la fabrica, 16 fueron al campo petrolero, se sabe adems
que 5 fueron a la industria y al campo petrolero, 5 fueron a la fabrica y al campo petrolero,
3 fueron a los tres lugares, con esta informacin se pide determinar:
a) Cuntos visitaron nicamente la industria?
b) Cuntos visitaron la fabrica o el campo petrolero pero no la industria?
c) Cuntos visitaron la industria y el campo petrolero pero no la fabrica?
93) Un ingeniero que dirige la construccin de un modulo de la Universidad distribuye al
personal de la siguiente manera, 43 trabajan en la planta baja, 58 en el segundo piso, 16 en
la planta baja y primer piso, 22 en la planta baja y segundo piso, 7 trabajan en los 3 lugares,
si se sabe que 52 trabajan en uno de estos pisos y 37 en dos pisos a la vez pero no en los
tres, se pide determinar:
a) Cuntos trabajan en la planta baja y primer piso pero no en el segundo piso?
b) Cuntos trabajan en el primer o segundo piso pero no en la planta baja?
c) Cuntos trabajadores en total contrato dicho ingeniero para la construccin del modulo?
94) En una encuesta realizada a 200 estudiantes acerca de que materia iban a inscribir en el
semestre se obtuvieron los siguientes resultados: 126 van a inscribir la materia C, 124 no
van a inscribir la materia A, 36 estudiantes no van a inscribir la materia A y B, 170
estudiantes dijeron que por lo menos una de esas materias van a inscribir, 60 estudiantes

208
van a inscribir la materia A y C, 40 van a inscribir las tres materias, 56 estudiantes no van a
inscribir la materia B, con esta informacin se pide determinar:
a) Cuntos estudiantes van a inscribir solo la materia B?
b) Cuntos estudiantes van a inscribir la materia A y B?
c) Cuntos estudiantes van a inscribir solo las materias A y C?
95) En la Ciudad Universitaria se realizo una encuesta y se concluyo que de 150
estudiantes, 100 en su tiempo libre leen libros en la biblioteca o estn en el comedor
universitario o jugando cartas, 66 estn jugando cartas, 50 estn en el comedor
universitario, 50 estn leyendo un libro en la biblioteca, 27 estn jugando cartas y estn en
el comedor universitario, 30 estn jugando cartas y estn en la biblioteca, 21 estn en la
biblioteca y estn comiendo algo del comedor universitario, con esta informacin se pide
determinar:
a) Cuntos estudiantes pueden hacer las tres cosas a la vez?
b) Cuntos estudiantes hacen dos de estas actividades?
c) Cuntos estudiantes estn solo jugando cartas?
d) Cuntos no realizan ninguna de estas actividades?
96) Se efectu una entrevista a 885 madres de diversos estudiantes de la Universidad y se
encontr la siguiente informacin acerca del rendimiento de sus hijos en la universidad:
600 madres dijeron que estaban muy satisfechas con el rendimiento de sus hijos, 400
madres dijeron que estaban conforme con los resultados, 620 madres dijeron estar
desilusionadas con el rendimiento de sus hijos, 195 madres a la hora de responder la
consulta dudaron entre estar muy satisfechas y estar conformes, 190 dudaron entre estar
conformes y desilusionadas, 400 dudaron entre estar muy satisfechas y desilusionadas con
sus hijos, con esta informacin proporcionada se pide determinar:
a) Cuntas madres dijeron estar solamente conformes con el rendimiento de sus hijos?
b) Cuntas madres dijeron estar solamente desilusionadas con sus hijos?
97) Se realizo una encuesta a una delegacin deportiva de estudiantes de la Universidad
formada por 250 estudiantes de la facultad de Tecnologa sobre su aficin respecto al
teatro, la danza y el estudio se determino lo siguiente: 125 prefieren el teatro, 180 prefieren
la danza, 65 prefieren el estudio, 100 prefieren el teatro y la danza, 25 teatro y el estudio, 40

209
la danza y el estudio, 20 estudiantes se inclinaban por las tres alternativas, se pide
determinar:
a) Cuntos estudiantes tienen al menos una de estas tres preferencias?
b) Cuntos estudiantes no tienen ninguna de estas tres preferencias?
c) Cuntos estudiantes tiene cuando mucho una de estas tres preferencias?
d) Cuntos estudiantes tiene cuando menos dos de estas preferencias?
98) En un estudio realizado a 1000 estudiantes de la universidad Autnoma Gabriel Ren
Moreno sobre los motivos de su inasistencia a clases, se determino los siguientes
resultados: 400 faltaban a clases porque el docente tambin incumpla con la asistencia, 500
asumieron que no tenan voluntad de asistir a clases y 600 determinaron que el motivo de
su inasistencia era la falta de pedagoga del docente, adems se concluyo tambin que en
total 500 alumnos se faltaban a clases por dos de estos motivos mencionados anteriormente,
se pide determinar de dicho estudio Qu cantidad de estudiantes respondieron que se
faltaban a clases por los tres motivos?
99) Un docente de la materia de Algebra 1 realiza un sondeo a sus estudiantes en el aula y
les consulta como les haba ido en el primer parcial de la materia, las respuestas que obtuvo
de sus estudiantes fueron las siguientes: 75 haban respondido 3 de las 5 preguntas, 60
haban respondido 2 de las 5 preguntas, adems se supo tambin que 35 haban respondido
entre 2 y 3 preguntas de las 5 del examen, 25 entre 1 y 2 preguntas de las 5 del examen, 20
entre 1 y 3 preguntas de las 5 que haban en el examen y por ultimo 10 estudiantes se
animaron a decir que haban respondido 3 preguntas en el examen, si el docente sabe que la
cantidad total de sus alumnos es de 150 estudiantes, se pide determinar de este anlisis:
Cuantos estudiantes respondieron 1 pregunta de las 5 que haba en el examen?
100) En una encuesta Realizada a 200 estudiantes, se determino que: 100 asisten a la
biblioteca para estudiar, 100 asisten a la clase para estudiar, si adems se sabe que 50
asisten a ayudantas y a la biblioteca para estudiar y 50 asisten a la biblioteca y a la clase
para estudiar, se pide determinar Cuntos estudiantes asisten a la ayudanta para estudiar?


210

PRACTICO 1
AYUDANTIA DE MAT 100

1. - Sea la Relacin
R = {(x, y) / Y = x + 1 con x R ^ y R}
Analice si R es funcin y grafquela
2.- Dado el Conjunto A = {0, 1, 2, 3,4} y la relacin
R = {(x, y) / | x 2 | = | y 2 |} c A x A
a) Definir R por extensin
b) Clasificar la Relacin
c) Graficar la Relacin
3.- Sea R: A A una Relacin donde:
R = {(x, y) / | x y | 4} c A x A siendo A = {0, 1, -1, 2, -2}
Analizar si R es de Equivalencia
4.- Sea A = {x, y, z, t}
Hallar una Relacin de R: A A que tenga como mnimo 5 pares ordenados y que sea
Simtrica y Transitiva pero no Reflexiva.
5.- Sean los Conjuntos:
A = {1, 2, 3,4} y B = {3, 4,5}
Se define R = {(x, y) / x + y = 6} c A x B Determinar:
a) R por Extensin
b) Dr; DIr; Grafica
c) R
-1
por Extensin

211
d) Dr
-1
; DIr
-1
y grafica
6.- Sean los conjuntos y la Relacin
A = {x N / 1 < x 5}
B = {x Z / x
3
3x
2
+ 2x = 0}
R = {(x, y) / x + y es divisible por 3} c A x B
Determine R y R
-1
por Extensin y grafique ambas Relaciones

PRACTICO 2

1.- Sean los conjuntos:
A = {-2,-1, 0, 1,2}
B = {2, 3, 4,5}
C = {-1, 1, 3, 5,7}
R = {(x, y) / Y = x
2
+ 2} c A x B
S = {(y, z) / Z = 2y - 3} c B x C
a) Determinar R y S por Extensin
b) S o R
c) R
-1
y S
-1

d) (S o R)
-1

e) R
-1
o S
-1

2.- Sean los Conjuntos
A = {1, 2,3}
B = {1, 2, 3,4}
C = {3, 4, 5,6}
R = {(x, y) / x < y} c A x B
S = {(y, z) / z = 2y} c B x C
Determinar:
a) R o S
b) R
-1
U S
-1

c) R S

212
2
n
3.- Sean los Conjuntos:
A = {0, 1, 2,3}
B = {-1, 2,4}
C = {0, 3, 5,7}
Se definen las relaciones R c A x B y S c B x C mediante:
R = {(x, y) / y = 2x}
S = {(x, y) / z = y +1}
a) Determinar R y S por Extensin
b) Definir la Composicin S o R
c) Determinar el Dominio e Imagen de las tres Relaciones
PRACTICO 3

a) P (n) =
3 * 2 * 1
1
+
4 * 3 * 2
1
+.................+ =
) 2 )( 1 ( 4
) 3 (
+ +
+
n n
n n

b) P (n) =
5 * 2
1
+
8 * 5
1
+
11 * 8
1
+.................+
) 2 3 )( 1 3 (
1
+ n n
=
c) P (n) = 1
3
+ 2
3
+ 3
3
+... + n
3
=
4
) 1 (
2 2
+ n n

d) P (n) = 2 + 6 + 10 + 14 +......................... + (4n -2) = 2n
2

e) P (n) = a + (a + d) + (a +2d) +.................... + [a + (n-1) d] = [2a+ (n-1) d]
f) P (n) = 1 + 2 + 4 + 8 + 16 +......................... + 2
n-1
= 2
n
1
g) P (n) = 1
2
+ 2
2
+ 3
2
+.................................+ n
2
=
6
) 1 2 )( 1 ( + + n n n

h) P (n) =
2 * 1
1
+
3 * 2
1
+
4 * 3
1
+..+
) 1 (
1
+ n n
=
1 + n
n

) 2 )( 1 (
1
+ + n n n
) 4 6 ( + n
n

213
2
1
2
x +

PRACTICO 4

1.- Dada la siguiente relacin
R= {(x y) / y = x
2
+2x+3 ^ x [23] y [1118]}
Demostrar analticamente que R es una funcin, analizar sus propiedades
2.- Sean las funciones

F(x) =

(g o f) (x) =
1
3
+
+
x
x

Hallar g (x)
3.- Dada la siguiente relacin:
R= {(x y) / y = ^ x ] - 0] ^ y [- 2 0 [}
Demostrar analticamente que es una funcin y sus propiedades
4.- Sean las funciones g(x) y f(x); ambas biyectivas, si:
f(x) =
1
2
+
x
x
y (g o f) (x) =
2
3
+
x
x
hallar g(x)
5.- Sea:
R = {(x y) / y =
1 2
1
+ x
con x [1 [; y ] 01/3]
2 + x
x

214
Analice si R es funcin, averige si es inyectiva
6.- Sea f: RR una funcin biyectiva
f(x) = 2x-3
Determine (f o f
-1
) (x)
7.- Dada la relacin:
R= {(x y) / y =
3
1 + x con x R ^ y R}
Analice si es funcin y grafquela
8.- Sean f ^ g dos funciones
f(x) = x +
x
1
Determine: (f + g) (x) y D(f + g)(x)
g(x) =
3 / 2
) 1 (
1
x

PRACTICO 5

Determine analticamente cuales de las siguientes relaciones son funciones y las que
sean funciones determinar si son biyectivas
1.- y = x R R+
2.- y = x [0,4] [0,2]
3.- y =
2
9 x [0;3][0;3]
4.- y =
2
1
1
x +
R ]0;1]
5.- y =
2 3
1
+ x
[0;+[]0;1/2]

6.- y = x [0;2][0;2]
7.- x + y = 1 [0;1][-1;1]


215


216


217

.


218

Algebra

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Algebra

Încărcat de

Drepturi de autor:

Formate disponibile

UNI VERSI DAD AUTONOMA GABRI EL RENE MORENO

MAT-100 ALGEBRA 1 SEMESTRE: 1/2012

S-ar putea să vă placă și