Introducción bicondicional

format_list_bulleted Contenido keyboard_arrow_down
ImprimirCitar

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

La razón práctica pura es lo opuesto a la razón práctica impura y aparece en la Crítica de la razón práctica y el trabajo preliminar de la metafísica...

Naturaleza (filosofía)

La naturaleza tiene dos significados interrelacionados en filosofía y filosofía natural. Por un lado, significa el conjunto de todas las cosas que son...
Más resultados...
Tamaño del texto:
undoredo
format_boldformat_italicformat_underlinedstrikethrough_ssuperscriptsubscriptlink
save