PROBLEMAS

MÁXIMOS Y MÍNIMOS

A. CERTEZAS
1) En un cajón se tiene guantes de Box; 3 pares rojos, 4 pares negros ¿Cuántos guantes
se deben extraer al azar como mínimo para tener la certeza de obtener un par utilizable
de color negro?
Solución
Rojo Negro
3 Der. 3 Izq. 4 Der. 4 Izq.

3 3 4 1= 11

Se extraerá como mínimo 11 guantes

2) Se tienen 5 fichas blancas, 3 azules y 4 verdes ¿Cuántas fichas como mínimo se

extraerá al azar para tener la seguridad o la certeza de haber extraído y ficha blanca?
Solución
(Suponemos cual es la cantidad máxima)
5 Blancas 4 verdes 3 azules

1 4 3 = 8
1+ 4+3=8

3) Se tiene 6 fichas rojas, 8 azules y 10 verdes ¿cuál es el mínimo número que se debe
extraer para tener la certeza de haber extraído:
a. Un color completo
b. Una ficha verde
c. Tres fichas del mismo color
Solución
a) 6 rojas 8 azules 10 verdes

5 7 9 + 1 = 22
5 + 7 + 9 + 1 = 22
Se extraerá como mínimo 22 fichas de color completo

b) 6 rojas 8 azules 10 verdes

6 8 1 = 15
6 + 8 +1 = 15
Se extraerá como mínimo 15 fichas de color verde
c) 6 rojas 8 azules 10 verdes

2 2 2 + 1 = 7
2+2+2+1=7
Se extraerá como mínimo 7 veces 3 fichas del mismo color

Propuestos
1) Si tiene 52 cartas (13 de cada palo)calcular cuantas cartas se deberán extraer como
mínimo para tener la seguridad de haber extraído:
a) 7 diamantes
b) 9 tréboles
Resp: a) 48, b) 46

2) Dentro de una caja cerrada tenemos 3 bolitas blancas y 4 bolitas negras a) Cuantas
bolitas como mínimo, se deberán extraer para tener la certeza de haber elegido una
bolita negras? b) Cuantas bolitas como mínimo se deberán extraer para tener la
seguridad de haber elegido una bolita blanca? Resp: a) 4 b) 5

3) Una urna contiene 20 pares de guantes rojos 10 pares de guantes blancos, se van
extrayendo uno a uno sin suponer ¿Cuantas extracciones se tendrá la certeza de tener
un par utilizable del mismo color? Resp: 31

4) En una urna se tiene las siguientes esferas: 9 amarillos, 12 turquesas, 6 blancos

a) Cuantas esferas como mínimo se puede extraer 3 esferas turquesa?
b) Una esfera de cada color?
c) Un color completo?
Resp: a) 25 ; b) 29 ; c) 31

5) Una urna contiene 13 bolas negras, 12 rojas, 7 blancas; la menor cantidad de bolas
que se deben sacar para obtener con seguridad un color completo
Resp: 30 bolas

RELACIONES FAMILIARES

Resueltos
1) En una reunión se encuentra 2 padres y 2 hijos y 1 nieto. ¿Cuántas personas como
mínimo se encuentra en dicha reunión?
Solución:
(1) (2) (3)
Abuelo Hijo Nieto
(Padre) (Padre) (Hijo)
(2) (3) (2)
(Hijo 1) Nieto (1)

Número de personas como mínimo es 3

2) En una familia hay 2 esposos, 2 hermanos y 2 sobrinas y 2 hermanas ¿Cuantas
personas como mínimo conforman dicha familia?
Solución:
Hermanos

Pers. A Pers. B Pers. C

Pers. D Pers. E

(Pers. = Persona)
El número mínimo de personas es 5

3) En una reunión familiar se encuentran 3 hermanos; 3padres, 3 tíos, 3 sobrinos, 3

primos. ¿Cuál es el mínimo de personas reunidas?
Solución:

Persona Persona (D hijo de A

A B sobrino de B y C)

Persona Persona (D hijo de B

B B sobrino de A y C)

Persona Persona (D hijo de F

A B sobrino de A y B)

(A, B y C (D, E y F
Tíos) Primos)

El mínimo de persona es 6

Propuestos
1) Una familia está compuesta de: 2 esposos, 2 hermanos, 3 sobrinos, 2 sobrinas. ¿Cuál
es el número mínimo de personas que la conforman?.Respuesta: 8

2) Los esposos Smith tienen 3 hijos (varones), cada hijo tienen una hermana y cada
hermano tienen 3 sobrinos. Respuesta: 9
3) Una familia está compuesta por 4 hermanos, 4 tíos, 2 padres, 2 madres, 3 sobrinos, 2
sobrinas y 5 primos. Respuesta: 11

4) En una reunión hay 3 hermanos, 3 tíos, 3 sobrinos, 3 hijos y 3 padres. ¿Cuál es el

mínimo número de personas que puede haber en una reunión?
Respuesta: El mínimo número es 6
5) Dos padres y 3 hijos comieron 1 manzana cada uno. ¿Cuántas manzanas al menos
comieron todos ellos?.Respuesta: comieron 4 manzanas.

ARREGLOS NUMÉRICOS
Resueltos
1) En la figura colocar en las casillas cuadradas los números 1 o -1 para el producto de
los 3 números escritos en las casillas que están ubicados en un segmento o en la
circunferencia sea siempre igual a 1. Halle el mínimo valor de la suma de los números
están ubicados en las casillas.

-1

1 1

-1

-1 1 -1

-4
2) En el cuadro adjunto deben figurar los números enteros del 0 a 10, uno en cada
casilla. Completa las que faltan de modo de modo que 2 números consecutivos no deben
escribirse en casillas contiguas. Hallar el valor de a+b

Solución
0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10

6 3 1
4 8 10 7 9
0 5 2

a+b = 19

3) En la figura. Los números del 1 a 7, para conseguir. Que la suma de cada fila sea 12,
dar como respuesta el número central.
 1 2

5 4 3

1 2 3 4 5 6 7 = 28
6 7 4

Propuestos
1) Determine de cuantas formas se puede colocar los números 1,1 2,2 3 y 3 (un numero
en cada casilla) en las 6 casillas de la figura de tal manera que entre los dos números 1
haya exactamente un numero; entre los dos números 2 haya exactamente dos números y
entre los dos números 3 haya exactamente los 3 números.
Respuesta: Como mínimo 2 formas

2) Miguel coloco 4 dados normales sobre una mesa no transparente como muestra la
figura. ¿Cuánto puntos en total no son visibles para Miguel?

Respuesta: 24

3) Completa el cuadrado de la figura escribiendo un número entero en las casillas sin

número entero en las casillas sin número de modo que la suma de los 3 números forman
filas columnas y diagonales sea la misma. Halle x+y

x 45
25 30
y 10

Respuesta: 10

4) Hallar el valor de x, como mínimo

8 5 6 1068 12 10 x

Respuesta 4
5) En la gráfica adjunta escriba en cada círculo del 1-7 sus repetidos de modo que la
suma de los 4 números escritos en fila o columna formada por cuatro círculos sea la
misma. Halle el valor de x
X X
+
2

2x-1

Respuesta 4 x-1

1. LÓGICA PROPOSICIONAL
En esta sección estudiaremos una parte de la lógica simbólica, matemática o moderna,
conocida como la lógica de enunciados o de proposiciones que estudia los juicios, las
relaciones entre juicios y los razonamientos, los cuales son significados con el uso de un
lenguaje simbólico a partir del análisis de las formas como se expresan dichos
elementos del pensamiento: las proposiciones, sus relaciones y los argumentos o los
silogismos, pero sólo en el caso de que los enunciados puedan ser representados
simbólicamente de forma completa sin atender sus componentes (los términos de los
que consta cada proposición: sujeto, cópula y predicado) para determinar la validez o
invalidez del raciocinio [1].

1.1 Proposiciones.

Una proposición es cualquier afirmación que sea verdadera o falsa, pero no ambas cosas
a la vez.

Ejemplo 1.1 Las siguientes afirmaciones son proposiciones.

i) Machu Picchu, es una de las siete maravillas del mundo moderno
ii) Mario Vargas Llosa gano el Premio Nobel de Literatura el 2010
iii) Facebook es una de las redes sociales más populares en todo el mundo
iv) Todas las personas tienen celulares digitales
v) 6  8  2

Ejemplo 1.2 Las siguientes no son proposiciones.

i) x  y  7
ii) x  4
iii) ¿Cómo estás?
iv) La lluvia
v) “Haz los ejercicios de lógica”

Solución

En efecto, (i ) es una afirmación pero no es una proposición ya que para que sea
verdadera o falsa depende de los valores que tome x e y, de igual manera (ii) su valor de
verdad depende de los valores que tome x, el ejemplo (iii) no es una afirmación, por lo
tanto no es proposición, el ejemplo (iv) no es una proposición, puesto que no es ni
siquiera una frase completa por último el ejemplo (v) es una orden, no se le puede
asignar ningún valor de verdad no es una proposición

Las proposiciones se representan con letras minúsculas, p, q, r . . . , se llaman simples

cuando no presentan términos de enlace (y, o, no, si...entonces..., si y sólo si), son
compuestas cuando se juntan varias proposiciones simples con un término de enlace.

Ejemplo 1.3 Las siguientes son proposiciones compuestas.

i) 4 es un numero par o múltiplo de 2

ii) Si las lluvias continúan entonces seguirá la suspensión de clases en los colegios
iii) Hace frio y está lloviendo
iv) Agar.io es un juego online de fácil acceso y contiene tres entidades: pellets,
las células y los virus

1.2 Valor de Verdad

El valor de verdad de una proposición es su veracidad o falsedad. El valor de verdad de

una proposición verdadera es verdad (V o en equivalencia binaria 1) y el de una
proposición falsa es falso (F o en equivalencia binaria 0).

Ejemplo 1.4 Determine el valor de verdad de proposiciones siguientes

i) p: El presidente del consejo de ministros es Fernando Zavala Lombardi
ii) q: Todos los meses tiene 30 días
iii) r: FBC Melgar de Arequipa Perú venció 1-0 a Emelec de Ecuador por la primera
fecha del Grupo 3 de la Copa Libertadores de América 2016

Solución
En efecto: p es una proposición verdadera, es decir su valor de verdad es Verdadero, q
es una proposición falsa, es decir su valor de verdad es Falso; r es una proposición falsa,
es decir su valor de verdad es Falso

1.3 Conectivos Lógicos

Son símbolos que unen dos o más proposiciones simples para formar una proposición
compuesta y simplifican el manejo de la lógica.
Principales conectores lógicos

CONECTIVO SÍMBOLO TIPO DE

PROPOSICIÓN
no … Negación
…y…  Conjunción
…o…  Disyunción
Si …entonces …  Condicional
.. si y sólo si …  Bicondicional
O …o …  Disyunción exclusiva

Ejemplo 1.5 Simboliza las proposiciones siguientes

i) Llueve y hace mucho frio
ii) Si x es un cuadrado, entonces no es un triángulo y tiene 4 lados
iii) Si no resuelves este ejercicio entonces es falso que hayas estudiado y te guste
matemáticas
iv) No es el caso que si 2  5  7 entonces 5  6

Solución

i) 
Llueve
 y hace mucho frio , simbolizando: p  q

p  q
ii) Si x es un cuadrado entonces
 no es un triangulo y tiene 4 lados ,
      
p  q  r
simbolizando: p  q  r
iii) Si no
 resuelves este ejercicio entonces
 es falso que hayas estudiado y te guste matematica s
        
negacion p  q  r
simbolizando: p  (q  r)
iv) No es el caso que si 2
7 entonces 5
5  6,
  
negacion p  q
simbolizando:  ( p  q)

1.4 Cuantificadores

Se utilizan para indicar cantidad en una proposición, los más utilizados son:
cuantificador universal designados por las palabras: todo, cada uno, todos y ninguno,
mientras que las palabras hay, existe y la frase al menos uno se conocen como
cuantificadores existenciales.

Negación de proposiciones con cuantificadores

Proposición Negación

Todos cumplen Algunos no cumplen (No todos cumplen)

Algunos cumplen Ninguno cumple (Todos no cumplen)

Ejemplo 1.6 Escriba la negación de cada proposición

i) Algunos estudiantes de Ingeniería de Sistemas aprobaron el curso de Calculo en

una Variable
ii) Algunos estudiantes de Ingeniería de Sistemas no aprobaron el curso de Calculo
en una Variable
iii) Ningún estudiantes de Ingeniería de Sistemas aprobó el curso de Calculo en una
Variable

Solución
i) Ningún estudiante de Ingeniería de Sistemas aprobó el curso de Calculo en una
Variable
 ii) Todos los estudiantes de Ingeniería de Sistemas aprobaron el curso de Calculo en
una Variable
iii) Algunos estudiantes de Ingeniería de Sistemas aprobaron el curso de Calculo en
una Variable

1.5 Tablas de verdad y proposiciones equivalentes

1.6
Presentamos las tablas de verdad de las proposiciones compuestas

