GUA N1.

LGEBRA

1) Escribir simblicamente cada una de las siguientes proposiciones compuestas y

determinar su valor de verdad:
a) Si 7 es un nmero par, entonces 14 es un nmero primo.
b) Para que 12 sea un nmero primo, es necesario que 3 sea mltiplo de 6 y
que 12 sea divisible por 3.
c) No es verdad que: 2 3 6 , si y slo si, 3 1 5 implica 2 6 7 .

2) Sabiendo que la proposicin p r q es falsa, determinar el valor de

verdad de la proposicin p r q q p p s .

3) Sabiendo que la proposicin s r t es falsa, determinar el valor de

verdad de la proposicin p , de modo que sea verdadera la proposicin

p s p t r p p r t q s
4) Sabiendo que la proposicin p q q r es verdadera, y que la
proposicin p q r r tambin es verdadera, determinar el valor de
verdad de la proposicin p q q r .

5) Probar que la proposicin p p q r q r es una tautologa

utilizando:
a) Tablas de verdad.
b) lgebra de proposiciones.

6) Se define el conectivo por p q p q

a) Construir la tabla de verdad para este conectivo.
b) Determinar el valor de verdad de la proposicin p q r , si se sabe que
p es falso, q es verdadero y r es falso.
c) Simplificar la proposicin: p q p q

PROFESOR: Patricio Suzarte Herrera

 GUA N1. LGEBRA

7) Simplificar las siguientes expresiones:

a) p q p q
b) p q r q
c) p q q p q
d) p q p q

e) p q p q r p q p q


f) p q p q p p q

g) p q q r p r

8) Se define el conectivo por p q p q p p q

Determinar el valor de verdad de las proposiciones:
a) p p
b) p p
c) p q q
9) Se define el conectivo por la siguiente tabla de verdad:

p q pq
V V V
V F V
F V F
F F V

Determinar el valor de verdad de la proposicin:

q p p q q p

PROFESOR: Patricio Suzarte Herrera