Question

o que é um conjunto de proposições consistente? ​

Answer 1

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.

Answer 2

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