Resposta:
Na lógica uma teoria consistente é uma que não contenha uma contradição. A falta de contradições pode ser definida em termos semânticos ou sintáticos. A definição semântica estabelece que uma teoria é consistente se e somente se tiver um modelo, ou seja, existe uma interpretação segundo a qual todas as fórmulas são verdadeiras. A definição sintática estabelece que uma teoria é consistente se e somente se não há fórmula P tal que P e sua negação são demonstráveis a partir dos axiomas da teoria sob o seu sistema associado dedutivo.
Resposta: Na lógica uma teoria consistente é uma que não contenha uma contradição. ... A definição sintática estabelece que uma teoria é consistente se e somente se não há fórmula P tal que P e sua negação são demonstráveis a partir dos axiomas da teoria sob o seu sistema associado dedutivo.
Explicação: já está com explicação
