Reglas de reemplazo

regla de transformación que puede ser aplicada únicamente a un segmento particular de una expresión
(Redirigido desde «Regla de reemplazo»)

En lógica, las reglas de reemplazo o reglas de sustitución[1][2][3]​ son reglas de transformación que pueden ser aplicadas únicamente a un segmento particular de una expresión.

Un sistema lógico puede ser construido de manera que utilice axiomas, reglas de inferencia, o ambos, como reglas de transformación de expresiones lógicas en el sistema. Mientras que una regla de inferencia se aplica siempre a una expresión lógica general, una regla de reemplazo puede ser aplicada solamente a un segmento particular.

En el contexto de una prueba lógica, expresiones lógicamente equivalentes pueden sustituirse unas por otras. Las reglas de reemplazo se usan en la lógica proposicional para manipular proposiciones y efectuar estas sustituciones.

Principales reglas de reemplazoEditar

Las reglas comunes de reemplazo son:

NotaEditar

  1. no admitida en la lógica intuicionista

ReferenciasEditar

  1. Copi, Irving M.; Cohen, Carl (2005). Introducción a la Lógica. Prentice Hall. 
  2. Hurley, Patrick (1991). A Concise Introduction to Logic (en inglés) (4ta edición). Wadsworth Publishing. 
  3. Moore y Parker

Enlaces externosEditar