En lógica , una regla de reemplazo [1] [2] [3] es una regla de transformación que se puede aplicar 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 en particular. Dentro del contexto de una prueba lógica , lógicamente equivalentelas expresiones 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 , conmutación , asociación , distribución , doble negación , [a] transposición , implicación material , equivalencia lógica , exportación y tautología .
Notas
- ^ no admitido en la lógica intuicionista
Referencias
- ^ Copi, Irving M .; Cohen, Carl (2005). Introducción a la lógica . Prentice Hall.
- ^ Hurley, Patrick (1991). Una introducción concisa a la lógica 4ª edición . Publicación de Wadsworth.
- ^ Moore y Parker [ cita completa necesaria ]