Conjunción: “p y q” Disyunción: “p o q”(disyunción

inclusiva)
p q p  q
V V V p q p  q
V F F V V V
F V F V F V
F F F F V V
F F F

Disyunción exclusiva: “ p Condicional: “ Si p, entonces q”

o q pero no ambos, O p o
q” p q p  q
V V V
p q p  q V F F
V V F F V V
V F V F F F
F V V p se le llama antecedente, hipótesis
F F F q se le llama consecuente, tesis

Bicondicional: “ p si y sólo si q” Negación: “  p, no p”

p q p  q p p
V V V V F
V F F F V
F V F
F F V

Nota. El número de filas en cada tabla es 2 n , donde n es la cantidad de proposiciones

simples.

Proposiciones Equivalentes: Dos o más proposiciones son equivalentes cuando tiene la

misma tabla de verdad y se denota por el símbolo 
Ejemplo 1.7 Elabore las tablas de verdad de las proposiciones: a) p  q ;b)  p  q ;
c) p  q , d)  ( p  q)

Solución
p q p  q p  q p q  ( p  q) p  q
V V V F V V V V F V V F F
V F F F F F V F V F V V V
F V V V V V F V F V F F F
F F V V V F F F F V F F V

Conclusión: p  q   p  q  ( p  q)  p   q

Otras enunciados equivalentes de p  q son:

“p sólo si q”.
“q si p”.
“p es una condición suficiente para q”.
“q es una condición necesaria para p”.
“q se sigue de p”.
“q a condición de p”.
“q es una consecuencia lógica de p”.
“q cuando p”.
Como p  q   p  q  q  p  una formulación equivalente de la proposición
bicondicional en estos términos, es: Una condición necesaria y suficiente para p es q

El condicional no siempre se expresa de forma explícita, puede estar en forma implícita

en una expresión común y corriente

Ejemplo 1.8 Escriba las proposiciones dadas en la forma si …, entonces.. .

i) Aprobare lógica cuando estudie

ii) Los hombres no lloran
iii) Iremos de shopping si no lleve

Solución
i) Aprobare lógica cuando estudie, puede escribirse en la forma
Si estudio entonces aprobare lógica
ii) Los hombres no lloran, puede escribirse en la forma
Si eres hombre entonces no debes llorar
iii) Iremos de shopping si no lleve, puede escribirse en la forma
Si no llueve iremos de shopping

No existe una relación de causa efecto entre el antecedente y consecuente, por

ejemplo, la proposición
“Si apruebo razonamiento, entonces Ciro Alegría fue un escritor”
es verdadera ya que el consecuente lo es, sin embargo no hay relación causa efecto ya
que García Lorca fue un poeta sin importar la calificación que obtenga
Ejemplo 1.9 Sean las proposiciones

p: Está nevando.
q: Iré a la ciudad.
r: Tengo tiempo.

a) Escribir, usando conectivos lógicos, una proposición que simbolice cada una de las
afirmaciones siguientes:
1) Si no está nevando y tengo tiempo, entonces iré a la ciudad.
2) Iré a la ciudad sólo si tengo tiempo.
3) No está nevando.
4) Está nevando, y no iré a la ciudad.
b) Enunciar las afirmaciones que se corresponden con cada una de las proposiciones
siguientes:
1) q  (r  p)
2) r  p
3) (q  r )  (r  q)
4)  ( r  q)

Solución
a) Escribiendo en forma simbólica tenemos
1) ( p  r )  q
2) q  r
3)  p
4) p  q

b) Escribiendo las proposiciones en forma simbólica tenemos

1) Iré a la ciudad si, y sólo si tengo tiempo y no está nevando
2) Tengo tiempo e iré a la ciudad
3) Iré a la ciudad si y sólo si tengo tiempo
4) No es el caso que: tengo tiempo o iré a la ciudad

Ejemplo 1.10 Explique por qué, si sabemos que p es verdadera también sabemos que
r   p  s    p  q es verdadera, aun si no conocemos los valores de verdad de
q, r y s

Solución
r   p  s    p  q  r  V  s   V  q  r  V   V   V   V   V
La proposición compuesta es verdadera por las tablas de verdad de la conjunción y de la
condicional

Ejemplo 1.11 Determine el valor de verdad de las proposiciones p y q si se conoce que

el valor de verdad de la siguiente es falsa:   p  q    p  q    p  q 

Solución

  p  q    p  q   p  q  F , por la tabla de verdad de la condicional

se tiene que el antecedente:   p  q    p  q  V y en consecuente
 p  q  F , trabajando con el consecuente aplicando la tabla de verdad de la
condicional tenemos p  V y q  F

Ejemplo 1.12 Elabore la tabla de verdad para  p  q   (q  p)

Solución

p q (  p   q)   (q  p)
V V F V F
V F V V V
F V V V V
F F V V V

Como vemos esta proposición siempre es verdadera independiente de los valores de

verdad se sus componentes por esta razón se le llama Tautología
Ejemplo 1.13 Escriba la negación de las proposiciones dadas
i) Aprobare lógica cuando estudie
ii) Los hombres no lloran
iii) Iremos de shopping si no lleve

Solución
Aplicaremos la equivalencia  ( p  q)  p  q
i) Aprobare lógica cuando estudie, puede escribirse en la forma
Si estudio
 entonces
  aprobare log ica

p  q
su negación es: estudio
 y no aprobare log ica
 
p  q
ii) Los hombres no lloran, puede escribirse en la forma
Si eres hom bre entonces
 no debes llorar
     
p  q
su negación es: eres hom bre 
y debes llorar


 
 

p  q
iii) Iremos de shopping si no lleve, puede escribirse en la forma
Si no llueve entonces iremos de shopping
    
p  q
su negación es: no llueve y no iremos de shopping
    
p  q

1.7 Proposiciones condicionales relacionadas

Proposición directa pq Si p , entonces q

Recíproca q p Si q , entonces p
Inversa o contraria  p  q Si  p , entonces  q

Contrapositiva o  q  p Si  q , entonces  p
contrarrecíproca

Ejemplo 1.14 Escribir la reciproca, contraria y la contrapositiva de cada una de las

afirmaciones siguientes:
(a) Si llueve, no voy
(b) Me quedaré, sólo si tú hermano se va
(c) No puedo completar la tarea si no me ayudas

Solución
Escribiremos la recíproca y la contrapositiva de varias formas.
(a) Si llueve
 entonces
  no voy

