Professional Documents
Culture Documents
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