Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lenguaje Matemático
Lenguaje Matemático
En el lenguaje matemático una curva simple es una curva que no se corta a si misma,
aunque su forma sea extraordinariamente complicada.
Las matemáticas siempre se ligan a la existencia de símbolos que, paradójicamente, son necesarios
para expresarlas de forma concisa y sencilla.
Euclídes (300 a.C.): Si un segmento rectilíneo se corta por un punto arbitrario, el cuadrado
del total es igual a los cuadrados de cada uno de los segmentos y el doble del rectángulo
cuyos lados son los segmentos.
Arquímedes (225 a.C.): El área de un círculo es igual a la del triangulo cuya base es el
perímetro de su circunferencia y la altura es igual al radio.
Con símbolos: A = ¼ r 2.
Postulado: Supuesto que se establece para fundar una demostración, teórica o un cuerpo de
doctrina.
se va hacer.
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 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.
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 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.
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.
Los enunciados serán representados en el cálculo por medio de variables designados por letras
minúsculas del alfabeto a partir de la “p”: p, q, v… Estas letras recibirán el nombre de variables
proposicionales. Ejemplos:
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”.
1 0
p q p^q
1 1 1
1 0 0
0 1 0
0 0 0
p q pvq
1 1 1
1 0 1
0 1 1
0 0 0
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.
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 p q p ‹-› q expresión “p ‹-› q” se lee como “si y solo si” “p,
entonces q”, y es verdadera cuando sus dos
1 1 1 componentes son verdaderos o cuando ambos son
1 0 0 falsos al mismo tiempo; en cambio es falso cuando
uno de sus componentes es verdadero y el otro
0 1 0 falso.
0 0 1
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.
{ } = Llaves
+ + } - - } 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 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.
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
Importantes las reglas que sean recursivas; es decir, reglas de modo que no haya un
procedimiento efectivo para determinar si
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.