Que es una conclusion?

En lógica, una conclusión es una proposición al final de un argumento, luego de las premisas.

1​ Si el argumento es válido, las premisas implican la conclusión.

Sin embargo, para que una proposición constituya conclusión no es necesario que el argumento sea válido : lo único relevante es su lugar en el argumento, no su «papel» o función.

2​

Como en general se argumenta con intención de establecer una conclusión, se suele procurar que las premisas impliquen la conclusión y que sean verdaderas (es decir, que el argumento sea sólido o cogente).

2​ Antes que nada se debe recordar que una conclusión es una proposición lógica final y no una "opinión", sin embargo, debemos recordar que para poder concluir debemos de basarnos en ciertas proposiciones que no sean falacias o simplemente falsas.

Considérense las proposiciones siguientes :

Todos los mamíferos son de sangre caliente.

Todos los humanos son mamíferos.

Por lo tanto, todos los humanos son de sangre caliente.

En este argumento la última proposición es la conclusión.

Las demás son las premisas.

En el lenguaje natural, las conclusiones suelen anunciarse mediante expresiones tales como «por lo tanto», «por ende», «luego», «en consecuencia», «entonces», «ergo», etcétera.

En los lenguajes formales, delante de las conclusiones se acostumbra colocar expresiones simbolizadas así : { \ displaystyle \ vdash } { \ displaystyle \ vdash }, { \ displaystyle \ models } { \ displaystyle \ models } y { \ displaystyle \ therefore } { \ displaystyle \ therefore }.