UNIVERSIDAD NACIONAL ANDRES BELLO

DEPARTAMENTO DE MATEMATICAS

GUIA LOGICA Y CONJUNTOS

PRIMER SEMESTRE 2005

LOGICA.

1. Escriba en lenguaje simbólico las siguientes proposiciones, sabiendo que:

p: ella es rubia.
q: ella es elegante

No es cierto que ella sea rubia o elegante.

Ella es rubia, o ella es elegante y no es rubia.

2. Exprese en lenguaje simbólico las siguientes frases

Hoy es lunes y María tiene frío

Mañana voy a ir al cine o al teatro.
Si mañana no voy al cine, comeré papas fritas.

3. Escriba la negación de cada una de las afirmaciones anteriores en Castellano

4. Escriba en forma simbólica la negación de cada una de las afirmaciones dada en la actividad 1

5. Elabore una tabla de verdad para cada una de las siguientes proposiciones compuestas

a) p  ( p  q) b) ( p  q)  r c) ( p  ( p  q))  q

6. Determine el valor de verdad de cada una de las siguientes proposiciones

Cómo no basta la Tecnología para resolver los problemas sociales del hombre sean desarrollado
ciencias de la conducta El término “conducta” se limita solamente a actos no verbales entonces la
psicología estudia el comportamiento de los animales.

Determine si las siguientes proposiciones son Tautologías, contradicción o contingencia

La historia de la psicología se divide en dos períodos precientífica y científica

7.

a) (𝑝 ∧ 𝑞) ∧ (𝑝 ∨ 𝑞) b) [(𝑝 ⇒ 𝑞) ∧ (𝑝 ∧ 𝑞 ∧ 𝑟)] ⇒ (𝑝 ∨ 𝑞)

8. Víctor siempre dice la verdad, le ha contado a su hermana lo siguiente:

“Me gusta María Helena o Liliana, pero no las dos. Además, si me gustara Liliana, también me
gustaría María Helena

UNIVERSIDAD ANDRES BELLO 1

9.- Escriba en lenguaje simbólico:

a) Dos es positivo o menos dos es positivo.

b) Existe un número entero que es mayor o igual a 10.
c) Existe un número natural cuyo cuadrado aumentado en tres es uno.
d) El uno es el neutro multiplicativo de los números reales.
e) El producto de dos números enteros negativos, es negativo.
f) Para cualquier número natural existe un número natural mayor.
g) No siempre la resta de dos números naturales es un número natural.
h) Si todo número real es positivo, entonces, dos es impar.
i) La suma de un real positivo con uno negativo puede ser positiva, negativa o cero.

10.- Exprese en lenguaje común las siguientes proposiciones:

a) x  IN : x  3
b) x  IR : x + 0 = x
c) x  IN : x + 3 = 10
d) x  IR : ( x  2  x + 1  3)
e) 2  0  (x  IR : x  0)

11 Determine el valor de verdad de cada una de las proposiciones dadas en los ejercicios 2 y 3.

12.- Determine el valor de verdad de las proposiciones siguientes:

a) Si 2 + 2 = 5, entonces, 3 + 3 = 6.
b) Es falso que 1 + 1 = 3 ó 2 + 1 = 3.
c) ( 2 < 1 v 2 > 0 ) entonces 2 es impar.
d) Si 2 > 1, entonces, 2 es impar y 3 > 1.

13.- Construya la tabla de verdad para cada una de las siguientes proposiciones:

a) ~(𝑝 ∧ 𝑞) ∨ (𝑞 ⇔ 𝑝)
b) (~𝑝 ∨ 𝑟) ∧ [𝑝 ∨ (𝑞 ∨ 𝑟)]

14.- Verifique por medio de tablas de verdad, que efectivamente las equivalencias lógicas que se
dan, lo son.

a) Asociatividad del v
b) Distributividad del  sobre el v.
c) Leyes de Morgan
d) Absorción.

15.- Demuestre usando las equivalencias lógicas fundamentales que:

𝑝 ⇒ (𝑞 ∧ 𝑟) ≡ [(𝑝 ⇒ 𝑞) ∧ (𝑝 ⇒ 𝑟)]

UNIVERSIDAD ANDRES BELLO 2

16.- Sea A = 1,2,3. Determine el valor de verdad de las siguientes proposiciones.

