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.
Subcategorías
Esta categoría incluye solamente la siguiente subcategoría:
R
Páginas en la categoría «Lógica de predicados»
Esta categoría contiene las siguientes 17 páginas: