REPÚBLICA BOLIVARIANA DE VENEZUELA

MINISTERIO DEL PODER POPULAR PARA LA EDUCACIÓN UNIVERSITARIA

UNIVERSIDAD POLITÉCNICA TERRITORIAL DEL ESTADO PORTUGUESA JUAN DE JESÚS MONTILLA

Informe de investigación
UNIDAD 1: Lenguaje

Leonardo Jesús Meléndez Sulbaran

C.I.V-18.671.986
Sección: 132

Acarigua, 22 de julio de 2014

Contenido
Introducción .......................................................................................................................................4
Elementos del lenguaje ......................................................................................................................5
Axioma ...........................................................................................................................................5
Postulado .......................................................................................................................................5
Definición .......................................................................................................................................5
Proposición ....................................................................................................................................5
Escolio ............................................................................................................................................5
Lema...............................................................................................................................................5
Teorema .........................................................................................................................................5
Corolario ........................................................................................................................................5
Tipos de lenguaje ...............................................................................................................................5
Lenguaje Natural: ...........................................................................................................................5
Lenguaje Artificial:..........................................................................................................................5
Mención y usos de los signos .............................................................................................................6
Genéricos .......................................................................................................................................6
Aritmética y álgebra .......................................................................................................................6
Lógica proposicional .......................................................................................................................7
Lógica de predicados ......................................................................................................................8
Teoría de conjuntos........................................................................................................................9
Funciones .....................................................................................................................................10
Números.......................................................................................................................................10
Órdenes parciales.........................................................................................................................11
Geometría euclídea ......................................................................................................................12
Combinatoria ...............................................................................................................................12
Análisis funcional..........................................................................................................................12
Cálculo..........................................................................................................................................12
Ortogonalidad ..............................................................................................................................13
Álgebra matricial ..........................................................................................................................13
Teoría de rejas..............................................................................................................................14
Función del lenguaje ........................................................................................................................14
Proposiciones ...................................................................................................................................14
Lenguaje objeto y metalenguaje ......................................................................................................15
Objeto de la lógica ...........................................................................................................................15
Designado y denotado de un signo ..................................................................................................15
Designado: ...................................................................................................................................15
Bibliografía .......................................................................................................................................17
Introducción
La enorme utilidad de las matemáticas en las ciencias naturales es algo que roza lo misterioso, y no
hay explicación para ello. No es en absoluto natural que existan “leyes de la naturaleza”, y mucho
menos que el hombre sea capaz de descubrirlas. El milagro de lo apropiado que resulta el lenguaje
de las matemáticas para la formulación de las leyes de la física es un regalo maravilloso que no
comprendemos ni nos merecemos. Eugene Wigner (premio Nobel en 1963)

Para aprender Matemáticas hace falta conocer su idioma, sus palabras clave, los objetos que se
utilizan y las herramientas necesarias para manejar esos objetos.
Elementos del lenguaje

Axioma
Enunciado o fórmula que se admite sin demostrar.

Postulado
Supuesto que se establece para fundar una demostración, una teoría o un cuerpo de doctrina.

Definición
Declaración del significado de un término o signo, es decir, del uso que de él se va a hacer.

Proposición
Enunciado de una verdad demostrada, o que se trata de demostrar.

Escolio
Proposición aclaratoria.

Lema
Proposición que es preciso demostrar antes de establecer un teorema.

Teorema
Proposición que afirma una verdad demostrable. Consta de tres partes: hipótesis (lo que se
supone), tesis (lo que se va a demostrar) y demostración (la prueba de la tesis).

Corolario
Proposición que se deduce por sí sola del demostrado anteriormente.

En otros términos los elementos del lenguaje también pueden ser los siguientes: Símbolos
matemáticos, Frase matemática, Objetos matemáticos, Números, Letras, Números y Letras.

Tipos de lenguaje
Lenguaje Natural:
Es la lengua o idioma hablado o escrito por humanos para propósitos generales de comunicación.
Son aquellas lenguas que han sido generadas espontáneamente en un grupo de hablantes con
propósito de comunicarse, a diferencia de otras lenguas, como puedan ser una lengua construida,
los lenguajes de programación o los lenguajes formales usados en el estudio de la lógica formal,
especialmente la lógica matemática.

