You are on page 1of 1

Ingeniera Matemtica

FACULTAD DE CIENCIAS
FSICAS Y MATEMTICAS
UNIVERSIDAD DE CHILE
lgebra 08-1

Control 1

P1. (a) (4 ptos.) Sean p, q, r y s proposi iones. Pruebe, sin usar tablas de verdad, que
[(p q) (s r)] [p r (q s)]

es una tautologa.
(b) (2 ptos.) Considere las proposi iones siguientes:
p : (x R)(y R)(x y)
q: (y R)(x R)(x y).

Indique el valor de verdad de ada una de ellas justi ando su respuesta. Finalmente es riba sus
nega iones.
P2. (a) (3 ptos.) Sea A un sub onjunto jo del onjunto universo U . Probar que X, Y U se tiene que

(X A = Y A) (X A = Y A) X = Y

(b) (3 ptos.) Sea A U , A 6= . Se dene FA P(U ) por


X FA s y slo s X U y X A 6= .
Demuestre que dado B U ,
1. U FA y A FA .
2. Si A \ B 6= B c FA.
3. Si B FA C U (B C) FA .
29 de marzo de 2008
Sin consultas
Tiempo: 1:15