En lógica matemática , la lógica de predicados es el término genérico para sistemas formales simbólicos como la lógica de primer orden, la lógica de segundo orden, la lógica de muchos ordenamientos 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 cuantificables .
Las siguientes 34 páginas pertenecen a esta categoría, de un total de 34. Es posible que esta lista no refleje los cambios recientes ( más información ).