BabelNet

bn:00021998n

Noun Concept

Categories: Problemas de Hilbert, Metalógica, Lógica matemática

consistência concórdia consistente inconsistentes logicamente consistente

(Lógica) um atributo de um sistema lógico que é de tal modo que nenhuma das proposições dedutíveis dos axiomas se contradizem. Portuguese from Multilingual Central Repository

Definitions

Relations

Sources

(Lógica) um atributo de um sistema lógico que é de tal modo que nenhuma das proposições dedutíveis dos axiomas se contradizem. Portuguese from Multilingual Central Repository

Na lógica clássica dedutiva, uma teoria é chamada de consistente se não contém contradição. Wikipedia

IS A

lógica

propriedade

HAS KIND

Equiconsistência

HAS INSTANCE

internal consistency of the Bible

CATEGORY DOMAIN

lógica

DESCRIBED BY SOURCE

Enciclopédia Soviética Arménia