Lógica de ordem superior
forma de lógica de predicados que se distingue da lógica de primeira ordem por permitir a presença de quantificadores sobre predicados / De Wikipedia, a enciclopédia encyclopedia
Na matemática e na lógica, uma lógica de ordem superior é uma forma de lógica de predicados que se distingue da lógica de primeira ordem por permitir a presença de quantificadores sobre predicados, e por possuir uma semântica mais forte. Lógicas desse tipo, com sua semântica padrão, são mais expressivas, mas suas propriedades na teoria dos modelos são "menos bem-comportadas" do que as da lógica de primeira ordem em relação a certas aplicações.
Este artigo não cita fontes confiáveis. (Junho de 2017) |
Um predicado de ordem superior seria um predicado que tem um ou mais predicados como argumentos. Em geral, um predicado de ordem superior de ordem n toma um ou mais predicados de ordem (n − 1) como argumentos, onde n > 1.