Responda às perguntas a seguir, justificando cada resposta.
(a) Axiomas são sentenças?
(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.
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:
. - Uma variável é livre numa fórmula se ela não está sob o escopo de um quantificador que a vincule. Exemplo: em
as variáveis e 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:
, .
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:
. 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
, inclua a sentença …”. - Exemplo clássico: o esquema de indução em aritmética de Peano é normalmente apresentado assim: para toda fórmula
da linguagem, inclua a sentença
Cada escolha concreta de
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
. O símbolo aí são metavariáveis; após substituir proposições concretas obtemos sentenças proposicionais como .
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
. Aqui o axioma é claramente uma sentença. - Axiom schema: esquema de indução mencionado antes — o esquema não é uma sentença única; cada
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.