Fundamentos de la Lógica Formal: Enunciados, Lenguaje y Tipos
Enviado por Programa Chuletas y clasificado en Español
Escrito el en español con un tamaño de 3,95 KB
La lógica formal se ocupa de la validez de los razonamientos, centrándose únicamente en su aspecto formal. Así entendida, la lógica determina cuándo una inferencia está bien construida; es decir, que la conclusión se deduzca correctamente de la premisa.
Tipos de Lógica Formal
- La lógica de enunciados estudia la validez formal de los razonamientos teniendo en cuenta únicamente el valor de la verdad (verdadero o falso) de cada enunciado. Toma los enunciados como un todo y no los analiza internamente en sujeto y predicado.
- La lógica de predicados analiza la estructura interna de los enunciados, pues los considera proposiciones en las que una propiedad (predicado) se atribuye o predica al sujeto.
- La lógica de clases considera que los enunciados