logica

Para otros usos de este término, véase Razonamiento (desambiguación).
En sentido amplio, se entiende por razonamiento a la facultad que permite resolver problemas, extraer conclusiones y aprenderde manera consciente de los hechos, estableciendo conexiones causales y lógicas necesarias entre ellos. En sentido más restringido se puede hablar de diferentes tipos de razonamiento:

Elrazonamiento argumentativo en tanto actividad mental se corresponde con la actividad lingüística de argumentar. En otras palabras, un argumento es la expresión lingüística de un razonamiento.
El razonamientológico o causal es un proceso de lógica mediante la cual, partiendo de uno o más juicios, se deriva la validez, la posibilidad o la falsedad de otro juicio distinto. El estudio de los argumentoscorresponde a la lógica, de modo que a ella también le corresponde indirectamente el estudio del razonamiento. Por lo general, los juicios en que se basa un razonamiento expresan conocimientos yaadquiridos o, por lo menos, postulados como hipótesis.[1] Es posible distinguir entre varios tipos de razonamiento lógico. Por ejemplo el razonamiento deductivo (estrictamente lógico), el razonamientoinductivo (donde interviene la probabilidad y la formulación de conjeturas) y razonamiento abductivo, entre otros.En lógica, una deducción es un argumento donde la conclusión se infiere necesariamente delas 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 lasfó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, lasiguiente es una deducción de la fórmula en el sistema de la lógica proposicional:En lógica, una regla de inferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones...