algorithm - resueltos - logica de primer orden teoria
Predicado vs funciones en la lógica de primer orden (5)
De lo que entiendo
La función devuelve un valor que está en el dominio, asignando n elementos a un solo miembro del dominio.
Predicate confirma si la relación que intentas establecer es verdadera o no de acuerdo con los axiomas y las reglas de inferencia que estás siguiendo en tu sistema.
Últimamente he estado tan confundido con respecto a la diferencia entre predicado y función en la lógica de primer orden.
Mi entendimiento hasta ahora es,
El predicado es mostrar una comparación o mostrar una relación entre dos objetos como, por ejemplo,
President(Obama, America)
Las funciones son especificar qué es un objeto en particular, como
Human(Obama)
Ahora me dirijo al camino correcto para diferenciar estos dos términos o estoy completamente equivocado y necesito una breve explicación, me gustaría tener la opinión de un experto para aclarar mi conocimiento (o aprobar mi entendimiento). Gracias por adelantado
Krio
El predicado es la confirmación de una propiedad particular, un objeto o relación entre objetos. eso es decir que la propiedad existe para ese objeto. Si le dan una fórmula P para presidente de América, entonces
P (Obama, América) = verdadero.
te dice que tienes razón y que la propiedad de Obama como presidente de Estados Unidos es cierta y que la relación de Obama como presidente de Estados Unidos es cierta, pero
P (Putin, América) = falso.
le dice a Putin que ser presidente de las Américas es falso, por lo tanto, le dice que un objeto u objetos tienen o no una propiedad o relación en particular. En cuanto a las funciones, se devuelve el valor asociado a una propiedad específica de un objeto como la Presidenta de Estados Unidos, la madre de Ann, etc. Usted les asigna un valor y ellos le devolverán un valor.
P (América) = Obama.
P (Rusia) = Putin.
Símbolos de función, que asignan individuos a individuos - padre de (María) = Juan - color de (Cielo) = Azul • Símbolos predicados, que asignan individuos a valores de verdad - mayor (5,3) - verde (Hierba) - color (Pasto verde)
Un predicado es una función que devuelve verdadero o falso.