SOLUCI

ON DEL PARCIAL 1
1. Sea P la proposici on .V x/

x R x
2
= x

. Entonces:
i P - .J x/

x R . x
2
= x

.
ii P es falsa y P es verdadera: x = 0 ( o x = 1) es un contraejemplo de P y una prueba de P.
iii .p q/ p.q. Justicaci on. Es consecuencia inmediata de la denici on de la implicaci on:
p q .p . q/ (tambi en vale el uso de tablas).
2. Sean A, B y C conjuntos.
i Probar que A _ .ALB/. Se debe probar que todo elemento de A est a en .ALB/. Esto es cierto
porque x A .x A x B/ tiene la forma de una tautologa: p .p q/.
ii Probar que A .B L C/ = .A B/ L .A C/. Se debe probar que todo elemento del primer
conjunto est a en el segundo, y recprocamente:
x A .B L C/ - x A . x .B LC/ Denici on de intersecci on.
- x A. .x B x C/ Denici on de uni on.
- .x A. x B/ .x A. x C/ Distributividad de . sobre :
- x .A B/ x .A C/ Denici on de intersecci on.
- x .A B/ L .A C/ Denici on de uni on.
iii Completar .AL B/ A =? y probarlo. Un diagrama puede ayudar a conjeturar una respuesta,
la cual tambi en se puede obtener (junto con su prueba) mediante equivalencias l ogicas:
x .A LB/ A - x .A LB/ . x A Denici on de diferencia.
- .x A x B/ . x A Denici on de uni on.
- .x A. x A/ .x B . x A/ Distributividad de . sobre :
- x B . x A Tautologa: F P p:
- x .B A/ Denici on de diferencia.
Por lo tanto .AL B/ A = B A.
3. i 6 = 8
4
5 x
-
4
5 x
= 8 6 - 2 = 5 x - x = 3.
Vericaci on: 6 = 8
4
5 3
. (En los tres pasos se usaron propiedades uniformes de y /:
ii En Z
7
, 3x 5 = 2 - 3x 5 2 = 2 2 (Propiedad uniforme de ).
- 3x = 4 ( 5 2 = 0 y 2 2 = 4 )
- x = 4 3
1
= 4 5 = 6 (Propiedad uniforme de .)
Luego x = 6. Vericaci on: en Z
7
, 3 6 5 = 4 5 = 2.
iii En R, una fracci on es negativa si y solo si numerador y denominador tienen signos contrarios:
x 5
2 x
< 0 - .x 5 > 0 y 2 x < 0/ o .x 5 < 0 y 2 x > 0/
- .x > 5 y x > 2/ o .x < 5 y x < 2/
- .x > 5) o .x < 2/ - x .o; 2/ L.5; o/
Luego el conjunto soluci on de la desigualdad es .o; 2/ L.5; o/.
4. i Probar que si a R entonces .1/a = a. Se debe probar que .1/a es el opuesto de a, o sea
que la suma de ellos es 0. Prueba:
.1/a a = .1/a 1 a (Axioma: neutro del producto).
= .1 1/a (Axioma: propiedad distributiva).
= 0 a (Axioma: propiedad de opuestos).
= 0 (Teorema: 0 a = 0).
Prueba del teorema: Por axioma del neutro de la suma, 0 0 = 0; luego, por propiedad uniforme
y distributividad, a.0 0/ = a 0 - a 0 a 0 = a 0. Finalmente, por propiedad
uniforme, al suma a 0 en ambos lados se obtiene a 0 = 0.
ii Probar que si a; b; c; d R y bcd = 0 entonces
a
b

c
d
=
ad
bc
.
Nota. La condici on bcd = 0 signica a = 0; b = 0 y c = 0, y la existencia de recprocos.
Prueba:
a
b

c
d
=

a
b

c
d

1
(Denici on de divisi on).
=

a
b

d
c

(Teorema 1: recproco de una fracci on).

=

ab
1

dc
1

(Denici on de fracci on).

= .ad/

b
1
c
1

(Conmutatividad y asociatividad de ).
= .ad/ .bc/
1
(Teorema 2: b
1
c
1
= .bc/
1
).
=
ad
bc
(Denici on de fracci on).
Pruebas de los teoremas 1 y 2:
Teorema 1.

c
d

d
c

= .cd
1
/.dc
1
/ = .cc
1
/.dd
1
/ = 1. Luego

c
d

1
=

d
c

:
Teorema 2. .bc/.b
1
c
1
/ = .bb
1
/.cc
1
/ = 1 1 = 1. Luego .bc/
1
= b
1
c
1
.
iii Probar que si a; b; c R, a < b y c < 0 entonces ac > bc.
Bajo las hip otesis a < b y c < 0, se debe probar que ac bc es positivo.
Por denici on de <, las hip otesis signican que b a y c son positivos. Luego, por axioma
de orden O2, el producto .b a/.c/ es positivo. Pero .b a/.c/ = ac bc, as que ac > bc.
Nota. En la califcaci on de 4iii habr a cierta laxitud en cuanto a la exigencia de las justicaciones
de los pasos de la prueba.
5. i El n esimo impar positivo es 2n 1. (Los primeros son 2 .1/ 1 = 1; 2 .2/ 1 = 3, etc.)
ii Conjetura: 1 3 ::: .2n 1/ = n
2
, sugerida por 1 3 = 2
2
, 1 3 5 = 3
2
, etc.
iii Para n N; n _ 2, sea P
n
la proposici on 1 3 ::: .2n 1/ = n
2
. Entonces:
a) Si n = 2, 1 .2 2 1/ = 1 3 = 2
2
, luego P
2
es verdadera.
b) P
n
[ 1 ::: .2n 1/ = n
2
] implica P
nC1
[ 1 ::: .2n 1/ .2n 1/ = .n 1/
2
]:
1 ::: .2n 1/ .2n 1/ = n
2
.2n 1/ (hip otesis de inducci on)
= .n 1/
2
.