Resolucin por parte del grupo N10 ejercicios: 3, 9, 11, 23, 30, 38, 45. 3.
- 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
p=F; q= F PARA QUE SEA FALSA
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
9.- Sean p y q dos proposiciones distintas , si (p v q) es falsa entonces
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) VVV VVF FVV FFF
(p v q) FFF
11.- Si la proposicin p es verdadera ( V ) y la proposicin q es verdadera
( V ) . De las expresiones siguientes cul (es) es(son) correcta(s) : a) p q = V (V) b) p q = F (X) c) p v q = F (X) d) p q = V (X)
a)
(p q) V V V (V) V FF FVV FVF (p V q) V V V (X) V V F FV V FF F
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
30.- Probar que las tres proposiciones siguientes son equivalentes:
p (q v r) (p q) r (p q) v (p r)
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.-
[( (p q)) r] [ [(p q) r] [ [(p v q) r] [ [ (p q) r] [ (p q) v r ] [( (p q)) r] [( (p q)) r]