Lenguaje Artificial:
Es un idioma que ha sido total o parcialmente construido, planeado o diseñado por seres humanos
a partir del estudio de las lenguas naturales. Los lenguajes de programación y los lenguajes
matemáticos son lenguajes formales y no son considerados ideolenguas porque no son idiomas.
Tampoco se considera ideolengua a la evolución histórica, y por lo tanto no planeada
conscientemente, de cualquier lengua natural.
Mención y usos de los signos
Genéricos
Símbolo Nombre se lee como Categoría

igualdad igual a todos

x = y significa: x e y son nombres diferentes que hacen referencia a un mismo objeto o

ente.

1+2=6−3

definición se define como todos

x := y o x ≡ y significa: x se define como otro nombre para y (notar, sin embargo, que ≡
puede también significar otras cosas, como congruencia)
P :⇔ Q significa: P se define como lógicamente equivalente a Q

cosh x := (1/2)(exp x + exp (−x)); A XOR B :⇔ (A B) ¬(A B)

Aritmética y álgebra
Símbolo Nombre se lee como Categoría

adición Más aritmética y álgebra

4 + 6 = 10 significa que si a cuatro se le agrega 6, la suma, o resultado, es 10.

43 + 65 = 108; 2 + 7 = 9

sustracción menos aritmética

9 − 4 = 5 significa que si 4 es restado de 9, el resultado será 5. El símbolo 'menos'

también se utiliza para denotar que un número es negativo. Por ejemplo, 5 + (−3) = 2
significa que si 'cinco' y 'menos tres' son sumados, el resultado es 'dos'.

87 − 36 = 51

multiplicación Por aritmética

7 × 6 = 42 significa que si se cuenta siete veces seis, el resultado será 42.

4 × 6 = 24 ó 4 * 6 = 24 ó 4 · 6 = 24

división entre, dividido por aritmética

 significa que si se hace seis pedazos uniformes de cuarenta y dos, cada pedazo
será de tamaño siete.

Sumatoria suma sobre ... desde ... hasta ... de aritmética

∑k=1n ak significa: a1 + a2 + ... + an

∑k=14 k² = 1² + 2² + 3² + 4² = 1 + 4 + 9 + 16 = 30

productorio producto sobre... desde ... hasta ... de aritmética

∏k=1n ak significa: a1a2···an

∏k=14 (k + 2) = (1 + 2)(2 + 2)(3 + 2)(4 + 2) = 3 × 4 × 5 × 6 = 360

Lógica proposicional
Símbolo Nombre se lee como Categoría

implicación material o en un implica; si .. entonces;

lógica proposicional
solo sentido por lo tanto

A ⇒ B significa: si A es verdadero entonces B es verdadero también; si B es verdadero

entonces nada se dice sobre A.
→ puede significar lo mismo que ⇒, o puede ser usado para denotar funciones, como
se indica más abajo.

x = 2 ⇒ x² = 4 es verdadera, pero 4 = x² ⇒ x = 2 es, en general, falso (ya que x podría

ser −2)

doble implicación si y sólo si; sii, syss lógica proposicional

A ⇔ B significa: A es verdadera si B es verdadera y A es falsa si B es falsa.

x+5=y+2 ⇔ x+3=y

conjunción lógica o intersección lógica proposicional, teoría

y
en una reja de rejas

la proposición A ∧ B es verdadera si A y B son ambas verdaderas; de otra manera es

falsa.

n < 4 ∧ n > 2 ⇔ n = 3 cuando n es un número natural

 disyunción lógica o unión en una lógica proposicional, teoría
o, ó
reja de rejas

la proposición A ∨ B es verdadera si A o B (o ambas) son verdaderas; si ambas son

falsas, la proposición es falsa.

n ≥ 4 ∨ n ≤ 2 ⇔ n ≠ 3 cuando n es un número natural

negación lógica no lógica proposicional

la proposición ¬A es verdadera si y sólo si A es falsa.

una barra colocada sobre otro operador es equivalente a un ¬ colocado a la izquierda.

¬(A ∧ B) ⇔ (¬A) ∨ (¬B); x ∉ S ⇔ ¬(x ∈ S)

Lógica de predicados
Símbolo Nombre se lee como Categoría

para todos; para cualquier; lógica de

cuantificador universal
para cada predicados

∀ x : P(x) significa: P(x) es verdadera para cualquier x

