- Qu condiciones debe satisfacer p y q para que la siguiente proposicin sea: a) [ ( q p ) q ] ( p q ) Falsa b) [ ( p q ) r ] v [ q r ] Falsa c) { ~p ( p v q ) } [ p q ] Verdadera Resolucin: a)
[ ( q p ) q ] (p q)
V F V F V V F F V F F F F V F V F V F V V V F V V V V F F F F F F V F V
b)
[ ( p q) r ] v [q r ]
F F F F V V V V c) V V V V V V F F V V F F V V F F F V F V F V V V F V F V F V F V V V V V V V V V F F V V F F V V V V V F V V V F V F V F V F V F NI p NI q cumple las condiciones para que la proposicin sea falsa puesto da como resultado una contradiccin
{~p (p v q ) } [p q ]
F F V V F F V F V V V V F V F F V F V F F V V F V F F F F F F V V F V F NI p NI q cumple las condiciones para que la proposicin sea falsa puesto da como resultado una contradiccin
a) p es verdadera y q es falsa b) p es verdadera y q es verdadera c) p es falsa y q es falsa (V) d) p es falsa y q es verdadera e) Ninguna de las anteriores Resolucin: Dados los datos de que (p v q) es falsa y basndose en las condiciones para que la disyuncin sea falsa tanto p como q deben ser falsas:
(p v q) FFF
a)
b)
(p q) V V V (X) V FF F FV F FF
c)
d) (p q) F F V (V) F FF V V V (X) V FF
I.- Tautologa, Contingencia o Contradiccin Demuestre por medio de tablas de verdad si la siguientes proposiciones son Tautologa (T) Contingencia (k) o Contradiccin (C)
23.-
[(a b) (b c)] (a c) VVV VVVV V VVV VVV FV FF V VFF VFF FF VV F VVV VFF FF VF V VFF FVV VV VVV FVV FVV FV FF F FVF FVF VF VV V FVV FVF VF VF V FVF
Contingencia (k)
III.- Esquemas Equivalentes Se dice que son esquemas equivalentes cuando los valores veritativos de ambas tablas son iguales. Determine si las siguientes proposiciones son equivalentes o no.
26.-
(p q) V V V V F F F F V F V F
con
(p q) F V F F F V V F F V V V
SI ES EQUIVALENTE
p (q VV V VV V VV F V F F FV V FV V FV F FV F
v V V V F V V V F
r) V F V F V F V F
(p q) r V F F V V V F F V F V V V V V V V V F F F F F V V F F F V F F F V V V F F V V F
(p q) V V V V V V V F F V F F F V V F V V F V F F V F
v V V V F V V V V
(p r) VV V VF F V V V V F F F V V F V F F V V F V F
SI SON EQUIVALENTES
V.- Uso de Propiedades o Teoremas Lgicos Demuestre las siguientes equivalencias utilizando las propiedades o teoremas de lgica.
38.-
[[(q v r) q] (p r)] [(q v p) (q v r)] [[(qr) q] (p r)] [(q v r) (p r)] [(q v r) p] [(q v p) (q v r)] [(q v p) (q v r)]
45.-