LENGUAJE MATEMÁTICO

El lenguaje matemático es una forma de comunicación a través de símbolos especiales para

realizar cálculos matemáticos. El idioma que utiliza es formal y abstracto. Mezcla palabras
números, símbolos, figuras y conceptos que tienen un significado matemático que siempre
coinciden con el significado en el lenguaje normal, castellano o de cualquier otro idioma.

ELEMENTOS DEL LEGUAJE MATEMÁTICO

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

Postulado: Supuesto que se establece para fundar una demostración, teórica o un cuerpo de
doctrina.

Definición: Declaración del significado de un término o signo, es decir, el uso que de el

se va hacer.

Proporción: Enunciado de una verdad demostrado, 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 si sola de los demostrado anteriormente.

TIPOS DE LENGUAJE

En matemática somos distintos lenguaje. Por ejemplo. El Lenguaje colonial que está compuesto
por las palabras del idioma que hablamos. Decimos por ejemplo.

“El doble de un número es igual a cuatro”

“Pablo tiene más año que Ignacio”.

“El Precio de la leche ha aumentado un 3%”

El lenguaje simbólico o algebraico, que está formado por los símbolos específicos de la
matemática y las letras que utilizamos para representar números desconocidos.

FUNCIÓN DEL LENGUAJE

La matemática es una ciencia lógica y deductiva. La deducción lógica exige cumplir unas reglas
muy precisas: “Si no se cumplen, no funciona”. (Ejemplo de móviles y ordenadores).

Parte de unos principios (axiomas); de unas definiciones y conceptos; de unos objetos (números,
símbolos, operadores.) de unas reglas de juego (propiedades).

PROPOSICIONES

Es un producto lógico del pensamiento que se expresa mediante el lenguaje, sea este un lenguaje
común o formalizado, cuando adopta la forma de oración gramatical, o simbólico, cuando se
expresa por medio de signos o símbolos de un lenguaje formal.

TIPOS DE PROPOSICIONES

Proposición Atómica o Simple: cuando hace referencia a un único contenido de verdad o

falsedad; vendría a ser equivalente a la oración enunciativa simple en la lengua.

Proposición Molecular: cuando está constituida por varias proposiciones atómicas unidas por
ciertas partículas llamadas “nexo o conectivos”, que establece relaciones sintácticas como función
de coordinación y subordinación determinadas entre las proposiciones que la integran; tal ocurre
en la función de las conjuciones en las oraciones compuestas de la lengua.

OBJETO DE LA LÓGICA

El posible objetivo de la lógica o, lo que es lo mismo, su finalidad, es decir, la materia sobre la cual
verán las consideraciones de la lógica y trata de precisar y profundizar esta. Noción que
conocemos por unas consideraciones de carácter muy amplio.

IMPORTANCIA DE LA LÓGICA EN LA INFORMÁTICA

La lógica matemática es la disciplina que trata los métodos de razonamiento. En un nivel

elemental, la lógica proporciona reglas y técnicas para determinar si es o no valido un argumento
dado. El razonamiento lógico se emplea en matemática para demostrar teorema; en ciencias de la
computadora para verificar si son o no correctos los programas.

También la lógica tiene participación en la construcción de programas como son los sistemas
expertos y programas de inteligencia artificial en sus diferentes modalidades, que comúnmente se
le denomina sistema basado en reglas.

CALCULO PROPOSICIONAL

Se define como la ciencia que trata de los principios validos del razonamiento y argumentación. El
estudio de la lógica es el esfuerzo por determinar las condiciones que justifican a una persona para
pasar de una propisición dada, llamada premisas, a una conclusión que deriva de aquellas. Según
L. García, 1990, la lógica proposicional estudia las operaciones propisionales y la educación
proposicional.

CONSTRUCCIÓN DEL CÁLCULO PROPOSICIONAL: SÍMBOLOS, VARIABLES Y CONECTIVOS

PROPOSICIONALES
p ¬p
Los enunciados serán representados en el cálculo por medio de variables designados
1 0
por letras minúsculas del alfabeto a partir de la “p”: p, q, v… Estas letras recibirán el
0 1 nombre de variables proposicionales. Ejemplos:

 “Júpiter gira alrededor del sol” = p

 “El Támesis es un rio” = q

 “Suiza es un país europeo” = v

Las constantes lógicas, conectivos o conectores del cálculo proposicional son:

 Negador: Representado por el símbolo “¬”, puede ser considerado como la partícula “no”
del lenguaje ordinario o natural. Se puede añadir a cualquier proposición, que pasa a
denominar “no p”; “¬ p”. Si p es verdadera, su negación será falsa, y viceversa. Podemos
expresarlo en la siguiente tabla de verdad, donde “1” es igual a “verdadero” y “0” es igual
a “falso”.

(La tabla indica que cuando la p es verdadera, su negación ¬ p es falsa, mientras que si la p es
falsa, ¬ p será verdadera)

 Conjutor: Representado por el símbolo “^”, recibe el nombre de Conjutor o producto

lógico; puede ser considerado como la version formal de la partícula del lenguaje
ordinario “y”. La expresión “p ^ q” se lee “p y q”, y es verdadera solo si sus dos
componentes lo son al mismo tiempo:

p q p^q

1 1 1

1 0 0
 0 1 0

0 0 0

 Disyuntor: Representado por el símbolo “v”, recibe el nombre de disyuntor o suma

lógica, y puede considerarse como uno de los usos de la partícula “o” del lenguaje
ordinario. Este uso es el no excluyente. La expresión “p v q” se lee “p o q”, y es
verdadera cuando al menos una de las dos proposiciones lo es, mientras que es falsa
solo si lo son las dos a la vez.

p q pvq

1 1 1

1 0 1

0 1 1

0 0 0

 Condicional: El símbolo “—›” se denomina condicional o implicador y puede

considerase como una formalización, aunque imparcial e incompleta de la expresión
del lenguaje ordinario “si… entonces…” se forma uniendo dos proposiciones con el
símbolo “—›”: “p —› q”, que se lee “si p, entonces q.” La proposición que está antes
del condicional se llama “antecedente”, mientras que la que sigue después se
denomina “consecuente”. El lenguaje ordinario permite expresar un condicional de
muchas maneras:

“Siempre que va hacer la revolución acaba luego no haciéndose.”

“Para poder morir, basta con haber nacido.”

“Bien pensado, no hay porque pensar bien.”

Los dos uso de la partícula “o” son: El uso excluyente: “o ganas, o pierdes”, donde solo puede
darse uno de los dos. Y el uso no excluyente “vas al cine o vas al teatro”, donde pueden darse uno,
otro, los dos a la vez o ninguno de los dos a la vez o ninguno de los dos. Este último es el uso que
le vamos a dar en nuestro calculo proposicional.

“Si se va hacer la revolución, entonces acaba luego no haciéndose.”

“Si se ha nacido, entonces se muere.”

“Si bien se piensa, entonces no hay porque pensar bien”.

Un condicional es verdadero siempre que no se dé el caso de su antecedente sea verdadero y su

consecuente falso al mismo tiempo, y es falso solo si se da esta circunstancia.

p q p —› q

1 1 1

1 0 0

0 1 1

0 0 1

 Bicondicional: Se representa como “‹-›” y se denomina bicondicional o coimplicador.

En el lenguaje matemático no formalizado se usa frecuentemente la expresión “si y
sólo si,” que se considera sinónimo de “equivale”. La expresión “p ‹-› q” se lee como
“si y solo si” “p, entonces q”, y es verdadera cuando sus dos componentes son
verdaderos o cuando ambos son falsos al mismo tiempo; en cambio es falso cuando
uno de sus componentes es verdadero y el otro falso.
SÍMBOLOS DE AGRUPACIÓN

Son aquellos que superan una ecuación. La ecuación es resuelta por parte dependiendo el símbolo
que la separe estos pueden ser llaves, corchetes, y paréntesis en este caso los primeros en
desaparecer los paréntesis luego los corchetes y ultimo las llaves.
p q p ‹-› q
()= Paréntesis
Multiplicación 1 1 1 y División

[ ] = Corchetes 1 0 0 (+) (+) (-) (-) = +

{ } = Llaves 0 1 0

++}--} 0 0 1 Suma

+ - } - + } Resta

REGLAS DE FORMACIÓN

Definen qué expresiones son fórmulas: expresiones bien formadas del cálculo proposicional.
Dichas reglas parten de una primera: una propisición cualquiera es una fórmula o expresión bien
formada del cálculo. Cuando la propisición está formada por una letra se denomina fórmula
atómica: p es una fórmula atómica. La unión de una fórmula atómica con otras por medio de los
conectivos se denomina fórmula molecular. Así, una fórmula seria “p ^ q,” “¬ p” o incluso “p ^ q —
› ¬ p”.

Una fórmula o expresión bien formada del cálculo es un símbolo o serie de símbolos de los
definidos anteriormente (letras de enunciados y conectivos) que se atiene estrictamente a las
siguientes reglas de formación:

 Regla 1: Una fórmula atómica (“p”) es una fórmula.

 Regla 2: Si “A” es una fórmula “¬ A” también es una fórmula. Donde “A” puede ser tanto
una fórmula atómica como molecular.
  Regla 3: Si “A” y “B” son fórmulas, entonces “A ^ B,” “A V B”, “A —› B,” “A ‹-› B” son
también fórmulas.

 Regla 4: Nada más es una fórmula.

REGLAS DE INFERENCIA

Es una forma lógica que consiste en una función que toma premisas, Analiza su sintaxis, y devuelve
una conclusión (o conclusiones). Por ejemplo, la regla de inferencia llamada Modus ponendo
ponens

Toma dos premisas, uno en la forma "Si p entonces q" y otra en la forma "p", y vuelve la
conclusión "q". La regla es válida con

Respecto a la semántica de la lógica clásica (así como la semántica de muchas otras lógicas no
clásicas), en el sentido de que si las

Premisas son verdaderas (bajo una interpretación), entonces también lo será la conclusión.

Por lo general, una regla de inferencia conserva la verdad, una propiedad semántica. En muchos
valores lógicos, esta conserva una

Designación general. Pero la acción de la regla de inferencia es puramente sintáctica, y no es

necesario preservar ninguna propiedad

Semántica: cualquier función de conjuntos de fórmulas para fórmulas cuenta como una regla de
inferencia. Por lo general, solo son

Importantes las reglas que sean recursivas; es decir, reglas de modo que no haya un
procedimiento efectivo para determinar si

Cualquier fórmula dada es la conclusión de un determinado conjunto de fórmulas de acuerdo a la

regla. Un ejemplo de una regla que

No es efectiva en este sentido es la infinitistar egla ω.1

Como se mencionó, la aplicación de una regla de inferencia es un procedimiento puramente

sintáctico. Sin embargo, debe también

Ser válido, o mejor dicho, preservar la validez. Para que el requisito de preservación de la validez
tenga sentido, es necesaria una

Cierta forma semántica para las aserciones de las reglas de inferencia y las reglas de inferencia en
sí mismas.
Las reglas significativas de inferencia en la lógica proposicional incluyen modus ponens, modus
tollens y contraposición. La lógica

De predicados de primer orden usa reglas de inferencia para liderar concu antificadores lógicos.