Deducción

De Wikipedia, la enciclopedia libre
(Redirigido desde «Lógica deductiva»)
Saltar a: navegación, búsqueda

En lógica, una deducción es un argumento donde la conclusión se infiere necesariamente de las premisas.[1] En su definición formal, una deducción es una secuencia finita de fórmulas, de las cuales la última es designada como la conclusión (la conclusión de la deducción), y todas las fórmulas en la secuencia son, o bien axiomas, o bien premisas, o bien inferencias directas a partir de fórmulas previas en la secuencia por medio de reglas de inferencia.[1] [2]

Por ejemplo, la siguiente es una deducción de la fórmula (p \to q) \, en el sistema de la lógica proposicional:

\langle \quad (q \to (p \to q)), \quad q, \quad (p \to q) \quad \rangle

Q es la incógnita que es la respuesta y p es la pregunta. Una pregunta puede tener varias respuestas por lo cual puede tener varias incógnitas esto quiere decir que (P = Q * X) esto se deduce a partir de la lógica.

Véase también[editar]

Notas y referencias[editar]

  1. a b Robert Audi, ed., «Deduction» (en inglés), The Cambridge Dictionary of Philosophy (2nd Edition), Cambridge University Press 
  2. Véase la sección «1.4 An Axiom System for the Propositional Calculus» en Mendelson, Eliott (1997). Introduction to Mathematical Logic (4ª edición). Chapman & Hall. pp. 34–35.