Deduccin

http://es.wikipedia.org/wiki/L%C3%B3gica_deductiva

En lgica, una deduccin es un argumento donde la conclusin se infiere necesariamente de las premisas.1 En su definicin formal, una deduccin es una secuencia finita de frmulas, de las cuales la ltima es designada como la conclusin (la conclusin de la deduccin), y todas las frmulas en la secuencia son, o bien axiomas, o bien premisas, o bien inferencias directas a partir de frmulas previas en la secuencia por medio de reglas de inferencia.1 2 Por ejemplo, la siguiente es una deduccin de la frmula lgica proposicional: en el sistema de la

Se trata de una secuencia de tres frmulas. Si esta secuencia ha de ser una deduccin, entonces la ltima frmula ser la conclusin, es decir la frmula siendo deducida, y las otras dos deben ser, o bien premisas, o bien axiomas, o bien deducciones previas. La primera frmula, es una instancia del esquema de axioma (en el sistema de Jan ukasiewicz), y por lo tanto es un axioma. La segunda frmula, , no es un axioma, y tampoco puede ser deducida de la frmula previa, de modo que es una premisa. Para que esta secuencia sea una deduccin, entonces, slo falta que sea posible inferir la ltima frmula a partir de las dos anteriores por medio de una regla de inferencia del sistema. Y en efecto, por medio del modus ponens (la nica regla de inferencia del sistema de ukasiewicz) es posible deducir la ltima frmula a partir de las otras dos. Esta secuencia constituye, por lo tanto, una deduccin.

[editar] Vase tambin

Demostracin matemtica Validez lgica Consecuencia lgica