p  q
Recíproca
− Si no voy, entonces llueve
− Llueve si no voy
− Una condición necesaria para no ir es que llueva
− Una condición suficiente para que llueva es no ir
Contrapositiva
− Si voy, entonces no llueve
− Voy sólo si no llueve
− Es necesario que no llueva, para que vaya
− Es suficiente que vaya para que no llueva
Inversa
− Si no llueve, entonces voy
(b) Me quedare solo si tu hermano se va
  
p  q
Recíproca
− Si tu hermano se va, entonces me quedaré
− Me quedaré, si tu hermano se va
− Una condición necesaria para que tu hermano se vaya, es quedarme
− Una condición suficiente para quedarme es que tu hermano se vaya
Contrapositiva
− Si tu hermano no se va, entonces no me quedaré
− No me quedaré si tu hermano no se va
− Es suficiente que no se vaya tu hermano, para no quedarme
Inversa
− Si no me quedo, entonces tu hermano no se va

(c) No puedo completar la tarea si no me ayudas, lo escribimos en la forma

 no
Si no me ayudas entonces pedo completar la tarea
    
p  q
Recíproca.
− Si no puedo completar la tarea, entonces no me ayudas
Contrapositiva
− Si puedo completar la tarea, entonces me ayudas
− Puedo completar la tarea sólo si me ayudas
− Es necesario que me ayudes para poder completar la tarea
Inversa
− Si me ayudas, entonces puedo completar la tarea

La relación entre los valores de verdad de las proposiciones, directa, recíproca, Inversa
y contrapositiva se muestra en la siguiente tabla de verdad

p q p  q q  p  p  q q   p
V V V V V V
V F F V V F
F V V F F V
F F V V V V
Directa reciproca contraria contrarreciproca

1.8 Implicación Lógica y Equivalencia Lógica

La condicional p  q es una implicación lógica si, y solo si es una tautología y se
denota por p  q
La bicondicional p  q es una equivalencia lógica si, y solo si es una tautología y se
denota por p  q

Ejemplo 1.15 Demuestre que  p   q  q  p ;   p  q   p  q

p q (p   q)  q  p p q  (p  q)   p  q
V V V V V V V V V F V V F
V F V F F V V V F V F V V
F V F F V V F F V V F V V
F F V F F V F F F V F V V

1.9 Leyes del Algebra de Proposiciones

 Disyuncion Conjuncion
p p p Idempotenc ia p p p
pq  q p Conmutativ a pq  q p
p  q  r    p  q   r Asociativa p  q  r    p  q   r
p   p  q  p Absorcion p   p  q  p
p  q  r    p  q    p  r  Distributi va p  q  r    p  q    p  r 
p  p V Complement o p  p  F
  p  q   p  q Leyes de Morgan   p  q   p  q
 p  p doble negacion
p V  V ; p  F  p Leyes de Identidad p V  p ; p  F  F

Ejemplo 1.16 Simplificar las siguientes proposiciones utilizando las Leyes del Algebra
Proposicional
a) q  p    p  q
q  p    p  q   (  q  p)  ( p  q) , por que p  q   p  q
 ( p  q)  ( p   q), propiedad conmutativ a
  p  ( p   q)  q  ( p   q) , propiedad distributi va
 p  q  p   q   q , absorcion y distributi va
  p   p  q   q   q  , asociativa y conmutativ a
 p  q   q  , absorcion
 p  F , por p   p  F
p
b)  q   p    p   q   p  q
 q   p    p   q   p  q  q   p    p  q   p  q
  q   p    p   q    p  q  , por p  q   p  q
  q  p    p   q    p  q  , ley de Morgan
  q  p   p    q   p  q  , propiedad asociativa
  p   p   q    q   p  q  , propiedad conmutativ a
  p   q   p  q  , absorcion
  p   q   p   q  , ley de Morgan
  p   q   p    p   q   q, propiedad distributi va
  p  p    q  p    p  q   q  q, propiedad distributi
 F   q   p    p   q    q 
  q   p    q   q  p , propiedad conmutativ a
  q   p    q, absorcion
  q   q   p  , propiedad conmutativ a
 q , absorcion

1.1 Ejercicios Propuestos

1. Indique cual (es) de los siguientes enunciados son proposiciones simple, compuestas:
 
a) 5  3  8   9  3  4
b) ¡Vamos a estudiar!
c) La marcha con “ Mis Hijos No Te Metas” fue multitudinaria en todo el Perú
d) Toda ecuación lineal tiene solución y es un número real
e) Los cuadriláteros tiene 4 lados solo si es regular
f) No hay agua en el distrito de Cerro Colorado de Arequipa
h) Vamos a la Playa

2. Simbolizar las siguientes situaciones:

a) El chocolate es agradable si le agregan azúcar y leche
b) Dos más ocho es diez pero dos es par o impar
c) Ni Fabián ni Soraya llevaran Algebra Lineal si no aprueban Razonamiento
Matemático
c) Si las lluvias continúan en el norte del país, los huaicos seguirán causando estragos

3. Escriba la negación de cada una de las siguientes proposiciones

a) San Francisco de Asís es el santo de las mascotas
b) Algunos libros de matemáticas son didácticos
c) Todos los cachimbos UNSA 2017 inician clases el 27 de Marzo
d) Si tengo una Tableta entonces podré jugar
4. Determine el valor de verdad de las siguientes proposiciones:

  
a ) 3 27  3  8  0  (2) 4  16

b) 3 27  3   8  0  (2) 4  16

c)3 27  3   8  0  (2) 4  16

5. Sea que p representa una proposición verdadera, q y r representan proposiciones

falsas. Determine el valor e verdad de las proposiciones compuesta siguientes:
a)   p  q  r , b)  q  p   r   q , c)  r   q   r  q

6. ¿Es posible que la tabla de verdad de una proposición compuesta tenga exactamente
48 filas? Justifique su respuesta

7. Determine el valor de verdad de las proposiciones p y q si el valor de verdad de la

proposición   p  q   p   q   p  q es falso

8. Si p y q son verdaderos ¿para qué valores de r , r  p    q  r  es falso?

9. Utilice las leyes de Morgan para escribir la negación de cada una de las proposiciones
siguientes
a) Puedes pagarme ahora o puedes pagarme después
b) Yo dije sí, pero ella dijo no
c) 9  5  4 y 12  7  5
d) El médico y el paciente se presentaron en la clínica

10. Reescriba cada proposición utilizando el conectivo si…entonces o agregue palabras

cuando sea necesario
a) Todas las pinturas cuentan una historia
b) Oso corredor ama a Pequeña Paloma Blanca
c) Puede creerlo si lo ve en Internet
d) A todos los infantes de mariana les gusta el campamento de entrenamiento

11. Escriba la negación de cada proposición. Recuerde   p  q  p  q

a) Si Elvia alcanza esa nota, romperá los vidrios
b) Si usted dice “Si, acepto”, entonces se sentirá feliz el resto de su vida
c) Si amarte es un error, no quiero estar en lo correcto
d) “Si quiere ser feliz el resto de su vida, nunca tome por esposa a una mujer bonita”.
Jimmy Soul

12. Escriba cada proposición como una proposición equivalente que no use el colectivo
si…entonces. Recuerde p  q   p  q
a) Si cuidas tus plantas con ternura y cariño, florecerán
b) Si ella no lo hace, él lo hará
c) Si yo digo sí, ella dice no
d) Todas las mujeres alguna vez fueron niñas

13. Simplificar las siguientes expresiones

a)  p  q   q  p    p  q
b)   p  q   p  q   p   q
c)  p  q   p  q   p  q
d)   p  q   r  q   q  r   r   q  q

14. Si ( p  q)  (q ~ r )   p  r   F , encontrar el valor de verdad de:

a)  p  (q  r )  p
b)  p  q  r    p  r 
c)  p  ( p  r )   p  q 

15. Si  q   t  es falsa y  p  t  es verdadera , determine el valor de verdad de las

siguientes proposiciones
a)   p   q  p 
b)  p  t   s
c)  p   q  t    p  q  q  t 

16. Para cada proposición directa dada escriba: la reciproca, la inversa y la

contrapositiva en la forma si... entonces. En algunos ejercicios puede ser útil replantear
la proposición directa en la forma si… entonces
a) Si la belleza fuera un minuto, entonces tú serías una hora
b) Resolver crucigramas es suficiente para volverme loco
c) Defender la ecología es necesario para ser electo
d) Si usted dirige, entonces yo lo seguiré
e) Cada oveja con su pareja

17. Escriba cada una de las proposiciones siguientes en la forma “si p, entonces q”
a) Si esta fangoso, usare botas
b) Todos los enteros son números racionales
c) Un paralelogramo es una figura de cuarto lados cuyos lados opuestos son paralelos
d) Si termino de estudiar, iré a la fiesta
e) Un entero cuyo digito de las unidades es de 0 a 5 es divisible entre 5.

2. Razonamiento Inductivo y Razonamiento Deductivo

En el equipo de básquet de Ingenierías de la UNSA Juan juega de base y es alto, Mario
juega de escolta y es alto, Oscar juega de pivot y tambien es alto siguiendo con este
razonamiento podemos concluir que todos los jugadores del equipo de básquet son altos
(lo cual podría ser verdadero o falso), estamos ante un razonamiento inductivo ya que
partimos de lo particular para llegar a lo general.

2.1 Razonamiento inductivo: El razonamiento inductivo se caracteriza por permitir

llegar a una conclusión general (mediante una conjetura) a partir de observaciones
repetidas de ejemplos específicos. La conjetura puede ser verdadera o falsa..

Una conjetura es una suposición fundamentada en observaciones repetidas de un patrón

o proceso en particular.

Ejemplo 2.1

Cuando Juan toca la llama de un encendedor se quema. Cuando Juan toca una estufa
encendida se quema. Cuando Juan toca la jarra de la cafetera caliente se quema. Por lo
tanto, si tocas un objeto caliente te quemas.

Ejemplo 2.2

Se tiene la secuencia,

Viendo los 4 datos, podemos inducir que:

(6) =

Nota
 El razonamiento inductivo fue utilizado popularmente por Isaac Newton al momento
de desarrollar su Teoría de la Gravedad. Newton usó sus observaciones de los
movimientos planetarios y de las manzanas que caían del árbol de su casa e indujo
que había una fuerza responsable de la manera en que ciertas cosas funcionaban.
 En muchos casos, es criticado el razonamiento inductivo; ya que se suele considerar
como un método impreciso, dado que se hacen generalizaciones a partir de pocos
ejemplos específicos.
 A pesar de las críticas, el método inductivo es importante para la ciencia, ya que
sirve como punto de partida para la realización de pruebas que más adelante brinden
evidencias acerca de verdad o falsedad del supuesto

2.2 Razonamiento Deductivo

Deducir es inferir a partir de un principio general. Por tanto, el razonamiento deductivo
es una prueba de la habilidad para razonar a partir de un principio general hasta sus
implicaciones en una situación específica.
El razonamiento deductivo se caracteriza por la aplicación de principios generales a
ejemplos específicos

Ejemplo 2.3
Nuestra casa está hecha de madera tratada. Mis dos vecinos inmediatos tienen casas
hechas de madera tratada. Por tanto, todas las casas de nuestros vecinos están hechas de
madera tratada

Ejemplo 2.4
Las galletas tardan 45 minutos en hornearse
Son las 3:00 pm y Jane mete las galletas al horno. Por lo tanto, las galletas estarán listas
a las 3:45

Ejemplo 2.5
Se utiliza el razonamiento deductivo al resolver un rompecabezas como el Sudoku
Nota

 Cuando razonamos deductivamente, usamos hechos conocidos para llegar

a conclusiones lógicas que sabemos son verdaderas. Esto es distinto que
el razonamiento inductivo, que generaliza y conjetura basado en observaciones en
lugar de lógica.
 Para resolver un problema por lo general se requieren ciertas premisas. Una premisa
puede ser una suposición, una ley, una regla, una idea ampliamente aceptada o la
pura observación. Luego, partiendo de las premisas se razona de manera inductiva o
deductiva para llegar a una conclusión.
 Las premisas y la conclusión componen un argumento lógico y para demostrar su
validez se utilizan técnicas que las mencionaremos en la siguiente sección.

2.3 Inferencia Lógica

Una Inferencia lógica o Argumento lógico es una condicional de la forma:

donde las proposiciones son llamadas premisas que originan como
consecuencia otra proposición llamada conclusión.
Una inferencia lógica puede ser una tautología, una contingencia o una contradicción.
1. Si la inferencia es una tautología, se dice que es una inferencia válida o argumento
válido.
2. Si la inferencia no es una tautología entonces se dice que es no válida o es una
falacia.
Una inferencia lógica se puede escribir como:

Para demostrar la validez de una inferencia se utilizan técnicas como: diagramas de

Euler, tabla de verdad o leyes de inferencia

2.3.1 Análisis de argumentos mediante diagramas de Euler

El método de diagramas de Euler es útil especialmente para probar la validez de un

argumento, donde las premisas contienen cuantificadores tales como “todo”, “algunos”
o “ninguno”

Ejemplo2.6:
Premisa 1 Todos los gatos son animales
Premisa 2 Chitaro es una gato
Conclusión Chitaro es un animal

