Lógica Clásica del Primer Orden

Flowchart nodes

• Lógica Clásica de Primer Orden

• Objetivos

• Modelar el proceso de razonamiento. Formalizar la noción de demostración.  

• Incluye algunos elementos de la lógica proposicional

• Definida sobre determinadas funciones, constantes y predicados.

• Construcción de fórmulas:  * Conectivos lógicos. * Parèntesis. *Relación binaria. * Variables. * Cuantificadores. 

• El valor de verdad de una fòrmula depende de la interpretaciòn que se da a las constantes, funciones y relaciones