∀ n ∈ N: n² ≥ n

lógica de
cuantificador existencial existe por lo menos un/os
predicados

∃ x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera.

∃ n ∈ N: n + 5 = 2n

cuantificador existencial con marca de lógica de

existe un/os único/s
unicidad predicados

∃! x : P(x) significa: existe un único x tal que P(x) es verdadera.

∃! n ∈ N: n + 1 = 2

lógica de
reluz tal que
predicados

∃ x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera.

∃ n ∈ N: n + 5 = 2n
Teoría de conjuntos
Símbolo Nombre se lee como Categoría

teoría de
delimitadores de conjunto el conjunto de ...
conjuntos

{a,b,c} significa: el conjunto consistente de a, b, y c

N = {0,1,2,...}

notación constructora de el conjunto de los elementos ... tales que teoría de

conjuntos ... conjuntos

{x : P(x)} significa: el conjunto de todos los x para los cuales P(x) es verdadera. {x | P(x)}
es lo mismo que {x : P(x)}.

{n ∈ N : n² < 20} = {0,1,2,3,4}

teoría de
conjunto vacío conjunto vacío
conjuntos

{} significa: el conjunto que no tiene elementos; ∅ es la misma cosa.

{n ∈ N : 1 < n² < 4} = {}

en; está en; es elemento de; es miembro teoría de

pertenencia de conjuntos
de; pertenece a conjuntos

a ∈ S significa: a es elemento del conjunto S; a ∉ S significa: a no es elemento del

conjunto S

(1/2)−1 ∈ N; 2−1 ∉ N

teoría de
subconjunto es subconjunto de
conjuntos

A ⊆ B significa: cada elemento de A es también elemento de B

A ⊂ B significa: A ⊆ B pero A ≠ B

A ∩ B ⊆ A; Q ⊂ R

teoría de
unión de conjuntos la unión de ... y ...; unión
conjuntos

A ∪ B significa: el conjunto que contiene todos los elementos de A y también todos

aquellos de B, pero ningún otro.

A⊆B ⇔ A∪B=B
 teoría de
intersección de conjuntos la intersección de ... y ...; intersección
conjuntos

A ∩ B significa: el conjunto que contiene todos aquellos elementos que A y B tienen en

común.

{x ∈ R : x² = 1} ∩ N = {1}

complemento de un teoría de
menos; sin
conjunto conjuntos

A \ B significa: el conjunto que contiene todos aquellos elementos de A que no se

encuentran en B

{1,2,3,4} \ {3,4,5,6} = {1,2}

Funciones
Símbolo Nombre se lee como Categoría

aplicación de función; agrupamiento de funciones

para aplicación de función: f(x) significa: el valor de la función f sobre el elemento x

para agrupamiento: realizar primero las operaciones dentro del paréntesis.

Si f(x) := x², entonces f(3) = 3² = 9; (8/4)/2 = 2/2 = 1, pero 8/(4/2) = 8/2 = 4

mapeo funcional de ... a funciones

f: X → Y significa: la función f mapea el conjunto X al conjunto Y

Considérese la función f: Z → N definida por f(x) = x²

Números
Símbolo Nombre se lee como Categoría

números naturales N números

N significa: {1,2,3,...}, pero véase el artículo números naturales para una convención
diferente.

{|a| : a ∈ Z} = N

números enteros Z números

 Z significa: {...,−3,−2,−1,0,1,2,3,4,...}

{a : |a| ∈ N} = Z

números racionales Q números

Q significa: {p/q : p, q ∈ Z, q ≠ 0}

3.14 ∈ Q; π ∉ Q

números reales R números

R significa: {limn→∞ an : ∀ n ∈ N: an ∈ Q, el límite existe}

π ∈ R; √(−1) ∉ R

números complejos C números

C significa: {a + bi : a, b ∈ R}

i = √(−1) ∈ C

la raíz cuadrada de; la principal raíz cuadrada

raíz cuadrada números reales
de

√x significa: el número positivo cuyo cuadrado es x

√(x²) = |x|

infinito infinito números

∞ es un elemento de la recta real extendida mayor que todos los números reales;
ocurre frecuentemente en límites

limx→0 1/|x| = ∞

valor absoluto valor absoluto de números

