Wikipédia em português - A enciclop...
Abaixe este dicionário
Lógica de segunda ordem
Na
lógica matemática
, a
lógica de segunda ordem
é uma extensão da
lógica de primeira ordem
, onde a própria lógica de primeira ordem é uma extensão de
lógica proposicional
.
Veja mais na Wikipédia.org...
© Esse artigo usa material da
Wikipédia
®
sob a licença
Licença GNU de Documentação Livre
e sob nos termos da licença
Creative Commons Attribution-ShareAlike