Introducción bicondicional
En lógica proposicional, introducción bicondicional es una regla válida de inferencia. Permite a uno inferir un bicondicional de dos declaraciones condicionales. La regla permite introducir una declaración bicondicional en una prueba lógica. Si es verdad, y si es cierto, entonces uno puede inferir que es verdad. Por ejemplo, de las declaraciones "si estoy respirando, entonces estoy vivo" y "si estoy vivo, entonces estoy respirando", se puede inferir que "estoy respirando si y sólo si estoy vivo". La introducción bicondicional es el contrario de la eliminación bicondicional. The rule can be stated formally as:
donde la regla es que dondequiera que sean instancias de ""y""parecen en líneas de una prueba, "" se puede colocar válidamente en una línea posterior.
Notación formal
La regla de introducción bicondicional se puede escribir en notación secuencial:
Donde es un símbolo metalógico que significa que es una consecuencia sintáctica cuando y ambos están en una prueba;
o como el enunciado de una tautología funcional veritativa o teorema de lógica proposicional:
Donde , y son propuestas expresadas en algún sistema formal.
Contenido relacionado
Galeno
Razón práctica pura
Naturaleza (filosofía)