R E G LAS D E I N F E R E N C I A: SIMPLIFICADA

MODUS PONENS MODUS TOLLENS

P1 A B P1 A B
P2 A //.: B P2 ~B //.: ~A

SILOGISMO DISYUNTIV0 SILOGISMO HIPOTTICO
P1 A B P1 A B

P2 ~ A //.: B P2 B C //.: A C
ADUNCI!N O CONUNCI!N
P1 A
P2 B //.: " A # B $
DISYUNCI!N O ALTERNACI!N SIMPLIFICACI!N
" P%&'()*+& '&% ), '%&-)*&% R&./01 $
P1 A P1 A# B
P2 B //.: " A 2 B $ //.: A
ADICI!N
P1 A
//.: " A 2 B $
DILEMACONSTRUCTIVO
P1 A B
P2 C D
P3 A C //.: " B D $
DILEMADESTRUCTIVO
P1 A B
P2 C D
P3 ~ B ~ D //.: ~ A ~ C

DISTRIBUCI!N
A 2 " B # C $ )4(12/,) / " A 2 B $ # " A 2 C $
DEFINICI!N MATERIAL DEL CONDICIONAL
" A B $ )4(12/,) / " ~ A 2 B $ " ~ ' 4 $ )4(12/,) / " ' 2 4 $
DEFINICI!N MATERIAL DEL BICONDICIONAL
" A 5 B $ )4(12/,) / " A B $ # " B A $
E6UIVALENCIA MATERIAL
" A 5 B $ )4(12/,) / 7 " A # B $ 2 " ~ A # ~ B $ 8
DE MORGAN O LEYES DUALES

~ " A # B $ )4(12/,) / " ~ A 2 ~ B $
~ " A 2 B $ )4(12/,) / " ~ A # ~ B $
TRANSPOSICI!N
" A B $ )4(12/,) / " ~ B ~ A$ " ~ A ~ B $ )4(12/,) / " B A$
E9PORTACI!N
7 " A # B $ C 8 )4(12/,) / 7 A " B C $ 8
IMPORTACI!N
7 A " B C $ 8 )4(12/,) / 7 " A # B $ C 8
ABSORCI!NES DE 6UINE " ABS. $
" A # B $ 2 A )4(12/,) / A
" A # B $ 2 ~ A )4(12/,) / " B 2 ~ A $
" A 2 ~ B $ # B )4(12/,) / " A # B $

" A 2 B $ # " ~ A 2 B $ )4(12/,) / B
IDEMPOTENCIA
A A )4(12/,) / A A A equivale a A