De qué manera los procesos matemáticos intervienen en la estructuraciónde los argumentos lógicos para demostrar la veracidad de un suceso?

Enmatemáticas, unademostracióno bien unapruebaes unargumentodeductivo para asegurar la verdad de unaproposición matemática.

En la argumentación se pueden usar otras afirmaciones previamente establecidas, tales comoteoremaso bien las afirmaciones iniciales o axiomas.

2​ En principio una demostración se puede rastrear hasta afirmaciones generalmente aceptadas, conocidas comoaxiomas.

3​4​ Las demostraciones son ejemplos derazonamiento deductivoy se distinguen de argumentosinductivosoempíricos ; una demostración debe demostrar que una afirmación es siempre verdadera (ocasionalmente al listar todos los casos posibles y mostrar que es válida en cada uno), más que enumerar muchos casos confirmatorios.

Una afirmación no probada que se cree verdadera se conoce comoconjetura.

Las demostraciones empleanlógicapero normalmente incluyen una buena parte delenguaje natural, el cual usualmente admite alguna ambigüedad.

De hecho, la gran mayoría de las demostraciones en las matemáticas escritas puede ser considerada como aplicaciones delógica informalrigurosa.

Lasdemostraciones puramente formales, escritas enlenguaje simbólicoen lugar de lenguaje natural, se consideran enteoría de la demostración.

La distinción entredemostraciones formales e informalesha llevado a examinar lalógica matemáticahistórica y actual, elcuasi - empirismo matemáticoy elformalismo matemático.

Lafilosofía de las matemáticasconcierne al rol del lenguaje y la lógica en las demostraciones, y en lasmatemáticas como lenguaje.

El hecho de no conocer ninguna demostración de un teorema no implica su no veracidad ; sólo la demostración de la negación de este resultado implica que es falso.

Espero que te guies en algo.

O. O.