Categoría:Lógica de predicados

• Wikimedia Commons alberga una categoría multimedia sobre Lógica de predicados.

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.