Reglas de reemplazo

Reglas de reemplazo. Son expresiones que pueden ser utilizadas indistintamente porque son lógicamente equivalentes [v. equivalencia tautológica]. Cualquier expresión puede ser reemplazada por su equivalencia lógica. El valor de verdad del enunciado que resulta es el mismo que el del enunciado original. Las reglas lógicas de reemplazo son: Teoremas de De Morgan [v], Conmutación [v], Asociación [v], Distribución [v], Doble negación [v], Transposición [v], Implicación material [v], Equivalencia material [v], Exportación [v] y Tautología o identidad [v].