Scribd
Cargar
140 vistas3 páginas

Implicacion e Infer

El documento presenta dos demostraciones lógicas: 1. Demuestra que (PvQ)  [R~(~Sv~T)] es equivalente a (QvP)  [R~(~Sv~T)] utilizando leyes lógicas como conmutativa y de Morgan. 2. Demuestra que P, (QvR) es equivalente a (P^Q)v(P^R) aplicando adjunción y la ley distributiva.

Cargado por

SOLRACKARl
Derechos de autor
© Attribution Non-Commercial (BY-NC)
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOC, PDF, TXT o lee en línea desde Scribd
140 vistas3 páginas

Implicacion e Infer

El documento presenta dos demostraciones lógicas: 1. Demuestra que (PvQ)  [R~(~Sv~T)] es equivalente a (QvP)  [R~(~Sv~T)] utilizando leyes lógicas como conmutativa y de Morgan. 2. Demuestra que P, (QvR) es equivalente a (P^Q)v(P^R) aplicando adjunción y la ley distributiva.

Cargado por

SOLRACKARl
Derechos de autor
© Attribution Non-Commercial (BY-NC)
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOC, PDF, TXT o lee en línea desde Scribd

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)]

Ley conmutativa a (PvQ)=(QvP)


(QvP) [R (S^T)]

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


(QvP) [R ~(~Tv~S)]

Ley Conmutativa a (~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

También podría gustarte