Axiomas: Es una proposicin tan sencilla y evidente que no necesita demostracin, ejemplo: el

todo es mayor que cualquiera de sus partes.

En lgica y matemticas, un axioma es una premisa que, por considerarse evidente, se acepta sin
demostracin, como punto de partida para demostrar otras frmulas. Tradicionalmente los
axiomas se eligen de las consideradas afirmaciones evidentes, porque permiten deducir las
dems frmulas.

En lgica un postulado es una proposicin no necesariamente evidente: una frmula bien

formada (planteada) de un lenguaje formal utilizada en una deduccin para llegar a una
conclusin.
Teoremas: Un teorema es una proposicin que afirma una verdad demostrable. En matemticas, es toda
proposicin que partiendo de un supuesto (hiptesis), afirma una verdad (tesis) no evidente por s misma.

Contraejemplos: En lgica, especialmente en sus aplicaciones a matemticas y filosofa, un

contraejemplo es una excepcin a una regla general propuesta, es decir, un caso especfico de la falsedad
de una cuantificacin universal (un "para todo").

Lema: En matemticas, un lema es una proposicin demostrada, utilizada para establecer un teorema
menor o una premisa auxiliar que forma parte de un teorema ms general.

Corolario: Proposicin que se deduce de un teorema como consecuencia del mismo.

Conjeturas: se refiere a una afirmacin que se supone cierta, pero que no ha sido probada ni refutada
hasta la fecha. Una vez que se demuestra la veracidad de una conjetura, esta pasa a ser considerada un
teorema de pleno derecho y puede utilizarse como tal para construir otras demostraciones formales.

Demostraciones: En matemticas, una demostracin o bien una prueba es un argumento deductivo

para asegurar la verdad de una proposicin matemtica. En la argumentacin se pueden usar otras
afirmaciones previamente establecidas, tales como teoremas o bien la afirmaciones iniciales o axiomas [2].
En principio una demostracin se puede rastrear hasta afirmaciones generalmente aceptadas, conocidas
como axiomas.

Mtodo deductivo: Este mtodo consiste en encadenar conocimientos que se suponen verdaderos de
manera tal, que se obtienen nuevos conocimientos, es decir, obtener nuevas proposiciones como
consecuencias lgicas de otras anteriores.

Mtodos inductivos: La induccin va de lo particular a lo general. Empleamos el mtodo inductivo

cuando de la observacin de los hechos particulares obtenemos proposiciones generales, o sea, es aqul
que establece un principio general una vez realizado el estudio y anlisis de hechos y fenmenos en
particular.

Directa: Se plantea una proposicin, en la forma si p entonces q, donde p se denomina hiptesis

(condicin suficiente) y q, se llama tesis o conclusin (condicin necesaria). Por ejemplo, si llueve la
pista est mojada; esto es: que es una condicin suficiente para que se aniegue la pista, es que llueva. Y si
lleve necesariamente se moja la pista. En el contexto matemtico, de la verdad de la hiptesis se llega a la
verdad de la conclusin, usando proposiciones cuya certeza se conoce previamente.

Contrarreciproco: Se llama contrarrecproco a una ley lgica, formalizada en los silogismos por
Aristteles, que consiste en la implicacin de la negacin de un consecuente con la negacin de su
antecedente.

Red al absurdo: Se muestra que, si cierta afirmacin es verdadera, ocurre una

contradiccin lgica, por tanto, esa afirmacin es falsa.

Contraejemplos: Este mtodo se aplica de manera muy particular para demostrar la falsedad de
proposiciones cuya hiptesis est construida mediante un "cuantificador universal". Esto es, se aplica para
demostrar la falsedad de una proposicin que tenga una conclusin referida para "todos los elementos de
un cierto conjunto".