Dibujamos una región que represente la primera premisa, esta es la región para
“animales”. Como todos los gatos son animales, la región para “gatos” va dentro de la
región para “animales”, como se muestra en la figura (1)

Animales Animales

Gatos Gatos

Figura (1) Figura (2)

La segunda premisa, Chitaro es un gato, sugiere que Chitaro va dentro de la región que
representa a “gatos”. Si representa a Chitaro, la figura (2) muestra que Chitaro
también está dentro de la región animales. Por lo tanto, si ambas premisas son
verdaderas, la conclusión es también verdadera. Por lo que el argumento es válido
Ejemplo 2.7:
Premisa 1 Todos los días lluviosos están nublados
Premisa 2 Hoy no está nublado
Conclusión Hoy no es día lluvioso

La región para días lluviosos y para días nublados, se muestra en la figura (3)

Días nublados Días

nublados
Días
Días
lluviosos
lluviosos

Figura (3) Figura (4)

Sea que representa “hoy” y ubicamos fuera de de la región para “días nublados”
figura (4). Por lo tanto, si ambas premisas son verdaderas, la conclusión es también
verdadera. Como está fuera de la región para “días lluviosos”, por lo tanto, si las dos
premisas son verdaderas, también es verdadero “hoy no es día lluvioso”. Luego, el
argumento es válido

Ejemplo 2.8:
Premisa 1 Algunos estudiantes van a la playa
Premisa 2 Yo soy estudiante
Conclusión Yo voy a la playa en las vacaciones de primavera

La figura (5) muestra la primera premisa. Hay dos posibilidades para “yo” como se
muestra en la figura (6)

¿YO?

¿YO?

Figura (5) Figura (6)

Una posibilidad es que yo vaya a la playa, la otra es que yo no vaya a la playa.
Puesto que la veracidad de las premisas no obliga a que la conclusión sea verdadera, el
argumento es no válido

2.3.2 Análisis de argumentos mediante tablas de verdad

Se utiliza, para argumentos más complejos

Ejemplo2.9: Para probar la validez del argumento:

Premisa 1 Si el piso está sucio, entonces yo debo limpiarlo

Premisa 2 El piso está sucio
Conclusión Yo debo limpiarlo

Identificamos las proposiciones:

El piso está sucio, yo debo limpiarlo

Escribimos las dos premisas y la conclusión en símbolos

Premisa 1:
Premisa 2:
Conclusión

Escribimos en la forma:

Elaboramos la tabla de verdad para esta proposición:

Como la última columna muestra que la proposición condicional es una tautología, el

argumento es válido.

Este argumento recibe el nombre de Modus Ponens o ley del Modus Ponens

Ejemplo2.10: Para probar la validez del argumento:

Si un hombre pudiese estar en dos lugares a la vez, yo estaría con usted

Yo no estaría con usted
Un hombre no puede estar en dos lugares a la vez

Simbolizamos las proposiciones:

Un hombre pudiese estar en dos lugares a la vez, Yo estoy con usted

El argumento es

Premisa 1:
Premisa 2:
Conclusión
Escribimos en la forma:
Elaboramos la tabla de verdad para esta proposición:

La proposición condicional es una tautología, por lo tanto, el argumento es válido.

Este argumento recibe el nombre de Modus Tollens o ley del Modus Tollens

Ejemplo2.11: Dado el argumento:

Compraré un automóvil o me iré de vacaciones
No compraré un automóvil
Me iré de vacaciones
Las proposiciones son:

Compraré un automóvil, Me iré de vacaciones

El argumento es

Premisa 1:
Premisa 2:
Conclusión

Escribimos en la forma:

Elaboramos la tabla de verdad para esta proposición:

La proposición condicional es una tautología, por lo que el argumento es válido.

Este argumento recibe el nombre Silogismo Disyuntivo
Ejemplo 2.12: Dado el argumento:
Si usted utiliza binoculares, entonces alcanzará a ver el cometa
Si usted alcanza a ver el cometa, entonces se sorprenderá
Si usted utiliza binoculares, entonces se sorprenderá
Las proposiciones son:

usted utiliza binoculares, alcanzará a ver el cometa, usted se sorprenderá

El argumento es

Premisa 1:
Premisa 2:
Conclusión

Escribimos en la forma:

Elaboramos la tabla de verdad para esta proposición:

La proposición condicional es una tautología, por lo que el argumento es válido.

Este argumento recibe el nombre Razonamiento transitivo o Silogismo Hipotético
A continuación mostramos un resumen de las formas de argumentos válidos o
Leyes de Inferencia
Modus Ponens Modus Tollens Silogismo Disyuntivo Razonamiento
transitivo

Ejemplo 2.13

Dado el argumento:
Si Eddy va al pueblo, entonces Mirta se queda en casa
Si Mirta no se queda en casa, entonces Andrea cocinará
Andrea no cocinará
Eddy no va al pueblo
Las proposiciones son:
Eddy va al pueblo, Mirta se queda en casa, Andrea cocinará
Simbólicamente,
 Premisa 1:
Premisa 2:
Premisa 3:
Conclusión

Escribimos en la forma:
La tabla de verdad para esta proposición:

La proposición condicional no es una tautología, por lo que el argumento es no válido o

es una falacia

2.3.3. Análisis de argumentos mediante leyes de inferencia

Existen dos métodos para demostrar la validez de un argumento lógico: Método directo
y el método indirecto

Método directo:

Consiste en empezar de la verdad de las premisas y utilizando leyes lógicas y leyes de

inferencia llegar a la verdad de la conclusión

Ejemplo2.14

Dado el argumento:

Si emito un cheque, entonces será rechazado

Si el banco lo respalda, entonces no será rechazado
El banco lo respalda
No emito un cheque

Las proposiciones son:

Emito un cheque, El cheque será rechazado, El banco lo respalda

Simbólicamente,

Premisa 1:
Premisa 2:
 Premisa 3:
Conclusión

De las premisas 2 y 3 se obtiene (4) por la ley de Modus Ponens

De (1) y (4) se deduce por la ley de Modus Tollens.

Simbólicamente,

(1)
(2)
(3)

(4) De (2) y (3) Modus Ponens (MP)

(5) De (1) y (4) Modus Tollens (MT)

Método indirecto

Denominada también demostración por contradicción o por reducción al abdsurdo

Para demostrar indirectamente una inferencia:

Se comienza por negar que es verdadera y utilizando esta negación como premisa
adicional, utilzando leyes lógicas y leyes de inferencia, llegar a una contradicción.
La contradicción a la que se llegue , pone fin a la demostración pues la proposición

Es una implicación lógica notable. (Ley del absurdo)

