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
Portuguese from Multilingual Central Repository
Wikipedia
Wikidata
Wikipedia Redirections
Wikipedia Translations
PT