15. Si pago matrcula completa no me quedar dinero.

Pero si no pago matrcula

completa no puedo matricularme en todos los cursos. Por otra parte, no aprender
Programacin de computadores a menos que me compre un computador, lo cual
podr hacer slo si me queda dinero. Adems, si no me matriculo en todas las
clases no me comprar un computador. Como es un hecho que pago matrcula
completa o no pago matrcula completa entonces, con seguridad, no aprender
Programacin de computadores.
Solucin.
Declaracin de las proposiciones simples;
p: pago matrcula completa.
q: me queda dinero.
r: matricularme en todos los cursos.
s: aprender Programacin de computadores.
t: me compre un computador.

Declaracin de las premisas;

PREMISA 1: Si pago matrcula completa no me quedar dinero.
PREMISA 2: Si no pago matrcula completa no puedo matricularme en todos los
cursos.
PREMISA 3: No aprender Programacin de computadores a menos que me
compre un computador, lo cual podr hacer slo si me queda dinero. (Dicho de
otra manera, si me queda dinero, entonces me compro un computador entonces
aprendo Programacin de computadores)
PREMISA 4: Si no me matriculo en todas las clases no me comprar un
computador.
PREMISA 5: Como es un hecho que pago matrcula completa o no pago matrcula
completa.
CONCLUSIN: No aprender Programacin de computadores.

PREMISA 1: p q

PREMISA 2: p r

PREMISA 3: q (t s )
 PREMISA 4: r t

PREMISA 5: p p

CONCLUSIN: s

[ ( p q ) ( p r ) (q ( t s ) ) ( r t ) ( p p) ] s

p q r s t p q r s t t s p q p rq ( t rs
) t p [ ( p q ) ( p r[ () p
(q
q )(
t( sp)
) ( rr)

p
V V V V V F F F F F V F V V V V F V
V V V V F F F F F V V F V V V V F V
V V V F V F F F V F F F V F V V F V
V V V F F F F F V V V F V V V V F V
V V F V V F F V F F V F V V F V F V
V V F V F F F V F V V F V V V V F V
V V F F V F F V V F F F V F F V F V
V V F F F F F V V V V F V V V V F V
V F V V V F V F F F V V V V V V V F
V F V V F F V F F V V V V V V V V F
V F V F V F V F V F F V V V V V V V
V F V F F F V F V V V V V V V V V V
V F F V V F V V F F V V V V F V F V
V F F V F F V V F V V V V V V V V F
V F F F V F V V V F F V V V F V F V
V F F F F F V V V V V V V V V V V V
F V V V V V F F F F V V F V V V F V
F V V V F V F F F V V V F V V V F V
F V V F V V F F V F F V F F V V F V
F V V F F V F F V V V V F V V V F V
F V F V V V F V F F V V V V F V F V
F V F V F V F V F V V V V V V V V F
F V F F V V F V V F F V V F F V F V
F V F F F V F V V V V V V V V V V V
F F V V V V V F F F V V F V V V F V
F F V V F V V F F V V V F V V V F V
F F V F V V V F V F F V F V V V F V
F F V F F V V F V V V V F V V V F V
F F F V V V V V F F V V V V F V F V
F F F V F V V V F V V V V V V V V F
F F F F V V V V V F F V V V F V F V
F F F F F V V V V V V V V V V V V V

Demostracin por las Leyes de Inferencia.

Como la premisa 5 es verdadera la podemos omitir.

PREMISA 1: p q

PREMISA 2: p r

PREMISA 3: q (t s )

PREMISA 4: r t

5: ( q t ) s 3. Importacin.