Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00036829n
Noun Concept
Categories: Lógica matemática
PT
lógica de predicados  lógica de primeira ordem  cálculo funcional  cálculo de predicados  CPPO
PT
Para o termo específico, ver Lógica de primeira ordem Wikipedia
English:
philosophy
Definitions
Relations
Sources
PT
Para o termo específico, ver Lógica de primeira ordem Wikipedia
A lógica de primeira ordem, conhecida também como cálculo de predicados de primeira ordem, é um sistema lógico que estende a lógica proposicional e que é estendida pela lógica de segunda ordem. Wikipedia
Conjunto de um ou mais termos que são atribuíveis a um outro termo Wikipedia Disambiguation
IS A
lógica matemática
teoria matemática
lógica de predicados
sistema lógico
HAS PART
lógica de predicados
lógica de ordem superior
EN
institutional model theory
DE
Matrix
EN
quantification
PART OF
lógica matemática
lógica de predicados
lógica
HAS KIND
lógica de predicados
EN
zeroth-order logic
lógica de ordem superior
Entscheidungsproblem
DESCRIBED BY SOURCE
Enciclopédia Soviética Arménia
DIFFERENT FROM
lógica de predicados
STUDIED BY
lógica matemática
USES
quantificação
Wikipedia
PT
lógica de predicados, lógica de primeira ordem
Wikidata
PT
cálculo funcional, lógica de predicados, lógica de primeira ordem
Wikipedia Redirections
PT
CPPO, cálculo de predicados, cálculo de predicados de primeira ordem, linguagem de primeira ordem
Wikidata Alias
PT
CPPO, cálculo de predicados de primeira ordem, LPO
WordNet Translations
PT
cálculo de predicados, cálculo funcional
Wikipedia Translations
PT
cálculo de predicados, cálculo funcional, lógica de predicados

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License