DEFINICIONES MATEMTICAS DE DEMOSTRACIN

Definicin: La definicin expresa una nocin compleja mediante la enumeracin de las

nociones ms simples que la integran. Por eso se dice que los objetos representados por las
nociones intuitivas no son definibles, por no existir nociones previas que las integren.
Postulados: Del mismo modo que existen los conceptos primitivos, hay ciertas propiedades
fundamentales de carcter tambin intuitivo y, por tanto, de captacin espontnea. Son los
postulados. Postulado es una verdad intuitiva que tiene suficiente evidencia para ser
aceptada como tal. Son ejemplos de postulados:
Todo objeto es igual a si mismo.
La suma de dos nmeros es nica.

Teorema: Es una verdad no evidente, pero demostrable. Son ejemplos de teoremas:

Si un nmero termina en cero o en cinco es divisible por cinco.
Si un nmero divide a otros varios divide tambin a su suma.

Tanto el teorema como el postulado tienen una parte condicional (hiptesis) y una conclusin
(tesis) que se supone se cumple en caso de tener validez la hiptesis.
Lema: Es un teorema que debe anteponerse a otro por ser necesario para la demostracin
de este ltimo.
Corolario: Es una verdad que se deriva como consecuencia de un teorema.
Reciproco: Recproco de un teorema es otro teorema cuya hiptesis es la tesis del primero
(llamado teorema directo) y cuya tesis es la hiptesis del directo. Ejemplo:
Teorema directo: Si un nmero termina en cero o en cinco (hiptesis), ser divisible por
cinco (tesis).
Teorema recproco: Si un nmero es divisible por cinco (hiptesis), tiene que terminar en
cero o en cinco (tesis). No siempre los recprocos son ciertos; para que sean ciertos tienen
que cumplir determinadas condiciones.
Escolio: Es una advertencia u observacin sobre alguna cuestin matemtica.
Problema: Es una cuestin prctica en la que hay que determinar cantidades desconocidas
llamadas incgnitas, por medio de sus relaciones con cantidades conocidas, llamadas datos
del problema.

TRMINOS EN MATEMTICAS:
definiciones informales y uso aconsejado
Nota: las palabras en negrita se encuentran definidas

Demostracin (del latn demostratio-onem)

Prueba de una verdad por medio del raciocinio, partiendo
de principios evidentes. En ciencia, en general se puede extender a la
comprobacin experimental de un principio o teora.

Proposicin (del latn propositio-onem)

Enunciacin de una verdad ya demostrada o que se ha de demostrar.

Silogismo (del latn syllogismus, y ste del griego)

Argumento formado por tres proposiciones:
premisa mayor, premisa menor y conclusin.

Enunciado (del latn enuntiatio-onem)

Expresin o manifestacin de una idea.

Hiptesis (del latn hypothesis, y ste del griego)

Suposicin de una idea, con el objetivo de deducir de ella alguna
consecuencia.

 Lema (del latn lemma, y ste del griego)

Proposicin cuya demostracin antecede a un teorema.

Axioma (del latn axioma, y ste del griego)

Principio, verdad, sentencia clara y evidente, que no
necesita demostracin.

Conclusin (del latn conclusio-onem)

Proposicin que se deduce o es consecuencia de las premisas.

Conjetura (del latn conjectura)

Opinin fundada en probabilidades, indicios o apariencias.

Corolario (del latn corollarium)

Proposicin que por s sola se deduce de lo ya demostrado.

Premisa (del latn praemissa)

Cualquiera de las dos proposiciones lgicas de un silogismo, de donde se
deduce la conclusin. En un silogismo, a la proposicin ms general se
denomina mayor y a la otra menor.

Principio (del latn principium)

Argumento considerado como origen, fundamentacin o razn primera de

un razonamiento.

Tesis (del latn thesis, y ste del griego)

Conclusin o proposicin que se mantiene con razonamientos.

Postulado (del latn postulatus)

Proposicin cuya verdad se admite sin pruebas y que es necesaria para
servir de base en ulteriores razonamientos.

Propiedad (del latn propietas)

Atributo o cualidad de una persona o cosa.

Teorema (del latn theorema, y ste del griego)

Proposicin que afirma una verdad susceptible de demostracin.

Postulado y axioma pueden tomarse como sinnimos en

la mayor parte de los casos.

Principio, hiptesis y conjetura pueden usarse unas

como sustento de las otras. Por ejemplo, una conjetura
puede tomarse como hiptesis.

 La distincin entre teorema y proposicin viene dada

normalmente por el mayor rango o entidad del primero.
Los lemas y corolarios son proposiciones que preparan
y sacan partido de los teoremas, respectivamente.

Silogismo, Premisa, Conclusin, Demostracin son

trminos con significado formal, y como tales debieran
ser usados en cada proposicin.

Tesis, Propiedad y Enunciado son trminos de

significado y uso ms informal, lo que no impide que
deban ser establecidos claramente.