Loguica De Primer Orden

basándose en su valor con relación al mundo real, pero no por esta razón una oración cuyo valor real sea inexacto o erróneo este será falso; al contrario si el predicado esta afirmando su valor realseria la veracidad a pesar que dentro del contexto realista no este precisamente correcto.
En otras palabras la lógica de predicado es tomada como el estudio a profundidad de la estructura de losenunciados proposicionales, con la finalidad de calcular su valor de certeza de forma precisa y concreta. Este estudio se basa dos elementos “quién se afirma” y “de qué se afirma”, en base a esto se haceun análisis por medio de la inferencia para saber cuál es su valor de verdad.
Lógica de predicados de orden cero.
Se denomina lógica de predicados de orden cero a el estudio de enunciados conpredicados de valor 0 (serán verdaderas o falsas, de ahí se le conoce también como lógica de proposiciones). Puesto que no usa constantes, variables, funciones ni cuantificadores su estudio es sencillo.Sin embargo posee estructuras deductivas que la lógica proposicional no formaliza de forma adecuada como por ejemplo:
“Todos los cantantes son talentosos, Erick es cantante, luego Erick es talentoso”En la lógica de predicados de orden cero esta proposición es dividida en 3 a, b y c y la formula resultante “a ∧ b c” seria invalida.
Lógica de predicados de primer orden.
Permite lacuantificación de las variables establecidas anteriormente así este planteamiento se formalizaría.
(∀x Cantantes (x) Talentosos (x)) ∧ Cantante (Erick)) Talentoso (Erick)
Sistema deductivopara lógica de primer orden
En lógica de predicados de orden cero, existen unas series de expresiones que son siempre verdaderas. A partir de estas expresiones podremos llegar a construir un sistemadeductivo con el que podremos llegar a expresiones correctas. Ejemplo: La siguiente expresión es válida:
|=p(X) -> (Q(X) ->P(x))
Esta expresión es una instancia de una tautología de...