Transposición (lógica)

En la lógica proposicional, transposición[5]​ Está muy relacionada con la regla de inferencia de modus tollens. Es la regla de que:

Donde "" es un símbolo metalógico que representa "puede ser reemplazado en una demostración con."

Notación formal

La regla de exportación puede escribirse en la notación subsiguiente:

donde es un símbolo metalógico significando que es consecuencia sintáctica de en algún sistema lógico;

o en forma de regla:

donde la regla es que cada vez que en las líneas de una demostración aparezcan las instancias de "", éstas pueden ser reemplazadas con "";

y expresado como una tautología o teorema de la lógica proposicional. El principio fue declarado por Russell y Whitehead como teorema de la lógica proposicional en Principia Mathematica como:

donde y son proposiciones expresadas en algún sistema lógico.

Other Languages