UNIVERSIDAD TCNICA DE ORURO

FACULTAD NACIONAL DE INGENIERA

DEPARTAMENTO DE MATEMTICA
GUA DE EXAMEN: ALGEBRA I (MAT 1100 S; Z)
TEMA: LOGICA MATEMATICA

1.- Construir tablas de verdad de las proposiciones y clasificarlas (tautologa, contradiccin o contingencia?)

a) ( ) ( ) b) [( )][( ) ] c) [( ) ( ) ()] ()

2.- Cuales de la proposiciones son equivalentes a) construyendo tablas de verdad b) Utilizando propiedades y leyes
lgicas. a) {( ) [ ( )]} b) ( ) [ ( )] c) ( )
[ ~( )] Sugerencia: Puede utilizar el asistente matemtico Derive para construir las tablas de verdad

3.- a) Construir el circuito lgico asociado a la proposicin: p q p q q p p

b) Simplificar la proposicin anterior. c) Construir tabla de verdad y clasificar la proposicin de a)

d) Hallar el valor de verdad de: p q p q q p p Si: p:2 es nmero impar; q:6 es numero
primo

4.- Expresar las siguientes proposiciones de otra forma, utilizando nicamente los operadores (negacin) e
(implicacin)

a) ( ) ( ) b) ( )

5.- a) Sean las proposiciones: p: 3 es un numero par q: 8 6 < 7 hallar el valor de verdad de ( p q ) ( p q )
a) Construir la tabla de verdad y clasificar la proposicin: ( p q ) ( p q ) (Tautologia, contradiccin o
contingencia?) c) Construir el circuito lgico asociado

6.- Sea el conjunto A = {1, 2, 3, 4, 5} y las proposiciones: p: / ( + 3 = 10) ( + 7 < 10) ;q: : + 1 6
Hallar el valor de verdad de: ~[( ) ( )]

7.- Demostrar la regla de inferencia a) Silogismo hipottico b) Silogismo disyuntivo

8.- Escribir el polinomio booleano y determinar la validez de los siguientes argumentos:

a)Ella se casa por amor o por dinero. Pero ella no se casa por dinero. Por tanto ella se casa por amor

b) El pueblo trabaja entonces el pueblo progresa; El pueblo no trabaja. Por tanto el pueblo no progresa

9.- Hallar una proposicin verdadera y otra falsa a partir del esquema proposicional: F(x,y): x2 + y < 1 Conjunto universo U =
(Que representa geomtricamente F(x,y)) Sugerencia: Puede utilizar el asistente matemtico: Derive, Graphmat o Geogebra para
graficar F(x,y)

10.- Hallar la proposicin compuesta tal que la tabla de verdad sea:

P q ?
V V F
V F V
F V V
F F F

ING. JULIO MAMANI GUAYGUA Entrega: 1er parcial

DOCENTE
 UNIVERSIDAD TCNICA DE ORURO
FACULTAD NACIONAL DE INGENIERA
DEPARTAMENTO DE MATEMTICA
GUA DE EXAMEN: ALGEBRA I (MAT 1100 S y Z

TEMA: TEORIA DE CONJUNTOS

1) Determinar por extensin los conjuntos: a) A = { / 2 > 0 2 4 + 5}

b) B = {/ = 2 1 > 3 }
2) Determinar por comprensin: a) I = {5,7,9,11,13,15, . . }
b) P =

3) Sean los intervalos de nmeros reales: = [3,5] y = (1,6) Hallar a) BC b) B A c) A B d) AB e)

AB f) Graficar AXB g) B2 h) Una particin de B con 3 celdas

4) Si: = {/ 5 5} ; = { /| 1| 3} ; = { / } ; = { / 3} ;

= { /2 4} Hallar: a) (AUB)-(C-D) b) (AB)(CUD)C

5) Demostrar: a) (AB) (AC) A(B C) b) A (A B) = B Si: c) [(A - B) B] = B A

6) Si A, B y C son conjuntos y cumplen que: A C ; B C ; n(C) = 100 ; n(A B) = 70 ; n(A B) = 20 ; n(B) n(A) =

2 Determinar: a) [( ) ] b) [( ) ]

7) Un ingeniero que dirige una construccin de un mercado de dos plantas; Tiene un personal de 28 obreros. Si
17 obreros trabajan en la 1ra. planta y 15 obreros trabajan en la 2da. Planta.

a) Cuantos obreros trabajan en ambas plantas? b) Cuantos obreros trabajan solo en la 1ra. Planta? c)

Cuantos obreros trabajan solo en la 2da. Planta?

8) Si los conjuntos: A = {3 + 9, 4} y B = {5 + 2, 4} son unitarios. Hallar por extensin el conjunto

C = {6 + , 2 + 8 3} Tambin ser conjunto unitario?

9) Si: n[P(A)] = 128, n[P(B)] = 16 ; n[P(A B)] = 8 Hallar n[P(A B)]

10) Si: A = { / 200} Determinar a) Cuantos nmeros son mltiplos de 2 b) Cuantos nmeros son mltiplos de 3

c) Cuantos nmeros son mltiplos de 2 y de 3 d) Cuantos nmeros no son mltiplos ni de 2, ni de 3 (Sugerencia: realice
un diagrama de Veen-Euler)

11) Representar la expresin que representa la parte sombreada en cada uno de los siguientes diagramas.

a) b) c) U
A B
A B A B

C
C
C

ING. JULIO MAMANI GUAYGUA (DOCENTE) Fecha entrega 1er parcial