UN I V E R S I D A D AN D R É S BE L L O

DE P A R T A M E N T O DE MA T E M Á T I C A S
SE G U N D O SE M E S T R E 2014
FMM 009-AL G E B R A

AYUDANTÍA No 1

1. Sean p y q proposiciones. Sabiendo que el valor de verdad de q es

falso, determinar el valor de verdad de p; ( en cada caso) para que cada una de
las siguientes proposiciones sean falsas.

a) p ) (q ^ p)
b) (p _ q) ) (p ^ q)

2. Sean p; q y r proposiciones. Demuestre que las siguiente proposiciones

son tautología.

a) [(p ) q) ^ (q ) r) ^ (r)] ) (p)

b) [(p ) q) ^ q] ) [p ^ (q ) p)]

3. Sean p; q; r y s proposiciones. Se de…ne los conectivos y de la

forma:

(p q) , (p ) q)
(r s) , (r _ s)

Determine el valor de verdad de la siguiente proposición (Sin tabla

de verdad).
h i
p ^ (p r) ^ (p q) ^ (s p)

4. Dados los conjuntos A = f1; 2; 3g ; B = f 1; 1g : Determine el valor

de verdad de:
x y2
a) (8x 2 A) (9y 2 B) y 1 _ x <1
2
x y
b) (9y 2 B) (8x 2 A) y 1 _ x <1

5. Considere el conjunto A = f 1; 0; 2; 4; 8g y las proposiciones

p : (8x; y 2 A) x + y 4 ) x2 + y 2 < 2
q : (8x 2 A) (9y 2 A) ((x + y 3) _ (x + y 16))

a) Determine el valor de verdad de p y q:

b) Escriba la negación de q: