Diferencia entre revisiones de «Lógica de primer orden»
Contenido eliminado Contenido añadido
Sin resumen de edición |
Deshecha la edición 29621495 de 200.72.24.12 (disc.) |
||
Línea 1:
La '''lógica de primer orden''', también llamada '''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.<ref>{{cita enciclopedia |título=first-order logic |enciclopedia=The Oxford Dictionary of Philosophy |url=http://www.oxfordreference.com/views/ENTRY.html?subview=Main&entry=t98.e1263 |editor=Simon Blackburn |editorial=Oxford University Press |fechaacceso=10 de septiembre de 2009}}</ref> Los lenguajes de primer orden son, a su vez, lenguajes con [[cuantificador]]es que alcanzan sólo a variables de individuo, y con [[Función matemática|funciones]] cuyos argumentos son sólo constantes o variables de individuo.<ref>{{cita enciclopedia |título=first-order language |enciclopedia=The Oxford Dictionary of Philosophy |url=http://www.oxfordreference.com/views/ENTRY.html?subview=Main&entry=t98.e1262 |editor=Simon Blackburn |editorial=Oxford University Press |fechaacceso=10 de septiembre de 2009}}</ref>
La lógica de primer orden tiene el poder expresivo suficiente para definir a prácticamente todas las [[matemática]]s.
| |||