LISTA DE REGLAS PARA LA LÓGICA PROPOSICIONAL

LAS 12 REGLAS BÁSICAS DE REGLAS DE INFERENCIA DERIVADAS Eliminación del Definición de la Equivalencia Material
NUESTRO SISTEMA Silogismo Disyuntivo (SD) Bicondicional 2 (E2) (DEM)
Reglas de Reglas de     (  )  [(  )  (  )]
Introducción Eliminación ¬ ¬  ¬   )  [(  )  (¬  ¬)]
 hip.     ¬ Importación / Exportación (I/E)
....  Modus Tollens (MT) [  (  )]  [(  )  ]
    
Leyes de De Morgan (DeM)
 ¬  ¬
(  )  ¬ (¬  ¬)
    ¬  ¬
(¬  )  ¬ (  ¬)
   Silogismo Hipotético (SH) (  ¬)  ¬ (¬  )
  (¬  ¬)  ¬ (  )
   REGLAS DE EQUIVALENCIA (  )  ¬ (¬  ¬)
hip.  (¬  )  ¬ (  ¬)
Doble Negación (DN)
   Condicionalización (Cond.) ¬¬ (  ¬)  ¬ (¬  )
    ¬ (¬  ¬)  ¬ (  )
Transposición (Trans.)
hip.   ¬¬ Ley de Clavius (LC)
 Condicional Falso (CF) (  ¬)  ¬
 Asociación (Asoc.) (¬  )  
¬ ¬ 
  ¬  Eq.&
   Disyunción Falsa (DF)  
  ¬ ¬ ¬
Conmutación (Conm.)
¬ ¬  Eq.
¬¬ 
 ¬¬ Absorción (Abs.)  
  ¬¬
 Eq.
¬ hip. ¬hip. Distribución (Dist.)
  Dilema Constructivo (DC) [  (  )]  [(  )  ( )] ¬
   [  (  )]  [(  )  (  )] ¬
¬  
Idempotencia o Tautología Eq.
 (Taut. o Idem.)
   ¬
 (  )  
¬  ¬¬
Dilema Destructivo (DD) (  )   ¬

 Definición de la Implicación Material ¬
 (DIM)
¬¬ (  )  (¬  )
¬¬ (  )  ¬(  ¬)