Transposición (lógica)

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