7/26/2019 Principales Reglas de Inferencia

1/1

PRINCIPALES REGLAS DE INFERENCIA

MPP Modus Ponendo Ponens

A B

A

- - - - -

B

MTT Modus Tollendo Tollens

A B

B

- - - - -

A

SD Silogismo Disyuntio

A ! B

A

- - - - -

B

S" Silogismo #i$ot%ti&o

A B

B C

- - - - -

A CLS Ley de sim$li'&(&i)n

A * B

- - - - -

A

LA Ley de (di&i)n

A

- - - - -

A ! B

C+NTRAP+SITI,A

A B

- - - - -

B A

L( &om$o.(&i)n de l(s egl(s

(nteioes es die&t( y .(st( #(&e

un( /)mul( &on l( &on0un&i)n de l(s

$emis(s &ondi&ion(l l( &on&lusi)n y

$o.( 1ue es un( t(utolog2(3 $o

e0em$lo #(&iendo un( t(.l( y o.tene

todos los (loes ed(deo