Práctica Tablas de Verdad

1. Determine cuáles de las siguientes oraciones son proposiciones:

a) x + 3 es un entero positivo.
b) ¡Si todas las mañanas fueran tan soleadas y despejadas como ésta!
c) Quince es un número par.
d) ¿Qué hora es?
e) Hasta el día de hoy, Roger Federer ha ganado 20 títulos de Grand Slam.
2. Sean p, q proposiciones tales que la implicación p  q es falsa. Determine los valores de verdad
de:
a) p  q Falso p' ¬p ~p p
b)  p  q
c) q  p
d) ~ q  ~ p
3. Construya la tabla de verdad de cada una las siguientes proposiciones compuestas.
a) (p   q)  p
b) p  (q  r)
c) [p (p  q)] q
d) q  ( ~ p  q' )
e) [(p  q)  (q  r)]  (p r)
f) q  ( r  p)
g) p ( p  q)
h)  p  q ↔ p  q
Indique, para cada una de ellas, si es contingencia, tautología o contradicción.
4. Verifique las siguientes equivalencias lógicas utilizando tablas de verdad:
a) [( p ↔ q ) ^ ( q ↔ r ) ^ ( r ↔ p )] ≡ [( p  q ) ^ ( q  r ) ^ ( r  p )]

b) [ p  (q  r)] ≡ [ (p  q )  r ]