Ejemplo2.15
En el argumento del ejemplo anterior,

Premisa 1:
Premisa 2:
Premisa 3:
Conclusión

Utilizando las premisas y la negación de la conclusión, aplicando leyes de inferencia

debemos concluir en una contradicción. En efecto,

(1)
(2)
(3)
(4) Negación de la conclusión
(5) Modus Ponens en (1) y (4)
 (6) Modus Tollens en (2) y (5)
(7) Contradicción de (3) y (7)

Ejercicios propuestos

Traducir al lenguaje formal y demostrar la validez de los siguientes argumentos:

1. Si las leyes no existen, todo estaría permitido.

Si las leyes no existen, no habría normas morales.
Es así que hay normas morales.
Las leyes existen

2. No es verdad que: estudias y trabajas.

Si quieres conseguir dinero entonces trabajas.
Si estudias entonces no consigues dinero

3. O me traes a casa, o no voy a la fiesta

Si no llueve entonces voy a la fiesta.
Si no me traes a casa llueve.

Verificar por alguno de los métodos de inferencia, si cada uno de losargumentos es

válido. Justificar:
4. Ningún ánade baila el vals.
Ningún oficial declina nunca una invitación a bailar el vals.
Todas mis aves de corral son ánades
Mis aves de corral no son oficiales.

5. Si el reloj está adelantado, entonces Juan llegó antes de las diez y vio partir el carro de Andrés.

Si Andrés dice la verdad, entonces Juan no vio partir el carro de Andrés

O Andrés dice la verdad, o estaba en el edificio en el momento del crimen.
El reloj está adelantado.
Andrés estaba en el edificio en el momento del crimen.

6. Nadie confía en las personas que nunca pagan sus deudas.

Todo el mundo cuenta con la confianza de sus familiares.
Todas mis aves de corral son ánades
Cualquiera que tenga familia paga alguna de sus deudas.

Determinar si cada uno de los siguientes Argumentos son válidos o no.Escribir la

corrección en el caso de que el argumento no sea válido

7. Todo el que piensa existe

Yo pienso.
Yo existo.

8. Todos los maestros son sabios

 Son sabios y generosos
Alguien es generoso.
Utilice leyes de inferencia para verificar la validez de los siguientes argumentos, por el
método directo y por el método indirecto.

9.

10.

11.

12.

3. Lógica de Predicados
Estudia las frases declarativas considerando la estructura interna de las proposiciones
Se considera como elementos básicos los objetos y las relaciones entre dichos objetos
Se distingue:
 Que se afirma (predicado o relación)
 De quien se afirma (objeto)

El alfabeto de la lógica de predicados está formado por: variables ,

constantes y funciones

3.1 Función proposicional

Enunciados Abiertos: Son aquellos enunciados a los que no se puede atribuirse el
valor de verdad ó falso , por ejemplo : ; salvo que las variables
, puedan ser reemplazados por números (sujetos), que permitan que dichos
enunciados se conviertan en proposiciones y por tanto tener valor de verdad V o F.
Función proposicional: Es todo enunciado abierto de la forma , que tiene la
propiedad de convertirse en una proposición al ser sustituida la variable x por una
constante b específica (o un sujeto dado).

Función proposicional Simbólicamente Negación de la función

proposicional
x es numero par p(x)
x es menor que y m(x , y)
z es mortal n(z)

El conjunto de todos los valores convenidos para la variable recibe el nombre de

dominio de la variable. Esto es, si representamos por D el dominio, diremos que
pertenece a D mediante la notación conocida:

Ejemplo 3.1

La expresión p(x): x +2=5 no es una proposición lógica en el sentido que no se le puede

asignar un valor de verdadero o falso, a menos de que se le dé un valor particular a la
variable x:
- Si x = 3 , p(1) = 3+2=5 es verdadero
- Si x = 3 , p(1) = 2+2=5 es falso

CUANTIFICADORES: Universal y Existencial

Directo Negacion
x  U , p( x ) Cuantifica dor Universal  x  U , p( x )   x  U /  p( x )

x  U / p( x )
Cuantifica dor Existencia l  x  U / p( x )  x  U /  p( x )
x  U : p( x )

Nota:

1. Los cuantificadores pueden combinarse por ejemplo:

2. El símbolo es leído como “Existe un único….”

Ejemplo 3.1
Determinar el valor de verdad de los siguientes enunciados
Sea
a) (F) Falso, porque ningún elemento de A soluciona

b) (V) Verdadero, ya que x = 9

c) (F) Falso, ya que no se cumple para todos los elementos
del conjunto dado.
 d) (V) Verdadero, ya que se cumple para todos los
elementos del conjunto dado.

Ejemplo3.2
Indicar el valor de las siguientes proposiciones para el conjunto para el conjunto
y negarlas
a) (F) Falso, pues para que sea verdadera, la
ecuación dada debería cumplirse para todos los enteros positivos , pero eso no
es cierto ya que solo se cumple para x = 1 y x = 5
b) (V) Verdadero, pues existen hasta dos
soluciones x = 1 y x = 5 en , y solo hubiese bastado con una de las soluciones.
Las negaciones correspondientes son:

Ejemplo3.3
Dado determinar el valor de verdad de cada una de las proposiciones
siguientes justificando debidamente su respuesta, luego indique sus negaciones.
a)
b)
c)

Solución
a) Es falsa, pues para no se cumple que
b) Es falsa, pues para no existe ningún que haga

cumplir

c) Es verdadera, pues para hace cumplir

Las negaciones correspondientes son:

Ejemplo3.4
Negar las siguientes proposiciones

i.
ii.
iii.
 Solución
i.

ii.

iii.

Ejemplo3.5
Simplificar y negar la siguiente proposición compuesta: “Todos los números enteros
son pares y existen números reales irracionales, si existe algún entero impar; si y
solo si, hay algún número real irracional o cualquier numero entero es par, si es que
cada número real es irracional “.

Solución

Luego entonces

La proposición dada se simboliza como:

Simplificándola

La negación de cuya traducción es “Existen números enteros

impares y existen números reales irracionales”

3.1 Ejercicios Propuestos

1. Simbolizar las siguientes expresiones e indicar si son funciones proposicionales

o proposiciones:
a) x es par y 6 también.
b) x e y son impares.
c) 2 es un número par y primo.

2. Hallar la negación de las siguientes proposiciones

a) Para todo número real a, existe un numero natural n, tal que si n > n0

entonces n > a

b)
c) Para todo numero racional r existe un numero entero n tal que
3. Negar las siguientes proposiciones para el conjunto Z de números enteros y
luego determine el valor de verdad de cada una de ellas:





