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
Geografía,
hace 3 meses
Matemáticas,
hace 3 meses
Religión,
hace 3 meses
Filosofía,
hace 7 meses
Contabilidad,
hace 7 meses
Castellano,
hace 11 meses
Matemáticas,
hace 11 meses