FRMULAS DE LAS R E G L A S

I A : (SIMPLIFICADA)
MODUS PONENS
TOLLENS
P1 A B
AB
P2 A
//.: B
//.: ~A
SILOGISMO DISYUNTIV0
HIPOTTICO
P1
A B
AB
P2
~A
//.: B
//.: A C
ADJUNCIN O CONJUNCIN
P1 A
SIMPLIFICACIN
P2 B
//.: ( A B )
//.: A
DISYUNCIN O ALTERNACIN

DE

IN FERENC
MODUS
P1
P2

~B

SILOGISMO
P1
P2 B C

P1
DILEMA

A B

DISTRIBUCIN: A v ( B C ) equivale a
DEFINICIN MATERIAL DEL CONDICIONAL

( A v B ) ( A v C )

( A B ) equivale a ( ~ A v B) ( ~ p q ) equivale a

( p v q )

DEFINICIN MATERIAL DEL BICONDICIONAL

( A B ) equivale a ( A B ) ( B A )
EQUIVALENCIA MATERIAL

( A B ) equivale a [ ( A B ) v ( ~ A ~ B ) ]
DE MORGAN O LEYES DUALES

~ ( A B ) equivale a
~ ( A v B ) equivale a

(~A v ~ B )
( ~ A ~ B )

TRANSPOSICIN

( A B ) equivale a ( ~ B ~ A) ( ~ A ~ B ) equivale a ( B A )
EXPORTACIN

[ ( A B ) C ] equivale a [ A ( B C ) ]
IMPORTACIN [ A ( B C ) ] equivale a [ ( A B ) C ]
ABSORCINES DE QUINE ( ABS. )
( A B ) v A equivale a A . ( A B ) v ~ A equivale a ( B v ~ A )
( A v ~ B ) B equivale a ( A B ) . ( A v B ) ( ~ A v B )
equivale a B
IDEMPOTENCIA
A A
equivale a A
A A
equivale a A