Grupo A Algebra I - MAT 100

Curso de Invierno 2019

Universidad Mayor de San Andrés

Facultad de Ingeniería

Curso Básico

Práctica
Lógica y teoría de conjuntos
Álgebra I
MAT-100

Elaborado por: Joel Gastón Nieto Coronel

Grupo: A

Gestión: Invierno-2019
Grupo A Algebra I - MAT 100
Curso de Invierno 2019
I. Lógica
1. Simbolizar cada una de las siguientes proposiciones siguientes:
a) La decisión dependerá del juicio o la intuición, y no de quien pago más.
b) Si esta planta no crece, entonces necesita más agua o necesita mejor
abono.
c) El juez lo sentencia a Octavio si y solo si el fiscal puede probar su
culpabilidad.
2. Sean p, q y r los siguientes enunciados:
p : Estudiare matemáticas
q : Iré a mi clase de computación
r : Estoy de buen humor.

Escriba en lenguaje común las oraciones que corresponden a los siguientes

enunciados.
a) pq
b) r  ( p  q)
c) r  ( p q)
d) ( p  q)  r
3. Determinar, por medio de una tabla de verdad, si cada una de las siguientes
proposiciones es una tautología, contradicción o contingencia.
a) ( p q)  p   ( p  q)

b)  p  q    q  r   ( p r )
c) p  q   r   r   p q 
4. Sean p y q dos proposiciones cualesquiera y r es un proposición falsa,
determinar el valor de x para que la proposición dada sea verdadera:
(r  p)   ( x  r )  ( r  q)  ,
 : Disyunción exclusiva
5. Simplificar:   p  p  
r   q  r 

6. Simplificar la siguiente proposición:  p  q    q  r   r  p

7. Para  p  q    p  r    q  r    p  q    p  r 
a) Trazar el circuito lógico equivalente de la proposición de la izquierda sin
simplificar.
b) Demostrar o refutar la equivalencia lógica mediante tablas de verdad.
8. Para la siguiente proposición ( p  q  r )  ( p  q r )  ( p  q )
a) Graficar el circuito equivalente a la proposición dada.
b) Simplificar utilizando las reglas del algebra de proposiciones.
9. Elaborar la tabla de verdad y el circuito equivalente para la proposición:
 p  q    r   p r    q
10. Hallar el circuito lógico de la proposición simplificar:
  p  q    q  p    r  s    p 
q   q   p  q 
Grupo A Algebra I - MAT 100
Curso de Invierno 2019

11. Hallar el circuito lógico equivalente: ( p  q)   q  r    p r 

12. Establezca la validez de los siguientes argumentos
a.
pq
q
r
  p  r
b.
p  q  r 
q p
p
r
c.
pq
r q
r
 p

13. Describir utilizando cuantificadores universales y existenciales las siguientes

proposiciones abiertas.
a) Un número n es impar si y solo si existe un entero k tal que n  2k
b) Para todo número real x se cumple: x  0
c) Para todo entero a existe un elemento inverso a tal que a  ( a)  0
d) Para todo entero a existe un elemento neutro 0 tal que a  0  a .
14. Dar una interpretación geométrica a las siguientes proposiciones y luego
negarlas e interpretar.

a) Definición de límite de una función real de variable real : Sea una función
f: 
lim xx0 f ( x)  L    0,   0 / 0  x  x0    f ( x)  L  
b) Definición de límite de una sucesión: sea an : 
limn an  L    0, n0  0 / n  n0  an  L  
15. Elaborar las tablas de verdad de: p  q , q  p , p q y q p,
¿Qué conclusiones puede sacar de estas tablas de verdad?
16. Demostrar:
a) Un numero es impar si y solo si su cuadrado es impar
b) 2 es irracional
c) Existen infinitos números primos en la sucesión 1, 2,3, 4,5,....., n,.....
Grupo A Algebra I - MAT 100
Curso de Invierno 2019
II. Teoría de conjuntos
1. Escribir por extensión cada uno de los siguientes conjuntos:
A  x  /1  x  7
B  x  / 1  x  9
C   x  / ( x  1) 2  4
D  x  / x 2  x
E  x  / x 3  x
2. Escribir por extensión los conjuntos:

A   x  U / 3  x  3
B   x U / x 2 U 

Para los casos en que:

a)U  1, 2,3, 4,5, 6, 7,8,9

b)U  3, 2, 1, 0,1, 2,3, 4,5, 6, 7,8,9

3. Si A, B,U son los conjuntos del ejercicio anterior, hallar para cada inciso:
A  B, A  B, A  B, B  A, AB, Ac Bc
4. Determinar el cardinal de cada uno de los anteriores conjuntos.
5. Si A  1, 2,3, 4 y B  w, x, y, z , cuantos elementos forman el conjunto de
partes de A  B .
6. ¿Cuántos subconjuntos del conjunto A  1, 2,3, 4,5, 6, 7,8,9,10,11 contienen al
menos un numero par?
7. Hallar el valor de verdad de las siguientes proposiciones :
i) Si U es el conjunto universo entonces:

 A  B   B   A  B   C   U

ii) Si A  B entonces A  B  
8. Demostrar:
a) A  ( B  C)  ( A  B)  C
b) A  ( B  C )  ( A  B)  ( A  C )
c) Si A  B y C  D entonces ( A  C )  ( B  D)
d) ( A  B)  C  ( A  C )  ( B  C )
9. Usando propiedades de la teoría de conjuntos demostrar
( A  B)  ( A  B)C  ( A  B)  ( B  A)


10. Simplificar (Y  X )c   X ( X c  Y )   (Y c  X c )  ( X c  Y ) 
c

11. Sean los conjuntos A, B, C  2
donde:
Grupo A Algebra I - MAT 100
Curso de Invierno 2019

A  ( x, y ) / y  2 x  1
B  ( x, y ) / y  3x
C  ( x, y ) / x  y  7
Hallar:
a) ( Ac  Bc )c
b) ( B  C )c
12. Mediante diagramas de Venn determine si la siguiente equivalencia es
verdadera o falsa:
a) A( BC )  ( AB)C
b) A( B  C )  ( AB)  ( AC )
13. En un determinado mes del año, Bolivia recibe la visita de 450 turistas, de los
cuales 200 visitan La paz, 200 visitan Santa Cruz, 200 visitan Cochabamba, 30
visitan los 3 lugares, 70 visitan La paz y Santa Cruz, 70 visitan Cochabamba y
Santa cruz.
¿Cuántos visitaron solo La Paz?
¿Cuántos visitaron Cochabamba y Santa cruz pero no La paz?
14. Dados 3 conjuntos A , B Y C . La unión de los tres tiene 22 elementos A
tiene 16 , B y C tienen 12 cada uno. La intersección de A con B tiene 10
elementos. La intersección de A con C tiene 8 elementos, y la diferencia
simétrica de B con C tiene 10 elementos. ¿Cuántos elementos pertenecen a
un solo conjunto?, ¿Cuántos están A o en C pero no en B?
15. Determinar cuántos múltiplos de 31, pero no de 3 existen entre 1500,3000
16. Se escriben los naturales del 1000 al 3000 ¿Cuántos números son múltiplos de
15 y 25 pero no de 40?
a. Bibliografía
Los problemas han sido seleccionados de:
Documento propiedad intelectual de:
Matemática discreta y combinatoria R.Grimaldi
Algebra Armando Rojo
Algebra moderna Lazo
Exámenes de Algebra del Curso Básico facultad de Ingeniería (UMSA)

**************************************************************************************
*************************************************************************************

"Fui a los bosques porque quería vivir a conciencia, quería vivir a fondo y
extraer todo el meollo a la vida; dejar de lado todo lo que no fuera la vida para
no descubrir, en el momento de la muerte, que no había vivido". W. Thoreau