TAREA N°3: TABLAS DE VERDAD Y SU CLASIFICACION

NOMBRE: GRUPO: FECHA:

DOCENTE: MSc. Ing Nancy Abarca UAGRM SEM I 2020

1) Sabiendo que (p → ~q)  (~r → s) es Falsa, encuentre el valor de verdad de las

siguientes fórmulas proposicionales:

a) (~p  ~q)  ~q
b) (~r  q)  [(~q  r)  s]
c) (p → q) → [(p  q)  ~q]

2) Sabiendo que p es Verdadera, y que q y r son proposiciones cualesquiera, halle el

valor de verdad de:

a) q → ( p q)
b) [( r  ~ p )  ( q  p )] → r
c)  q  ( p  q)  ( q  p)

3) Si las simplificaciones ( p  ~ q) → q y ( p  q ) →~ r son verdaderas, ¿Cuál es el

valor de verdad de p y de r?

4) Determine cuáles de las siguientes fórmulas proposicionales son lógicamente

equivalentes:

i. ~ (p → q )  [( p  q )  ~ q]

ii. [( ~ p  ~ q)  ~ q]  ~ [(p  q )  q ]

iii. [~ q  (~ p  q )]  ~ (~ p → q )

5) Dadas las fórmulas proposicionales siguientes,

i. Construya la correspondiente tabla de verdad.
ii. Simplifique aplicando leyes lógicas.
iii. Clasifique en Tautología, Contradicción o Contingencia.

a) [(~p  q) → (r  ~r)]  ~q
b) ~ [(~p  q) → p]  q
c) {[ p → (q  ~p)] ~q}  ~(p  q)
d) [(~p  q)  (q → r)] → ~(p  ~r)
e) {( p  q)  [ p  (~p  q)]}~(p → ~q)
f) (~p~r)  [~(p  q)~r]
g) [(~p  q) → ~r]  [ r ~(p ~q)]
h) {( p  q)  [ p  (~p  q)]}~(p → ~q)
i) [(r → ~p)  ( p → ~q)]  [~p → r )  (~q → p )]
j) ~p → {(~q  r)  [(~q  r) → s]}