Lógica de segundo orden

De Wikipedia, la enciclopedia libre

La lógica de segundo orden es una extensión de la lógica de primer orden en la que se añaden variables y cuantificadores que operan sobre conjuntos de individuos.

Por ejemplo, el enunciado de segundo orden dice que para todo conjunto S de individuos y para todo individuo x, o bien x está en S, o bien no lo está (principio de bivalencia).

La lógica de segundo orden más general también incluye variables que cuantifican funciones.

Este artículo es un miniesbozo sobre lógica en el que falta información esencial. Ampliándolo ayudarás a mejorar Wikipedia. Puedes ayudarte con las wikipedias en otras lenguas.