indica la diferencia entre lógica predictiva y lógica proposicional
keylacordero11kr:
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.1 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.2
Respuestas a la pregunta
Contestado por
0
Respuesta:
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.1 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.2
Explicación:
espero que te sirva
Otras preguntas
Ciencias Sociales,
hace 4 meses
Estadística y Cálculo,
hace 4 meses
Física,
hace 4 meses
Filosofía,
hace 8 meses
Contabilidad,
hace 8 meses
Castellano,
hace 1 año