LOGICA DE PRIMER ORDEN
LOGICA DE PRIMER ORDEN
Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden. Los lenguajes de primer orden son, a su vez, lenguajes formales con cuantificadores que alcanzan solo a variables de individuo, y con predicados y funciones cuyos argumentos son solo constantes o variables de individuo.
La lógica de primer orden tiene un poder expresivo muy superior al de la lógica proposicional.
La lógica de primer orden -también conocida como el cálculo de predicados de primer orden y la lógica de
predicados -es una colección de sistemas formales utilizados en las matemáticas , la filosofía , la lingüística y la informática . Lógica de primer orden utiliza variables cuantificadas sobre los objetos no-lógicos y permite el uso de frases que contienen variables, de modo que en lugar de proposiciones tales como Sócrates es un hombre uno puede tener expresiones en la forma "existe X tal que X es Sócrates y X es un hombre" y no existe es un cuantificador, mientras que X es una variable. Esto lo distingue de la lógica de proposiciones , que no utiliza cuantificadores o relaciones.
predicados -es una colección de sistemas formales utilizados en las matemáticas , la filosofía , la lingüística y la informática . Lógica de primer orden utiliza variables cuantificadas sobre los objetos no-lógicos y permite el uso de frases que contienen variables, de modo que en lugar de proposiciones tales como Sócrates es un hombre uno puede tener expresiones en la forma "existe X tal que X es Sócrates y X es un hombre" y no existe es un cuantificador, mientras que X es una variable. Esto lo distingue de la lógica de proposiciones , que no utiliza cuantificadores o relaciones.
Comentarios
Publicar un comentario