Independência (lógica matemática)
De Wikipedia, a enciclopédia encyclopedia
Na lógica matemática, independência se refere a uma sentença que não pode ser provada a partir de outras sentenças.
As referências deste artigo necessitam de formatação. (Julho de 2015) |
Uma sentença σ é Independente de uma dada teoria de primeira ordem T se T nem prova nem refuta σ; isto é, é impossível provar σ a partir de T, e também é impossível provar T dado que σ é falsa. Algumas vezes, σ é dito como sendo insolúvel ou Indemonstrável a partir de T.
Uma teoria T é independente se cada axioma em T não é derivado de outros axiomas restantes em T. Um conjunto de axiomas independentes é dito como sistema axiomático independente.