¿Qué es?
No se ha añadido ninguna twiki todavía.
En los razonamientos y argumentos, el enunciado que se infiere a partir de las premisas. La inferencia de que se habla puede ser tanto deductiva como inductiva. En los razonamientos informales o semiinformales se suele usar una raya horizontal para indicar que el enunciado que sigue es la conclusión
- Si duerme, Ana sueña
- Ana duerme
- _______________
- Ana sueña
- Si Dios no existiera todo estaría permitido
- Pero no es verdad que todo esté permitido
- ___________________________________________
- Por tanto, Dios existe (Dostoyevsky)
cuyo esquema lógico es
[math]¬p \rightarrow{q}[/math]
[math]¬q[/math]
__________________________________
[math]p[/math]
y en los razonamientos del lenguaje ordinario, la presencia de la conclusión se señala mediante expresiones tales como por tanto, en consecuencia, por consiguiente, de ahí que..., y equivalentes.