Regla de reemplazo

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 manera que utilice axiomas , reglas de inferencia o ambos como reglas de transformación para las expresiones lógicas del 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 , las 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 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.

• Salva veritate