|x| significa: la distancia en la recta real (o en el plano complejo) entre x y [[zero], se le

llama también módulo]

|a + bi | = √(a² + b²)

Órdenes parciales
Símbolo Nombre se lee como Categoría

comparación es menor a, es mayor a órdenes parciales

 x < y significa: x es menor a y; x > y significa: x es mayor a y

3 <4 5 >4

Símbolo Nombre se lee como Categoría

comparación es menor o igual a, es mayor o igual a órdenes parciales

x ≤ y significa: x es menor o igual a y; x ≥ y significa: x es mayor o igual a y

x ≥ 1 ⇒ x² ≥ x

Geometría euclídea
Símbolo Nombre se lee como Categoría

pi pi Geometría euclideana

π significa: la razón de la circunferencia a su diámetro.

A = πr² es el área de un círculo con radio "r"

Combinatoria
Símbolo Nombre se lee como Categoría

factorial factorial combinatoria

n! es el producto 1×2×...×n

4! = 24

Análisis funcional
Símbolo Nombre se lee como Categoría

norma norma de; longitud de análisis funcional

x es la norma del elemento x de un espacio vectorial normado

x+y ≤ x + y

Cálculo
Símbolo Nombre se lee como Categoría
 integración integral desde ... hasta ... de ... con respecto a ... cálculo

∫ab f(x) dx significa: el área, con signo, entre el eje-x y la gráfica de la función f entre x =
ayx=b

∫0b x² dx = b³/3; ∫x² dx = x³/3

derivación derivada de f; f prima cálculo

f '(x) es la derivada de la función f en el punto x, esto es, la pendiente de la tangente en

ese lugar.

Si f(x) = x², entonces f '(x) = 2x y f ' '(x) = 2

gradiente del, nabla, gradiente de cálculo

∇f (x1, …, xn) es el vector de derivadas parciales (df / dx1, …, df / dxn)

Si f (x, y, z) = 3xy + z² entonces ∇f = (3y, 3x, 2z)

derivada parcial derivada parcial de cálculo

Con f (x1, …, xn), ∂f/∂xi es la derivada de f con respecto a xi, con todas las otras variables
mantenidas constantes.

Si f(x, y) = x²y, entonces ∂f/∂x = 2xy

Ortogonalidad
Símbolo Nombre se lee como Categoría

perpendicular es perpendicular a ortogonalidad

x y significa: x es perpendicular a y; o, más generalmente, x es ortogonal a y.

Álgebra matricial
Símbolo Nombre se lee como Categoría

perpendicular traspuesta matrices y vectores

(a,b) con al lado o a modo de potencia significa que el vector se debe colocar no de
izquierda a derecha, sino de arriba a abajo. En numerosos trabajos de investigación se
utiliza esta sintaxis al no poder representar en un documento vectores verticales.
Teoría de rejas
Símbolo Nombre se lee como Categoría

fondo el elemento fondo teoría de rejas

x= significa: x es el elemento más pequeño.

Función del lenguaje

Las funciones del lenguaje se refieren al uso de la lengua que hace un hablante. Son los diferentes
objetivos, propósitos y servicios que se le dan al lenguaje al comunicarse, dándose una función del
lenguaje por cada factor que tiene éste, en donde la función que prevalece es el factor en donde
más se pone énfasis al comunicarse.

Las funciones del lenguaje son herramientas que sirve para la comunicación, cumple una función de
acuerdo con lo que la gente quiera lograr. Se distinguen 3 funciones: Informar: el hablante utiliza el
lenguaje para transmitir información, para comunicar conocimiento. Expresar: el hablante no
comunica conocimiento, sino que comunica sus sentimientos, emociones, estados de ánimo u
opiniones. Dar directivas: el hablante lo utiliza para obtener resultados, para que su oyente haga o
deje de hacer algo, para provocar o impedir una determinada acción o conducta por parte del
receptor. Hay dos formas q son actos del habla por los q el emisor intenta q el receptor haga algo.

Proposiciones
Denominadas a través de letras minúsculas, las proposiciones matemáticas tienen un valor de
verdad (que será la verdad o la falsedad de su enunciado). De acuerdo a sus características, es
posible distinguir entre proposiciones simples (que carecen de conectores lógicos) y proposiciones
compuestas (cuentan con más de un conector lógico). Dentro de estos grupos también pueden
advertirse otras clasificaciones: proposiciones relacionales, proposiciones predicativas, etc.

