Reglas de Inferencia

Son reglas que justifican los pasos de una demostracion:  Estas reglas se derivan de tautologıas basicas de la forma ´ “A ⇒ B” Esto es porque si asumimos que A es V, entonces el unico caso  en que A ⇒ B es V es cuando B tambien es  V