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 α
