Organización lógica de enunciados en una demostración

Demostrar es, en un sentido muy general, un acto realizado por una persona -el locutor- y dirigido a otra persona -el auditor-, con el fin explícito que esta última reconozca o acepte un hecho específico; en el lenguaje natural, dicho acto aparece como una sucesión de enunciados El, E2,... En, que conducen al auditor a la aceptación del hecho en cuestión. El acto de demostrar culmina con la aceptación por parte del auditor del hecho presentado por el locutor. Este es un elemento fundamental que va a diferenciar la demostración de la argumentación: en efecto, en esta última, el locutor puede limitarse a dar elementos de juicio al auditor para que este último obtenga, por su propia cuenta, la conclusión. Los elementos lingüísticos que pueden ser explotados a ese efecto pueden ser variados (insinuaciones, recurso a situaciones irónicas, etc.). Además, en la argumentación, la conclusión no tiene que ser explícita, cosa que no puede suceder en la demostración