Responda às perguntas a seguir, justificando cada resposta.
(a) Axiomas são sentenças?

Passo 1

O enunciado pergunta claramente: “(a) Axiomas são sentenças?”
Informações dadas pelo enunciado: nenhuma outra informação adicional foi fornecida.
O objetivo aqui é responder se, em contexto lógico/formal, um axioma é uma sentença, e justificar a resposta.

Passo 2

Primeiro preciso explicar o que é uma “sentença” em lógica formal (passo didático).
  • Uma fórmula é uma expressão bem formada na linguagem lógica que pode conter símbolos, predicados, conectivos e variáveis. Exemplo de fórmula com variável livre: P(x).
  • Uma variável é livre numa fórmula se ela não está sob o escopo de um quantificador que a vincule. Exemplo: em P(x)\wedge Q(y) as variáveis x e y são livres.
  • Uma sentença (também chamada fórmula fechada) é uma fórmula que não possui variáveis livres, isto é, todas as variáveis estão ligadas por quantificadores. Em notação: uma sentença é uma fórmula com zero variáveis livres. Exemplos de sentenças: \forall x\,P(x), \exists y\,(Q(y)\wedge R).
    Explicação simples: uma sentença é algo que já está “completinho” — ela pode ser julgada verdadeira ou falsa num modelo, sem precisar fornecer valores para variáveis.

Passo 3

Agora explicar o que entendemos por “axioma” em teorias formais.
  • Em lógica e teorias formais, um axioma é uma declaração adotada como ponto de partida para dedução; é algo que a teoria aceita sem demonstração.
  • Em uma apresentação rigorosa, os axiomas de uma teoria são geralmente fornecidos como sentenças da linguagem da teoria: são fórmulas fechadas que podem ser avaliadas em modelos. Por exemplo, em uma teoria de grupos, um dos axiomas é a sentença que expressa associatividade: \forall x\forall y\forall z\;((x\cdot y)\cdot z = x\cdot(y\cdot z)). Aqui vemos um axioma escrito como uma sentença (sem variáveis livres).

Passo 4

Caveat importante: axioma versus esquema de axiomas.
  • Muitas vezes na literatura usamos axioma-esquema (axiom schema): isso é um molde/template que gera uma infinidade de axiomas ao substituir uma fórmula qualquer por uma variável de esquema. O esquema em si NÃO é uma sentença fechada; é uma regra meta-matemática que diz “para cada fórmula \varphi, inclua a sentença …”.
  • Exemplo clássico: o esquema de indução em aritmética de Peano é normalmente apresentado assim: para toda fórmula \varphi(x) da linguagem, inclua a sentença
\bigl(\varphi(0)\wedge\forall x(\varphi(x)\to\varphi(x'))\bigr)\to\forall x\,\varphi(x).
Cada escolha concreta de \varphi dá uma sentença (uma instância do esquema). O esquema em si não é uma única sentença, mas uma “fábrica” de sentenças.
  • Outro exemplo: em lógica proposicional muitas apresentações usam axioma-esquemas como A\to(B\to A). O símbolo A,B aí são metavariáveis; após substituir proposições concretas obtemos sentenças proposicionais como (p\to(q\to p)).

Passo 5

Resumo didático e intuitivo (como aplicar na prova):
  • Se a teoria está sendo descrita formalmente, os axiomas que entram no conjunto axiomático da teoria são sentenças (fórmulas fechadas) — porque só sentenças têm valor de verdade num modelo sem precisar de atribuição de variáveis. Logo, em sentido formal e padrão, sim: axiomas são sentenças.
  • Porém, no modo prático de apresentar teorias costuma-se usar axioma-esquema para economizar notação. Nesse caso o “esquema” não é uma sentença, mas cada instância do esquema gera uma sentença que é realmente um axioma da teoria. Assim, ao responder “axiomas são sentenças?” a resposta correta e completa precisa mencionar esse detalhe: o objetivo final dos axiomas é ser sentenças; esquemas são apenas formas abreviadas que representam muitas sentenças.

Passo 6

Exemplos finais curtos para fixar:
  • Axiomático como sentença: em teoria de grupos a associatividade é a sentença \forall x\forall y\forall z\;((x\cdot y)\cdot z = x\cdot(y\cdot z)). Aqui o axioma é claramente uma sentença.
  • Axiom schema: esquema de indução mencionado antes — o esquema não é uma sentença única; cada \varphi dá uma sentença-axioma.

Resposta

Em geral sim: em uma teoria formal os axiomas são sentenças (fórmulas fechadas). Contudo, quando a apresentação usa um axioma-esquema, o esquema em si é um molde (não uma sentença) e cada instância do esquema é uma sentença-axioma.

Exercícios relacionados