¿QUE SON DEDUCCIONES?

En lógica, una deducción es un argumento donde la conclusión se infiere necesariamente de las premisas.¹ En su definición formal, una deducción es una secuencia finita defó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  en el sistema de la lógica proposicional:

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.