Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00021367n
Noun Concept
Categories: Lógica matemática, Teoria dos modelos
PT
completude  Completude logica  completude lógica  teorema da completude
PT
Em lógica matemática e na metalógica, um sistema formal é chamado completo com respeito a uma propriedade específica se toda fórmula tendo a propriedade pode ser obtida usando esse sistema, isto é, é um de seus teoremas; caso contrário, o sistema é dito incompleto. Wikipedia
Portuguese:
lógica
Definitions
Relations
Sources
PT
Em lógica matemática e na metalógica, um sistema formal é chamado completo com respeito a uma propriedade específica se toda fórmula tendo a propriedade pode ser obtida usando esse sistema, isto é, é um de seus teoremas; caso contrário, o sistema é dito incompleto. Wikipedia
Princípio que diz que toda sentença lógica pode ser demonstrada como verdadeira ou como falsa, ou mesmo como verdadeira e falsa. Wikipedia Disambiguation
IS A
lógica
propriedade
propriedade
CATEGORY DOMAIN
lógica
DESCRIBED BY SOURCE
Enciclopédia Soviética Arménia
Wikipedia
PT
completude (lógica)
Wikidata
PT
Completude
Wikipedia Redirections
PT
Completude logica, completude lógica, teorema da completude

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