ACTIVIDAD N°2

~ [ (~p v q) v (r  q)] ^ [ (~p v q)  (q ^ ~p)]

~ [(F v F) v (VF)] ^ [(F v F)  (F ^ F)]

~ [F v F] ^ [F  V]

~[F] ^ V

V ^ V

1.

23=8

2.

(p  ~q) v (~r  s)
(V  F) v (VF)
F v F
F
p= V q=F r=V
p=V q=V r=F s=F
b)

p q r [p v (q  r)]  [(~p ^ ~r) ~q] 3. 23=8

a)
V ~V(pV{~ [ (p
~q) v r^ r)V 
V q]V^ [ (pV v q)b)
F s]} V F[ (s p)  t]
(~p  q) (p ~q)
{~ [(Vv^V) F F] ^  [(V v F) F]}  [(F V)  F]
V V~(VF)
F V V F V F V (FV)
F (VF)
{~ [V  F] ^ [V F]}  V  F
V F ~(F)
V v FV V V F F F V
[~{~[F]
(p ^ ~q)
^  (r ~s)] V
V} v (t ~p) F F
V F FV v FV V V F F F V
p q
[(pF ( V^V) ^  (V V)]V}
v[~{V~q) ^ ~ p] ~ (~q
v
p) (F
 F) FF
F V V V V V V F V F
F
V V V[~ (V) F V 
F F V]
F Vv F
F V F F F F V V F F
V F V [F F F F
 F Vv FEl esquema es falso
V] F
El Fesquema
F V es verdadero
F V V F F F V
F V F F V F F V
V v F
FF F F F F VVp=VVV q=F V
V F V
r=V V s=F t=F
F V V

Pasos
Pasos 1 13 32 2 76 5 44 V 6 5
 El esquema es contingente

5.
A= (pq) v ~p B= (~p v q)
A= (~p v q) v ~p
A= ~p v q
AB

(~p v q)  (~p v q)
V V V
F V F
V V V
V V V

A si implica B, la condicional es tautológica

6.
M= ~p  (p v q)
N= (p~q)
M=N
~p  (p v q) = (p ~q)
Leyes condicionales…. p v (p v q) = (~p v ~q)
Leyes de idempotencia…. p v q = ~p v ~q

M no es equivalente a N

7. a) ~ [~ (p ^~ q)]  ~p ……Proposición compuesta

~ [~p v q]  ~p …… Ley de Morgan
[~p v q] v ~p ……. Ley de condicional
~p v q ……Ley de idempotencia

b) [(p q) v ~p] ^ (~q  p) ……Proposición compuesta

[(~p v q) v ~p] ^ (q v p) ……. Ley de condicional
(~ p v q) ^ (q v p) ……. Ley de idempotencia
q v (~p ^ p) …. Ley distributiva
qvF …. Leyes del tercio excluido
q …. Formal normales para la conjunción y disyunción

8. P1: p ~q
P2: q v r [(P  ~ q) ^ (q v r) ^ p]  r
P3: P F F V F V V V
C: r F F V F V V F
V V V V V V V
V F F F V V F
V V V F F V V
V V V F F V F
V V V F F V V
V F F F F V F

El argumento es valido