a) x  A : x  0
b) x  A : ( x  1  x = 2)
c) x  A : ( x  2  x 2  3)
d) x  A : x  5
e) x  A, y  A : y  x
f) x  A, y  A : x  y
g) x  A, y  A : x + y = 3
h) x  A, y  A : x + y  A
i) x  A : x + 1  A

17.- Niegue las proposiciones dadas en el problema 9.

18.- Considerar el conjunto B = 2,3,4,5,6,7,8,9 . Encuentre un contraejemplo para demostrar

que las siguientes proposiciones son falsas.

a) x  B : x es primo
b) x  B : x es par

19.- Demuestre que:

p y q son soluciones de la ecuación x + bx + c = 0 si y solo si p + q = −b y pq = c

2

( q, p, b y c son números reales ).

20.- Demuestre usando el método de reducción al absurdo que: “Si x  0 entonces x −1  0 ”

21.- Usando equivalencias lógicas, simplifique las proposiciones:

a) ( p  q)   p  (~ q  p)
b) (q ~ p)  ( p  q)  ( p  q)

Respuestas: a) ~ p  ~ q b) Verdadero.

22.- Demuestre el siguiente teorema de la Geometría Euclidiana, usando el método de

contraposición. En la figura, si el ángulo A = ángulo B, entonces L1  l 2 =  .

A C

UNIVERSIDAD ANDRES BELLO 3

23.- Simplifique los siguientes circuitos:

a) A

A C

b) A C

B ~A

~C

~B

24.- Escribir las expresiones simbólicas correspondientes a los siguientes circuitos. Construya
también su tabla de verdad.

a) A b) B ~A

A ~B

B ~A

c) A
C ~A

B
A
C
~A

B ~A

~C B

UNIVERSIDAD ANDRES BELLO 4

25.- Una lámpara es manejada contres interruptores, de modo que alumbra si al menos dos de
ellos están apagados. Diseñe el circuito correspondiente.

( )
26.- Sabiendo que la proposición ( x U ) p( x ) es verdadera, determine al valor de verdad de la
proposición :

(  x U ) ( p ( x ) )  (  x U ) ( p ( x ) )
27.- Sabiendo que las proposiciones ( p  q) y q son verdaderas y que "s" es una proposición
cualquiera, obtenga el valor de verdad de la proposición:

( p  q)  q  (q  s)
CONJUNTOS.

1.- Si A es el conjunto de los números primos menores que 10, complete en cada caso la
expresión con el símbolo conjuntista adecuado para que ésta sea una proposición verdadera.

a) 5....A b) 8....A c) { 7, 2 } ..... A d) { 2, 3, 4 }.......A

e) { 1, 2, 3, 5, 7, 11 }......A f)  .....A g) {  }....A

En los casos que te parezca que hay más de una respuesta discute el caso con tus
compañeros o con el profesor.

2.- Sean A y B dos conjuntos y U = x  IN : x  12 el conjunto universal. Sabiendo que:

• A  B'= 9
• A  B = 1,3,4,5,6,7,9
• A'B' = 1,2,6,7,8,9,10,11,12
Determine los conjuntos A y B.

3.- Si A =  ,0, 0,. Determine P ( A ).

4.- Sean A y B conjuntos tales que:

• A  B = a, b, c, d
• A − B = b
• P( A  B) =  , a, c, a, c
Calcule los conjuntos A y B.

5.- Use los diagramas de Venn para comprobar que:

a) La unión no distribuye respecto de la diferencia.

A  ( B − C )  ( A  B) − ( A  C )

b) La diferencia no es asociativa.

A − ( B − C )  ( A − B) − C

UNIVERSIDAD ANDRES BELLO 5

6.- Probar por doble inclusión que:

a) ( A − B) − C = A − ( B  C )
b) A  B = B  ( A − B)
c) ( A  B) − C = ( A − C )  ( B − C )
d) A − ( B  C ) = ( A − B)  ( A − C )
e) A  ( B − C ) = ( A  B) − ( A  C )

7.- Utilizando el álgebra de conjuntos, pruebe:

a) ( A − B) − C = A − ( B  C )
b) A  ( B − C ) = ( A  B ) − (C − A)
c) ( A − B )  ( B − A) = ( A  B ) − ( A  B )
d) A − ( B − C ) = ( A − B )  ( A  C )

