Вы находитесь на странице: 1из 6

# 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

II.

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

III.

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

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

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

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

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

VIII.

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

V
V
V
V
V