En este articulo, vamos a definir las palabras clave dentro del campo de la lógica:
—————————————————————
Lógica —->
Lógica formal ——>
Parte de la lógica que se dedica al estudio de la validez de un razonamiento desde el punto de vista de su análisis
formal mediante la construcción de un sistema forma formado por lenguajes formales, sistemas deductivos y
semánticas formales.
Proposición ——–>
Una proposición es una sentencia declarativa del lenguaje natural que puede ser verdadera o falsa.
Pueden haber diferentes tipos de proposiciones: atómica, negada, literal y molecular
Premisa ———–>
Una premisa es cada una de las proposiciones de un razonamiento que dan lugar a la consecuente conclusión de
dicho razonamiento.
Inferencia ———–>
Una inferencia o deducción es una operación lógica o proceso por el que se obtienen proposiciones a partir de
otras conocidas aplicando reglas lógicas.
Conclusión ————->
La conclusión es la proposición que se obtiene en el último paso de la inferencia, es el resultado que se quiere demostrar. Dicha proposición puede ser premisa de otro razonamiento.
Falacia ————>
Una falacia (sofisma) es un razonamiento aparentemente “lógico” en el que el resultado es independiente de la
verdad de las premisas. Una falacia lógica es la aplicación incorrecta de un principio lógico válido, o la aplicación
de un principio inexistente (errores comunes en un razonamiento).