En lógica , una regla de reemplazo [1] [2] [3] es una regla de transformación que puede aplicarse solo a un segmento particular de una expresión . Un sistema lógico puede construirse de modo que utilice axiomas , reglas de inferencia o ambos como reglas de transformación para expresiones lógicas en el sistema. Mientras que una regla de inferencia siempre se aplica a una expresión lógica completa, una regla de reemplazo puede aplicarse solo a un segmento particular. Dentro del contexto de una prueba lógica , expresiones lógicamente equivalentes pueden reemplazarse entre sí. Las reglas de reemplazo se utilizan en lógica proposicional para manipular proposiciones .
Las reglas comunes de reemplazo incluyen las leyes de De Morgan , la conmutación , la asociación , la distribución , la doble negación , la [a] transposición , la implicación material , la equivalencia lógica , la exportación y la tautología .
Las reglas anteriores se pueden resumir en la siguiente tabla. [4] La columna " Tautología " muestra cómo interpretar la notación de una regla dada.