Puede entenderse a las proposiciones matemáticas como expresiones de juicio que no pueden
resultar verdaderas y falsas de manera simultánea. Por ejemplo:

a: 9 es múltiplo de 3

Dicha expresión es una proposición matemática que resulta verdadera, ya que 3 x 3 es igual a 9 y,
por lo tanto, 9 es un múltiplo de 3. Como decíamos líneas arriba, la proposición matemática también
puede ser falsa:

b: 7 es múltiplo de 3

En este caso, la proposición es falsa ya que 7 no está entre los múltiplos de 3 (3 x 2 = 6, 3 x 3 = 9).
Lenguaje objeto y metalenguaje
Podemos hablar en castellano, en inglés, en japonés o en árabe sobre personas, sobre cualquier tipo
de objetos, sobre hechos, sucesos, etc. Pero podemos hablar también en esas lenguas sobre otras
lenguas. Así, en una clase de inglés cabe hablar en castellano, por ejemplo, sobre el inglés. Siguiendo
una convención terminológica muy extendida, podemos decir que, en ese contexto, el inglés es el
lenguaje-objeto es decir, el lenguaje considerado como objeto que se presenta a nuestra
consideración y el castellano es el metalenguaje es decir, el lenguaje por medio del cual podemos
hablar acerca del lenguaje-objeto Pero obsérvese que la distinción no es absoluta. En otro contexto,
en el de una clase de castellano impartida en Escocia, pongamos por caso, el lenguaje-objeto será
el castellano y el metalenguaje será con toda probabilidad el inglés. De manera que el lenguaje-
objeto es la lengua o el lenguaje sobre el que se dicen cosas; el metalenguaje, la lengua en que se
las dice, cuando se está hablando sobre una lengua o lenguaje. No cabe duda de que podemos
hablar sobre una lengua utilizando para ello esa misma lengua. La mayoría de las clases de gramática
castellana que se dan en el Bachillerato si no todas se dan en castellano; es decir, se habla en
castellano acerca del castellano. Así pues, en este contexto el castellano es a la vez el lenguaje-
objeto y el metalenguaje. Hay algunos autores por ahora en clara minoría en la literatura filosófica
que prefieren no aplicar esta terminología para este último caso, aconsejando hablar simplemente
de uso reflexivo del lenguaje: de que el lenguaje se usa o utiliza, en el caso descrito en último lugar,
reflexivamente.

Objeto de la lógica
Así como el objeto de estudio tradicional de la química es la materia, y el de la biología la vida, el
de la lógica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir
de premisas. La lógica investiga los principios por los cuales algunas inferencias son aceptables, y
otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica, y no por el contenido
específico del argumento o el lenguaje utilizado. Por esta razón la lógica se considera una ciencia
formal, como la matemática, en vez de una ciencia empírica.

Designado y denotado de un signo

Designado:

• Es el conjunto de características al que hace referencia el juicio.

• Comprende el conjunto de notas o características que se refieren a determinados objetos o
entidades.
• Se encuentra en el plano ideal, en el de los conceptos, no en el plano real.
• Todo signo tiene designado, pero no todo signo tiene denotado. Así, palabras como
duende, centauro, etc, tienen designado (porque sabemos lo que ellas significan), pero no
tienen denotado puesto que no hay duendes ni centauros.

Denotado:
• Es el conjunto de todas las entidades que poseen las características del designado.
• Está dado por el conjunto de objetos o entidades a los que hace referencia un signo.
• Hay términos que no tienen denotación, como por ejemplo: fantasma, tiene denotación (las
características a las que hace referencia) pero no posee denotación, ya que suponemos que no hay
en la realidad seres que sean fantasmas.
Bibliografía
Elementos del lenguaje:

http://cipri.info/resources/Lenguaje_Matematico.pdf,
http://www.buenastareas.com/ensayos/Lenguaje-Matematico/7087894.html.

Lenguaje Natural :

http://es.wikipedia.org/wiki/Lenguaje_natural

Lenguaje Artificial:

http://es.wikipedia.org/wiki/Lengua_construida

Simbolos matematicos:

http://es.wikipedia.org/wiki/Anexo:S%C3%ADmbolos_matem%C3%A1ticos