FUNDAMENTOS DE ALGEBRA .

Tarea para tener derecho al examen I, (Secci

on de l
ogica y conjuntos).
Teoremas: En matem
aticas, la relacion p q se usa como un metodo de razonamiento, el
cual significa que q se deduce l
ogicamente de p.
En general, un teorema se expresa si p es verdadera, entonces q es verdadera. As se dice
que p es una hip
otesis y q es una tesis.
Definici
on 1. Si tenemos el enunciado p q, este se llama un teorema directo, mientras que
q p se llama el teorema recproco. El enunciado p q se acostumbra llamar el teorema
inverso, mientras que q p se llama finalmente el teorema contrarecproco.
Definici
on 2. Diremos que una proposici
on es una tautologa si su valor de verdad siempre es
verdadera, y diremos que una proposici
on es una contradiccion si su valor de verdad siempre
es falso.
Definici
on 3. Una forma proposicional, o proposici
on abierta, es una afirmaci
on que contiene
a una o m
as variables, la cual llega a ser una proposici
on cuando se especifican los valores de
las variables.
Por ejemplo, si x es un entero impar, entonces x2 es un entero impar.
Resuelva los siguientes ejercicios, cuando sea necesario, justifique sus procedimientos
y escriba de la forma m
as clara y completa posble sus resultados.
1. Demuestre que p q es l
ogicamente equivalente a q p, que el enunciado q p es
logicamente equivalente a p q.
2. Verifique que los siguientes enunciados son tautologas:
a) (p q) (p q)
b) (p (q r)) ((p q) (p r)).
3. Demuestre sin el uso de tablas de verdad:
a) p (p q) p.
b) (p q) (p q) p.
c) (p q) r p (q r)
d ) [< (p q) (p t) > < (r q) (r t) >] [(p r) (q t)].
4. Si la proposici
on (p q) (r t) es falsa, determine el valor de verdad de la
proposici
on (p t) (r q).
5. Exprese en smbolos l
ogicos y despues escriba la negacion de las siguientes proposiciones.
a) Todo n
umero primo es impar.
b) Todo entero mayor que dos es primo, o es suma de dos n
umeros primos.
c) Existe un tri
angulo is
oceles que tambien es triangulo rectangulo.
d ) Existe un cuadril
atero equiangular que no es cuadrado.

6. Indique en cu
ales de los siguientes casos p es condicion suficiente para q, y en cuales p es
condici
on necesaria y suficiente para q donde:
a) p : El n
umero x es m
ultiplo de 8;

q : El n
umero x es par.

b) p : Los n
umeros x y y son pares;

q : El n
umero xy es par.

7. Escriba la negaci
on de las siguientes proposiciones:
a) >0 >0 0 < |x a| < |f (x) L| < .
b) nN mN n m.
8. Determine el valor de verdad de las siguientes proposiciones.
a) xZ

x x2 .

b) xR

x2 + 2x + 1 = 0.

9. De una lista que describa por completo todos los elementos de los siguientes conjuntos:
a) {x N :

6 x 11}.

b) {x Q :

0 x2 100 x2 N}.

10. Determine si los conjuntos A y B son iguales:

x = 3n2 0 n 3},

a) A = {x R :

nN

b) A = {x Q :

x N},

c) A = {n Z : n + 2 1},
d ) A = ,

B = {0, 3, 12, 27}.

B = {n N : n Q}.
B = {m N : m + 2 1}.

B = {}.

11. Considere los conjuntos:

A = {2n + 1 : n N}, B = {4n + 1 : n N}, C = {n2 + 1 : n N}, D = {2n : n N}.
Determine cu
al es subconjunto de cual. (Hay 16 posibilidades)
12. Si A y B son conjuntos, demuestre que:
a) A B = B A B.
b) Si P(A) = P(B), entonces A = B. (Donde P(X) denota el conjunto potencia del
conjunto X.)
c) Si A B c , entonces A B = .