8.- Usando propiedades, simplifique:

a) ( A  B)  ( A − B)
b) B  ( A  B)'( B  A' )'
c) ( A' B 'C ' )'( A  B  C ' )  ( A  B ' )'

9.- Usando propiedades, demuestre que:

Si B  A , entonces A − ( A − B ) = B

10.- Se define A : B = A  B' . Usando propiedades demuestre que:

A  (B : A)  A : (B : A) = A
11.- Usando la definición de par ordenado, demuestre que:

( a , b ) = ( x, y )  a = x  b = y

12.- Probar que:

a) ( A  B)  C = ( A  C )  ( B  C )
b) ( A − B )  C = ( A  C ) − ( B  C )

13.- Sean A y B dos conjuntos. Probar:

A B =   A =   B = 

14.- Si A = x  IR : 1  x  3; B = y  IR : y  −1. Represente gráficamente A B .

15.- Sean A = 1,2; B = 3,4; C = 4,5. Calcule:

a) A  (B  C)
b) ( A  B )  ( A  C )
c) ( B  C )  A

UNIVERSIDAD ANDRES BELLO 6

16.- Demuestre: Si A  B  C  D  A  C  B  D . Además haga un diagrama que
represente este hecho.

17- De los siguientes enunciados, sólo uno es verdadero. Diga cual es y demuestre, además, de un
contraejemplo en cada uno de los otros casos:

a) A  B  A  B = B
b) A  B =   B  A C = B
c) A  B  A C  B C
d) A  B =   AC  B = B
e) A  B  A  B = A

APLICACIONES

P1.- Estudio de Consumidores. En un estudio reciente de 200 miembros de un club deportivo

local, 100 miembros indicaron que ellos planean asistir a los siguientes Juegos Olímpicos de
verano, 60 comentaron que planean asistir a los juegos Olímpicos de Invierno y 40 señalaron
que planean asistir a ambos juegos. ¿Cuántos miembros del club piensan asistir
a) al menos a uno de los dos juegos?.

b) exactamente a uno de los juegos?.

c) Sólo a los juegos de verano?.

d) A ninguno de los juegos?.

P2.- Tendencias de Consumo. De 50 empleados en una tienda del centro de Boston, 18 utilizan el
tren subterráneo para ir a trabajar, 12 el autobus y 7 utilizan ambos. Determine el número
de empleados que
a) utilizan el tren subterráneo o el autobús para ir al trabajo.
b) sólo viajan en autobús para ir al trabajo
c) usan el autobús o el tren subterráneo ( pero no ambos ) para ir al trabajo.
d) Van al trabajo por otros medios.

P3.- Análisis de Consumo. En un estudio de 120 consumidores realizado en un centro comercial,

80 consumidores indicaron que compran la marca A de cierto producto, 68 compran la marca
B, y 42 adquieren ambas. Determine la cantidad de consumidores participantes en el estudio,
quienes compran
a) al menos una de estas marcas.
b) exactamente una de estas marcas.
c) Sólo la marca A.
d) Ninguna de estas marcas.

P4.- Inversiones. En una encuesta realizada entre 200 inversionistas activos, se halló que 120
utilizan corredores por comisión, 126 usan corredores de tiempo completo y 64 emplean
ambos tipos de corredores. Determine el número de inversionistas tales que
a) utilizan al menos un tipo de corredor.
b) utilizan exactamente un tipo de corredor.
c) utilizan sólo corredores por comisión.
d) No utilizan corredores.

UNIVERSIDAD ANDRES BELLO 7

P5.- Análisis Económicos. Un estudio de las opiniones de los 10 economistas líderes en cierto país
mostró que, debido a que se espera una baja en los precios del petróleo, siete redujeron su
estimación de la tasa de inflación, ocho aumentaron su estimación de la tasa de crecimiento
del producto interno bruto, dos redujeron su estimación de la tasa de inflación pero no
aumentaron su estimación de la tasa de crecimiento del producto interno bruto. En ese país
durante los próximos 12 meses. ¿Cuántos economistas redujeron su estimación de la tasa de
inflación a la vez que aumentaron su estimación de la tasa de crecimiento del producto
interno bruto para ese período?.

UNIVERSIDAD ANDRES BELLO 8