Pontificia Universidad Catolica de Valparaso

Instituto de Matematicas

Gua 1, Mat 165-1

Marzo de 2013
Profesor: Antonio Morales A.

1. Dadas las proposiciones p, q, r y s, simplifique (al maximo) las siguientes proposiciones, clasificando cada una de ellas seg
un sean tautologas, contradicciones o contingencias. Verifique ademas sus
conclusiones haciendo una tabla de verdad.
a) ((p r) (r p))
b) [p (p (q r)) q] r
c) (p q) (p q r)
2. Dadas las proposiciones p, q y r, determine (si es posible) el valor de verdad de las siguientes proposiciones, usando la informacion entregada:
a) (p q) r, donde r V .
b) p (q r), donde (q r) V .
c) (p q) (p r), donde p V y r F .
3. Sean p, q y s tres proposiciones. Determine el valor de verdad de la proposicion q, sabiendo que p F ,
s F y [p (s q)] V .
4. Encuentre los valores de las proposiciones p, q y r, sabiendo que la proposicion [(pq)(pr)(q r)]
es falsa.
5. Sean p, q y r tres proposiciones. Si definimos el conectivo u por p u q (q (p q)), simplifique (al
maximo), y clasifique (as como se pide en el ejercicio 2), la siguiente proposicion:
(p (r u r)) (p u r)
6. Sean p, q dos proposiciones. Si definimos el conectivo  por p  q (p q), simplifique (al maximo),
y clasifique (as como se pide en el ejercicio 2), la siguiente proposicion:
q  (p  q)