Wikipédia em português - A enciclop...
Download this dictionary
Lógica de primeira ordem
A
lógica de primeira ordem
(LPO), conhecida também como
cálculo de predicados de primeira ordem
(CPPO), é um sistema lógico que estende a
lógica proposicional
(lógica sentencial) e que é estendida pela
lógica de segunda ordem
.
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