2.3 LENGUAJE SIMBÓLICO DE LA LÓGICA FORMAL
2.3.1 Lenguaje Simbólico de la Lógica de Enunciados (Lógica Proposicional)
2.3.2 Lenguaje Simbólico de la Lógica de Predicados (Lógica
Cuantificacional)
La Lógica de predicados tiene en cuenta la estructura y los elementos de cada
proposición.
DEFINICION: Se
caracteriza por ser un sistema de signos normados por reglas de formación explícita, El lenguaje simbólico se considera económico en tanto que permite traducir con menos
signos las expresiones del lenguaje natural.
La Lógica emplea un lenguaje simbólico para facilitar la
comprensión de las estructuras lógicas del lenguaje natural.
La Lógica simbólica al igual que la lógica en general, tiene como objeto de estudio el razonamiento, el fin de encontrar métodos para distinguir los razonamientos válidos de los no válidos.
DEFINICIÓN: La Lógica de enunciados estudia los razonamientos tomando las proposiciones en
bloque, considerando a cada proposición como una unidad simple.
Se emplea cuando no se
considera necesario hacer evidente la estructura interna de los enunciados.
Enunciados Anatómicos: No contienen
dentro de sí mismo otro (s) enunciado
Enunciado Molecular: poseen una partícula que relaciona los enunciados componentes: llamada conectiva lógica. (i,o,si, la, etc.) y la negación.
Los enunciados atómicos se simbolizan con letras mayúsculas del alfabeto latino: P,Q,S,T
Se emplea para estudiar las estructuras
internas de los enunciados (sujeto y predicado).
Se pueden distinguir dos clases de expresiones lingüísticas:
a) Los términos descriptivos.
b) Las constantes lógicas.
Los términos descriptivos son aquellas expresiones que tienen un contenido particular acorde con el campo de conocimiento al que corresponden, si no es su campo pierden sentido.
Las constantes lógicas** son aquellas expresiones que tienen un sentido permanente independientemente del campo de conocimiento o situación donde se enuncien.
TERMINOS DESCRIPTIVOS:
a) Los nombres simples y los nombres compuestos de los objetos.
b) Los nombres de propiedades y relaciones (predicados).
c) Los nombres de funciones.