Está en la página 1de 3

Darwin Berroterán

C.I. 19.689.661
Carlos Bermúdez
C.I 19.151.400

67. (PvQ)  [R (S^T)] /- (QvP)  [R~(~Sv~T)]

1 (PvQ)
2 (S^T)

Ley conmutativa a 1
(PvQ)=(QvP)

Ley de Morgan a 2
3 (S^T)=~(~Tv~S)

Ley Conmutativa a 3
(~Tv~S)=(~Sv~T)

(QvP)  [R~(~Sv~T)]

L.Q.Q.D.

68. P, (QvR) /- (P^Q)v(P^R)


1P
2 (QvR)

Aplicamos adjunción en 1 y 2
3 P^(QvR)

Aplicamos ley distributiva en 3


P^ (QvR)=(P^Q)v(P^R)
L.Q.Q.D.
2.4 La ciudad de Valencia, o es una ciudad del centro de Venezuela, o es una
ciudad del este de España. Si la ciudad de Valencia o es una ciudad del centro
de Venezuela, o es una ciudad del este de España, entonces sus habitantes se
llaman valencianos. Si sus habitantes se llaman valencianos, entonces no son
maracuchos. Por lo tanto, sus habitantes no son maracuchos.

P= es una ciudad del centro de Venezuela


Q= es una ciudad del este de España
R= sus habitantes se llaman valencianos
S= son maracuchos.
1 PvQ
2 (PvQ) R
3 R~S
~S

{(P v Q) ^ [(P v Q)  R]} ^ (R  ~S)  ~S


V V V V V V V V V F V F F V F
V V V V V V V V V V V V V V V
V V V F V V V F F F F V F V F
V V V F V V V F F F F V V V V
V V F V V V F V V F V F F V F
V V F V V V F V V V V V V V V
V V F F V V F F F F F V F V F
V V F F V V F F F F F V V V V
F V V V F V V V V F V F F V F
F V V V F V V V V V V V V V V
F V V F F V V F F F F V F V F
F V V F F V V F F F F V V V V
F F F F F F F V V F V F F V F
F F F F F F F V V F V V V V V
F F F F F F F V F F F V F V F
F F F F F F F V F F F V V V V

La conclusión es implicación lógica de las premisas


2.6 Si estudio, entonces no soy feliz. No ocurre que no soy feliz. Por lo tanto,
no estudio.
P= estudio
Q= soy feliz

1 P~Q
2 ~(~Q)=Q
~P

(P  ~Q) ^ Q  ~P
V F F F V V F
V V V F F V F
F V F V V V V
F V V F F V V

La conclusión es implicación lógica de las premisas