Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00072919n
Noun Concept
Categories: Teoria dos modelos, Lógica, Argumentos, !Artigos que carecem de fontes sem indicação de tema
PT
correção  validade  Correcção  Teorema da correção  solidez
PT
A qualidade de ser prudente e sensato. Portuguese from Multilingual Central Repository
English:
logic
Definitions
Relations
Sources
PT
A qualidade de ser prudente e sensato. Portuguese from Multilingual Central Repository
Na lógica matemática, um sistema lógico possui a propriedade da correção se e somente se suas regras de inferências demonstram somente fórmulas que são válidas do ponto de vista de sua semântica. Wikipedia
IS A
bem
propriedade
validade
HAS PART
verdade
validade
HAS KIND
conveniência
sensatez
validade
ANTONYM
EN
unsoundness
DERIVATION
assisado
fundamentado
EN
sound
HAS QUALITY
verdade
Portuguese from Multilingual Central Repository
PT
validade
Wikipedia
PT
correção
Wikidata
PT
Correção
Wikipedia Redirections
PT
Correcção, Teorema da correção
Wikipedia Translations
PT
solidez

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