I.

DEMOSTRACIN DE LAS REGLAS DE INFERENCIA

MODUS PONENDO PONENS

pq
p
q

[( p q ) p ] p
p
V
V
F
F

q
V
F
V
F

p q
V
F
V
V

V
F
F
F

p
V
V
F
F

V
V
V
V

V
F
V
F

Segn la columna R, la formula dada es una TAUTOLOGA

II.

MODUS TOLLENDO TOLLENS

pq
q
p

[ ( p q ) q ] p
p
V
V
F
F

q
V
F
V
F

p q
V
F
V
V

F
F
F
F

q p
F
V
F
V

V
V
V
V

F
F
V
V

Segn la columna R, la formula dada es una TAUTOLOGA

III.

MODUS TOLLENDO PONENS

a)

pq
p
q

[ ( p q ) p ] q
p
V

q
V

p q
V

p q
F

V
F
F

F
V
F

V
V
F

F
V
F

F
V
V

V
V
V

F
V
F

Segn la columna R, la formula dada es una TAUTOLOGA

b)

pq
q
p

[ ( p q ) q ] p
p
V
V
F
F

p q

V
F
V
F

V
V
V
F

F
V
F
F

q p
F
V
F
V

V
V
V
V

V
V
F
F

Segn la columna R, la formula dada es una TAUTOLOGA

IV.

LEY DEL SILOGISMO HIPOTTICO

pq
qr
p r

[ ( p q ) ( q r ) ] ( p r )
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

p q
V
V
F
F
V
V
V
V

V
F
F
F
V
F
V
V

qr
V
F
V
V
V
F
V
V

V
V
V
V
V
V
V
V

p r
V
F
V
F
V
V
V
V

Segn la columna R, la formula dada es una TAUTOLOGA

V.

INFERENCIA EQUIVALENTE

pq
p
q

[ ( p q ) p ] q
p
V
V
F
F

pq

q
V
F
V
F

V
F
F
V

V
F
F
F

p
V
V
F
F

V
V
V
V

V
F
V
F

Segn la columna R, la formula dada es una TAUTOLOGA

VI.

LEY DE SIMPLIFICACIN
a)

pq
p

( p q) p
p
V
V
F
F

q
V
F
V
F

p q
V
F
F
F

V
V
V
V

V
V
F
F

Segn la columna R, la formula dada es una TAUTOLOGA

b)

pq
q

( p q) q
p
V
V
F
F

q
V
F
V
F

p q
V
F
F
F

V
V
V
V
R

V
F
V
F

Segn la columna R, la formula dada es una TAUTOLOGA

VII.

LEY DE CONJUNCIN

p
q
p q

( p q) ( p q)
p
V
V
F
F

q
V
F
V
F

p q
V
F
F
F

p q

V
V
V
V

V
F
F
F

Segn la columna R, la formula dada es una TAUTOLOGA

VIII.

LEY DE ADICIN

p
p q

p ( p q )
p
V
V
F
F

q
V
F
V
F

p
V
V
F
F

V
V
V
V

( p q)
V
V
V
F

Segn la columna R, la formula dada es una TAUTOLOGA

IX.

DILEMA CONSTRUCTIVO

pq
r t
pr
q t

{[ ( p q ) ( r t ) ] ( p r ) } ( q t )

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

q
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

r
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

p q

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

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

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

r t
V
F
V
V
V
F
V
V
V
F
V
V
V
F
V
V

p r

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

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

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

q t
V
V
V
V
V
F
V
F
V
V
V
V
V
F
V
F

Segn la columna R, la formula dada es una TAUTOLOGA

X.

DILEMA DESTRUCTIVO

pq
rt
q t
p r

{[ ( p q ) ( r t ) ] ( q t ) } ( p r )
p
V
V
V
V
V
V
V
V
F
F
F

q
V
V
V
V
F
F
F
F
V
V
V

r
V
V
F
F
V
V
F
F
V
V
F

t
V
F
V
F
V
F
V
F
V
F
V

p q
V
V
V
V
F
F
F
F
V
V
V

V
F
V
V
F
F
F
F
V
F
V

r t
V
F
V
V
V
F
V
V
V
F
V

F
F
F
V
F
F
F
F
F
F
F

q t
F
V
F
V
V
V
V
V
F
V
F

V
V
V
V
V
V
V
V
V
V
V

p r
F
F
V
V
F
F
V
V
V
V
V

F
F
F
F
F

V
F
F
F
F

F
V
V
F
F

F
V
F
V
F

V
V
V
V
V

V
V
F
V
V

V
V
F
V
V

V
V
F
V
V

V
V
V
V
V

V
V
V
V
V
R

Segn la columna R, la formula dada es una TAUTOLOGA

V
V
V
V
V