SI TRABAJO GANO DINERO, PERO SI ESTOY DE OCIOSO GOZO LA
VIDA. O TRABAJO O ESTOY DE OCIOSO. SIN EMBARGO, SI TRABAJO NO GOZO LA VIDA,
MIENTRAS QUE SI ESTOY DE OCIOSO NO GANO DINERO. POR LO TANTO GOZO LA VIDA SI Y
SOLO SI NO GANO DINERO.
W= TRABAJO
M= VIDA
T=OCIOSO
E=GOZO
Wè(Tè E Λ M)
W V T
Wè(¬E Λ M) Λ ( Tè¬W)
.: (E Λ
M) ↔ ¬W
(E Λ M) è¬W DC(3,2)
(W ΛT) è( E Λ M) EXPORTACION 1
¬W Λ (¬E Λ M)) CONMUTACION 5
¬W SIMPLIFICACION 7
T SD(2,8)
¬W V (E Λ M) ADICION 8
.
(E Λ M) ↔ ¬W CONMUTACION 10
SI LOS DODGERS GANAN EL GALLARDETE ENTONCES
GANARAN LA SERIE. POR LO TANTO, SI LOS DODGERS GANAN EL GALLARDETE ENTONCES SI
CONTINUAN PEGANDO ENTONCES GANARAN LAS SERIE.
P= PEGANDO
S= SERIE
G= GALLARDETE
GèS
.:
(GèP) èS
(GèS) V P ADICION 1
P Λ (GèS) CONMUTACION 3
(P èG)èS) EXPORTACION 4
P simplificacion 4
(GèS) Λ P conmutacion 1
P v g adicion 6
G Λ p Conmutacion 8
.
(G Λ p) v s adicion 9
S Λ (G Λ p) conmutacion 10
S è (G è p) exportacion 11
(G è p) è S Conmutacion 12