Question

Sendo capital tau uma teoria elementar cuja identidade é consistente, então T possui um modelo finito/enumerável, também chamado de contável. Com isso, é possível provar quais teoremas de completude?

Answer 1

Resposta:

Letra E

Explicação passo-a-passo:

Answer 2

Resposta:

E

Explicação passo-a-passo:

1 - As fórmulas válidas da lógica de primeira ordem são exatamente os seus teoremas; 2 - Sendo Г um conjunto de fórmulas de uma teoria elementar Τ e α uma fórmula de Т , então  Г  ⊦  Г se e somente se Г ⊨ α ; e 3 -  ⊦ α se e somente se α