LENGUAJE MATEMTICO

Elementos del lenguaje matemtico:

Axioma: Enunciado o frmula que se admite sin demostrar.
Postulado: Supuesto que se establece para fundar una demostracin, una teora o un cuerpo de
doctrina.
Definicin: Declaracin del significado de un trmino o signo, es decir, del uso que de l se va a
hacer.
Proposicin: Enunciado de una verdad demostrada, o que se trata de demostrar.
Escolio: Proposicin aclaratoria.
Lema: Proposicin que es preciso demostrar antes de establecer un teorema.
Teorema: Proposicin que afirma una verdad demostrable. Consta de tres partes: hiptesis (lo que
se supone), tesis (lo que se va a demostrar) y demostracin (la prueba de la tesis).
Corolario: Proposicin que se deduce por s sola de los demostrado anteriormente.

Smbolos usuales del lenguaje matemtico:

Conjuntos numricos:
conjunto de los nmeros naturales
conjunto de los nmeros enteros
conjunto de los nmeros racionales
conjunto de los nmeros reales
conjunto de los nmeros complejos
Pertenencia o no pertenencia
pertenece a, es un elemento de: 2 se lee 2 pertenece al conjunto de los nmeros
reales, y quiere decir que 2 es un nmero real
no pertenece a, no es un elemento de: 2 se lee 2 no pertenece al conjunto de los

nmeros racionales, y quiere decir que

2 no es un nmero racional

Inclusin o no inclusin
incluido estrictamente en, es una parte estricta de: 0,1 se lee el intervalo 0,1 est

incluido estrictamente (por que no es igual a ) en el conjunto de los nmeros reales, y

quiere decir que 0,1 es una parte (un subconjunto) del conjunto de los nmeros reales

no incluido estrictamente en, no es una parte estricta de: se lee el conjunto de los
nmeros enteros no est incluido estrictamente en el conjunto de los nmeros naturales, y
quiere decir que hay nmeros enteros que no son naturales
incluido o igual
Cuantificadores
Cipri

Lenguaje Matemtico

 para todo
existe
no existe
! existe un nico
Conectores lgicos
implica (entonces)
no implica
equivale a (se suele leer si, y solo si) (doble implicacin)
y
o
: tal que
/ tal que
Otros smbolo usuales
= igual
distinto (no igual)
aproximado
unin
interseccin
conjunto vaco (conjunto que no contiene ningn elemento)

Departamento de Matemticas