Categoría:Lógica de predicados

De Wikipedia, la enciclopedia libre
Ir a la navegación Ir a la búsqueda

En lógica matemática, la lógica de predicados es el término genérico para los sistemas simbólicos formales, como la lógica de primer orden, la lógica de segundo orden, la lógica ordenada o la lógica infinitaria. Este sistema formal se distingue de otros sistemas como la lógica proposicional en que sus fórmulas contienen variables que pueden ser cuantificadas.