4. Negar las siguientes proposiciones

i.
ii.
iii.

5. Dado determinar el valor de verdad de cada una de las

proposiciones siguientes justificando debidamente su respuesta, luego indique
sus negaciones




6. Si y establecer el valor de verdad de cada

una de las proposiciones siguientes justificando debidamente su respuesta




7. Hallar los valores de verdad de la negaciones de las proposiciones siguientes
i.
ii.
iii.
8. Sea y sean las funciones proposicionales cuantificadas
siguientes

Establecer el valor de verdad de:

9. Demostrar que la afirmación: “Para todo entero positivo n, el

número es un número primo” es falsa, con un contraejemplo.

10. Indicar la verdad o falsedad de

i.
ii.
iii.
11. Demostrar que:

12. Simbolizar usando cuantificadores y negar la proposición cuantificada

a) “Para todo numero entero positivo , siempre existe un número n0tal que para
todo n mayor que n0 se cumple es menor que ”.
b) “ Para todo , hay un tal que para todo numero x, si x esta entre
los números y entonces esta entre los números y

13. Sean los conjuntos

sabiendo
que

. Hallar el valor de verdad de

14. Sea y las proposiciones

. Hallar el valor de verdad de cada una de las siguientes proposiciones

i)
ii)
 iii)
iv)

15. Dadas las siguientes

proposiciones

. Hallar el valor de verdad de:

3. Conjuntos

Un conjunto es una lista de objetos distinguibles entre sí. A estos objetos se les llama
elementos.

Los conjuntos se representan con letras mayúsculas y sus elementos se colocan entre
llaves.

Ejemplo 4.1 es un conjunto finito

Ejemplo 4.2 es un conjunto vacío

Ejemplo 4.3 es un conjunto unitario

Ejemplo 4.5 es un conjunto infinito

Operaciones entre conjuntos

Operación Notación y definición Representación gráfica

Complemento

Intersección

Unión
Diferencia

Diferencia simétrica

Producto cartesiano

Leyes del álgebra de conjuntos

Asociatividad
Conmutatividad
Distributividad
Complemento
Leyes de
Morgan

Ejemplo 4.6 Usar operaciones de conjuntos para describir la región sombreada:

Solución

La región sombreada se encuentra en el conjunto B, además no está en ni en . Es decir

está en , en y en ; luego concluimos que está contenido en .

Por otro lado, en el diagrama se observa que todo elemento que está en también
está en la región sombreada. Por lo tanto la región coincide con:

Ejemplo 4.7 En un diagrama de Venn, sombrear .

Solución

Enumeramos todas las regiones en el diagrama de Venn como sigue:

 Empezando por el paréntesis, el conjunto está formado por la unión de las regiones 1, 6, 7 y
8, el conjunto está formado por la unión de las regiones 1, 2, 5 y 6. Por lo tanto está
formado por la unión de las regiones 1 y 6.

Por otro lado, como es la unión de las regiones 4, 5, 6 y 7; concluimos que

está formada por el traslape de la región formada por 1 y 6; y la región formada por
4, 5, 6 y 7;
lo que da como resultado la región 6.

Ejemplo 4.8 Si y son conjuntos, describa la(s) condiciones en las cuales cada enunciado
sería verdadero:

a.
b.

Solución.
a. Esta igualdad significa que: se mantiene intacto al quitarle todos aquellos elementos
que están en . Esto puede ocurrir si, y solamente si ningún elemento de está en ; es decir
.
b. De la igualdad concluimos que . Además, como ; concluimos que
. Así la igualdad dada se reduce a , luego . Por lo tanto, si la igualdad
de cumple se debe tener y . Por otro lado, observemos que si y la
igualdad dada se cumple.
Por lo tanto, la igualdad dada se cumple si y solo si y .

Ejemplo 4.9 De los residentes de un edificio se ha observado que 29 de ellos trabajan y 56 son
mujeres, de los cuales 12 estudian pero no trabajan. De los varones 32 trabajan o estudian y 21
no trabajan ni estudian, ¿cuántas mujeres no estudian ni trabajan, si 36 varones no trabajan?

Solución.

Representando la información en un diagrama de Venn

 Respuesta: x=56-24=32.

Ejemplo 4.10 Usando las leyes del álgebra de conjuntos, simplificar:

Solución.

Ejercicios propuestos

1. En el diagrama de Venn que sigue, sombrear:

a.
b.

A B

2. Señale la expresión que corresponde a la región sombreada:

a.
b.
c.
d.

3. Describa cada conjunto con palabras:

a.
b.

4. Suponiendo que y representan conjuntos cualesquiera, identifique cada

enunciado como siempre verdadero y no siempre verdadero:
a.
 b.
c.

5. Dados los conjuntos:

, ,
Hallar el conjunto , tal que y
6. Si A, B y C son conjuntos contenidos en un mismo universo, simplifique la
siguiente expresión:

7. En una ciudad se consumen tres productos A, B y C. Al hacer un estudio de

mercado sobre el consumo de estos productos se obtuvo los resultados mostrado en
la siguiente tabla:

Productos Nro de consumidores

A 150
B 200
C 250
AyB 70
AyC 90
ByC 80
A, B y C 60
Ninguno de los tres 180

Responder las siguientes preguntas:

c. ¿Cuántas personas consumen apenas el producto A?
d. ¿Cuántas personas consumen el producto A o el producto B o el
producto C?
e. ¿Cuántas personas consumen el producto A o el producto B?
f. ¿Cuántas personas consumen apenas el producto C?
g. ¿Cuántas personas fueron consultadas?

8. En una investigación hecha con 120 empleados de una firma, se verificó lo

siguiente:
a. 38 tienen casa propia
b. 42 tienen instrucción superior
c. 70 tienen seguro de salud
d. 34 tienen seguro de salud y casa propia
e. 17 tienen casa propia e instrucción superior
f. 24 tienen instrucción superior y seguro de salud
g. 15 tienen casa propia, seguro de salud e instrucción superior
¿Qué porcentaje de los empleados no se encuadran en ninguna de las situaciones
anteriores?
9. Si el conjunto A tiene 5 elementos, el conjunto B tiene 3 elementos, y además se
sabe que (A ∩ B) tiene 2 elementos entonces, ¿cuántos elementos tiene (A∪B)?
10. A una ceremonia asistieron 24 señoritas con cartera, 28 varones con corbata, 40
portaban casaca, 17 varones con corbata no tenían casaca, 9 señoritas portaban
casaca pero no tenían cartera. ¿Cuántos varones con casaca no llevaron corbata, si
16 señoritas no llevaron cartera ni casaca y 28 señoritas no llevaron casaca?