REGLAS DE INFERENCIA (Se aplican ENTRE premisas)

Modus Ponendo Ponens (MP) A  B

Modus Tollendo Tollens (MT) A  B , -B  -A
Silogismo Hipotético (SH) AB,BCAC
Silogismo Disyuntivo (SD) A v B, -A  B
A v B, -B  A
Simplificación (Simp.) A.BA
A.BB
Conjunción (Conj.) A,BA.B
Adición (Ad.) AAvB

LEYES DE EQUIVALENCIA O REEMPLAZO (reemplazan una fórmula lógica/premisa

por otra)
Principales leyes:

Teoremas de De Morgan (TDM) - ( A . B )  ( -A v –B )

- ( A v B )  ( -A . -B )
Definición de Condicional (DC) ( A  B )  ( -A v B)  [ - ( A . -B )]
Doble Negación (DN) A  - ( -A )
Asociación (Asoc.) [ A ..C [( A . B ) . C]
[ A v ( B v C )]  [( A v B ) v C]
Distribución (Dist.) [A . ( B v C )]  [( A . B ) v ( A . C )
[A v ( B . C )  [( A v B ) . ( A v C )]
[A  ( B . C )]  [( A  B ) . ( A  C )]
[A  ( B v C)]  [( A  B ) v ( A  C )]
Otras leyes secundarias:

Tautología o idempotencia (Taut.) A(AvA)

A  ( A .
Transposición (Trans.) ( A  B )  ( -B  -A )
Definición de Equivalencia (Def. Equi.) ( A  B)  [( A  B )  ( B A )]
( A  B )  [( A . B ) v ( -A . -B )]
Conmutación (Conm.) (A.B)(B.A)
(AvB)(BvA)
( A  B )  ( B  A)
Exportación (Exp.) [ A  ( B  C )]  [( A . B )  C ]