Lenguaje Formal Matematico
Enviado por alseru09 • 18 de Agosto de 2014 • 745 Palabras (3 Páginas) • 245 Visitas
El lenguaje formal es un tipo de lenguaje artificial. Realmente no debería considerarse un lenguaje, ya que es más un cálculo, una estructura, un sistema de relaciones. Para ello, se utilizan unos signos peculiares y unas reglas que modifican la relación entre ellos.
El cálculo
Un cálculo es un conjunto de signos sin contenido y se compone de:
a) Un conjunto de elementos primitivos (símbolos elementales): constituyen el vocabulario. Ej.: en el álgebra x, y, z. Su vocabulario es mucho más reducido que el lenguaje natural y carece de significado.
b) Un conjunto de operadores (símbolos de enlace): relacionan entre sí los símbolos que forman el vocabulario. Ej.: x + y = 20 (“+” y “=” son los operadores)
c) Reglas de formación de fórmulas: Una fórmula es una frase bien construida. Estas reglas nos dicen qué frases están bien construidas y cuáles no.
d) Reglas de transformación de fórmulas: Nos permiten pasar de una fórmula a otra. Ej.: x + y = 20 x = 20 - y
La característica esencial del cálculo es que no hace referencia al mundo exterior (es un lenguaje vacío de contenido). Una vez organizado el cálculo, le damos un contenido a sus símbolos.
La lógica
La lógica es un lenguaje formal. Es un conjunto de cálculos, no pretende decirnos nada del mundo real.
Las leyes del razonamiento correcto son el objeto de la lógica. Estudian cuándo nuestros razonamientos son correctos, no si son verdaderos o falsos.
Razonamiento proceso mental por el que, de una proposición o varias pasamos a otra, es decir: establecida una proposición en la que se expresa un conocimiento pasamos a otro conocimiento, sin que intervenga para nada la experiencia. Dadas las circunstancias podemos saber lo que va a ocurrir sin utilizar para nada la experiencia.
Todos razonamos continuamente, aunque no siempre correctamente.
Ejemplo: si te saltas un semáforo en rojo 30 € de multa
Te lo has saltado CONCLUSIÓN te ponen la multa
Ejemplo: si te saltas un semáforo en rojo 30 € de multa
Te han puesto una multa CONCLUSIÓN te has saltado un semáforo.
Como podemos ver, la primera es correcta, mientras que la segunda no.
La lógica tiene 3 cálculos:
La lógica proposicional
La lógica de clases
La lógica de predicados
La lógica proposicional
Estudia los razonamientos tomando las proposiciones sin analizar, las toma como una unidad.
Proposición oración representativa o referencial, es decir, oración en que se afirma o se niega algo de un sujeto y, por lo tanto, puede ser verdadera o falsa.
Verdadera (V - 1)
Cualquier proposición sólo puede tener dos valores
Falsa (F - 0)
Las proposiciones pueden ser atómicas o moleculares:
Atómica: proposición simple que no puede descomponerse
Molecular: proposición
...