Eliminación del bicondicional
Reglas de transformación |
---|
Lógica proposicional |
Reglas de inferencia |
Reglas de reemplazo |
Lógica predicativa |
Lógica modal |
La eliminación del bicondicional es el nombre de dos reglas de inferencia válidas de la lógica proposicional. Esto nos permite inferir un condicional de un bicondicional. Si es verdadero, entonces es verdadero y también lo será.[1] Por ejemplo, si bien es cierto que estoy respirando si y sólo si estoy vivo, entonces es verdad que si estoy respirando, estoy vivo; Asimismo, es verdad que si estoy vivo, estoy respirando. Las reglas pueden ser establecidas formalmente como sigue:
y
donde la regla es que cada vez que una instancia "" aparezca en una línea de prueba, tanto "" como "" puede colocarse en la línea siguiente;
Notación formal
[editar]La regla de eliminación del bicondicional puede escribirse en notación subsiguiente:
y
donde es el símbolo metalógico lo que significa que en el primer caso, y en otros son consecuencia sintáctica de en algún sistema lógico;
o como una declaración de verdadera tautología funcional o teorema de la lógica proposicional:
donde y son proposiciones expresadas en algún sistema formal.
Referencias
[editar]- ↑ Cohen, S. Marc. «Chapter 8: The Logic of Conditionals» (en inglés). University of Washington. Consultado el 8 de octubre de 2013.
Enlaces externos
[editar]- Esta obra contiene una traducción total derivada de «Biconditional elimination» de Wikipedia en inglés, concretamente de esta versión, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional.
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.