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]