Universidad Tcnica Federico Santa Mara

Departamento de Matemticas
Coordinacin de Matemticas I (MAT021)
1
er
Semestre de 2013
Gua de Ejercicios Semana 1, Complemento: Lunes 11- Viernes 16 de Marzo
1. Cules de las siguientes expresiones son proposiciones?
a) 124 es un nmero divisible por 4.
b) Cul es la hora a la que naliza la clase?
c) 1 + 1 = 2
d) 1 < 3 2
e) Existe un nmero real x tal que x
100
57x
53
25x
7
+ 500 = 0
f ) x +y = 1
g) Es Verano
h) 2 + (1) = 5
i ) Parece que va a llover
2. Determinar cuales de las siguientes proposiciones son equivalentes
I) El caf es agradable, a menos que se le agregue azcar
II) El caf es agradable si no le agregamos azcar
III) Si agregamos azcar, el caf es agradable
IV) Si agregamos azcar, el caf no es agradable
Respuesta: Las proposiciones I y IV
3. Determinar si la siguiente proposicin compuesta p == (p . [p . q])es o no Tautologa
Respuesta: Es Tautologia.
4. Determinar si las siguientes proposiciones son Tautologa, Contradiccin o Contingencia
a) [(p . q) = p] = q
Respuesta: Contingencia.
b) [p = (q . p)] . (q . p)
Respuesta: Tautologa.
c) [p = (p . r)] . [q . (q . p)]
Respuesta: (p . q) (Contingencia)
d) [p = ((r . q) . p)] . (q = p)
Respuesta: p Contingencia.
5. Pruebe si la siguiente proposicin (p == q) == (p . q)es o no una Tautologa:
Respuesta: Si es una Tautologa.
MAT-021 Primer Semestre de 2013 1
Universidad Tcnica Federico Santa Mara
Departamento de Matemticas
6. Verique que ((p == q) . (q == p)) == (p == q) es una tautologa a travs del uso de una
tabla de Verdad.
7. Se dene el siguiente conectivo lgico (p + q) == (q . (q == p)) Determine el valor de verdad
de p + p:
Respuesta: Falso
8. Si (p . q) == t, pruebe que la siguiente proposicin es una tautologa
p . (q == t) == F
9. Sean p y q dos proposiciones. sabiendo que r es una proposicin falsa, determine el valor de verdad
de la siguiente proposicin [p == (q == r)] == [(p . q) == r]
Respuesta: Tautologa.
10. Si (p . r) es verdadera, entonces la proposicin:
[(p == s) == r] . (s . r)
Es tautologa, contradiccin o contingencia.
Respuesta: Contradiccin.
11. Si p es una proposicin Verdadera, determinar el valor de verdad de la proposicin q , de modo
que la proposicin compuesta (p = q) == [(p . q) = F] sea Verdadera.
Respuesta: La proposicin es una Tautologa, para q Verdadera o Falsa.
12. Si la Proposicin compuesta (p . q) . (p . r) es Falsa, determinar el valor de verdad de la
proposicin (q . r) Y p:
Respuesta: Verdadera.
13. Pruebe que [(p = q) = (q = p)] . (p . q) = q
Conjuntos
1. Escribir por extensin los conjuntos:
A = 2; 4; 6; 8
B =
_
1
2
;
1
3
;
1
4
;
1
5
;
1
6
;
1
7
_
Respuesta:
A = x N /(x es par) . x < 10
A =
_
1
n
_
n N . 2 _ n _ 7
_
MAT-021 Primer Semestre de 2013 2
Universidad Tcnica Federico Santa Mara
Departamento de Matemticas
2. Se denen los siguientes conjuntos
U = R
A = x Z /5 _ x < 6
B = [3; 10] ' [12; 14]
C = x U /4x 2 < 6
Exprese claramente los siguientes conjuntos: AB; (B ' C) A; C
c
A:
Respuesta: AB = 5; 4 ; (B ' C) A = A; C
c
A = 2; 3; 4; 5 :
3. Sean A; B y C tres conjuntos contenidos en un conjunto Universo U, tales que A B = ? y
C _ B. Pruebe que:
_
A
C
' (B C)
C
_

__
B
C
' A
C
_
A
C

= A
4. Exprese a travs de operaciones entre conjuntos, la zona achurada del diagrama de Venn
U
B A
C
Respuesta: (A B C) ' [A(B ' C)] ' [B (A' C)]
5. Si A B y C B: Usando propiedades de conjuntos verique que se cumple:
[(AB)
c
C] ' (A' B) = B
6. Considere el conjunto Universo
U = x IN /x es mltiplo de 3 . 5 < x _ 18
y los conjuntos A = x U /x es par . x _ 8 y B = x U /x es mltiplo de 4 ; Obtener el
conjunto (A B)
c
(A' B).
Respuesta: (A B)
C
(A' B) = 9; 15
MAT-021 Primer Semestre de 2013 3