Responda às perguntas a seguir, justificando cada resposta.
(b) Axiomas possuem valor lógico?
(b) Axiomas possuem valor lógico?
Passo 1
O que o enunciado pergunta e o que temos: a questão pede uma resposta justificada para a pergunta “(b) Axiomas possuem valor lógico?”. Não há outros dados numéricos ou figuras. Vou explicar passo a passo o que significa “axioma” e “valor lógico” e, com isso, chegar a uma resposta clara e justificada — fica tranquilo, eu vou te guiar devagarinho.
Passo 2
O que é “valor lógico” (verdade/falseza) de uma sentença?
- Uma sentença bem formada de uma linguagem formal pode, em geral, ser avaliada semanticamente em relação a uma interpretação ou modelo: dada uma interpretação, a sentença é ou verdadeira ou falsa nessa interpretação. Esse par “interpretação + avaliação” é o que chamamos de semântica.
- Em linguagem simbólica usamos a notação
para dizer “no modelo a sentença é verdadeira”. - Resumindo: o valor lógico (verdadeiro/falso) de uma sentença faz sentido quando se fixa uma interpretação ou um modelo.
Passo 3
O que é um axioma? (duas perspectivas importantes)
- Perspectiva semântica / informal: um axioma é uma afirmação tomada como base de um sistema — por exemplo, o postulado das paralelas em geometria.
- Perspectiva formal (teoria dos modelos / lógica): um axioma é simplesmente uma sentença (ou um esquema de sentenças) da linguagem que o sistema aceita sem prova; um conjunto de axiomas forma uma teoria
. - Há também distinção entre “axiomas lógicos” (esquemas que são tautologias lógicas, válidos em todas as interpretações) e “axiomas não-lógicos” (postulados específicos de uma teoria, como os axiomas de grupo, de conjuntos, etc.).
Passo 4
Axiomas como sentenças em modelos — quando têm valor lógico?
- Se um axioma é tratado como uma sentença da linguagem, então ele pode ser avaliado em modelos: ele é verdadeiro em alguns modelos e falso em outros. Em linguagem formal: pode haver modelos
tais que e modelos tais que . - Exemplo concreto e simples: a sentença
(composição com símbolo ou , escrevo informalmente) é um axioma que expressa “o grupo é abeliano”. Essa sentença é verdadeira no modelo (os inteiros com soma) e é falsa no modelo (o grupo simétrico de ordem 6). Portanto, esse axioma tem valor lógico diferente conforme o modelo escolhido.
Passo 5
Axiomas no papel sintático (prova) — e aí?
- Do ponto de vista puramente sintático (teoria da prova), axiomas são fórmulas que o sistema aceita como regras iniciais para deduzir teoremas; não são “provados” dentro do sistema, são pressupostos. Nesse papel, não se fala em “verdade dentro do sistema”, fala-se em “aceitação” como premissa.
- Portanto, dentro do próprio sistema formal um axioma não é algo com valor de verdade provado — ele é ponto de partida. Atribuir a ele a etiqueta “verdadeiro” exige passar para a semântica (escolher um modelo/interpretação).
Passo 6
Ligando sintaxe e semântica: teoremas que ajudam a entender a situação
- A propriedade de corretude (soundness): se
(ou seja, é demonstrável a partir dos axiomas ), então (ou seja, é verdadeiro em todo modelo de ). Assim, provas conservam verdade semântica. - A completude de Gödel (para lógica de primeira ordem): se
então . Essas duas juntas estabelecem a forte conexão entre prova e verdade relativa a modelos. Isso reforça a ideia de que avaliar a verdade de sentenças (incluindo axiomas) exige falar de modelos/interpretações.
Passo 7
Casos especiais e observações úteis (para usar na prova):
- Axiomas lógicos (tais como leis lógicas) são válidos em todas as interpretações; por isso têm valor lógico “universalmente verdadeiro”.
- Axiomas não-lógicos (postulados de geometria, teoria de grupos, ZF, etc.) normalmente não têm um valor lógico absoluto: são verdadeiros em alguns modelos e falsos em outros.
- Se um conjunto de axiomas
for satisfatível (tem pelo menos um modelo), então cada axioma de é verdadeiro nesse modelo. Se for inconsistente, não existe modelo em que todos os axiomas sejam simultaneamente verdadeiros.
Passo 8
Conclusão direta e curta (resposta ao enunciado)
- Não existe uma resposta única sem especificar o contexto: em geral, axiomas não têm um valor lógico absoluto por si só; seu valor (verdadeiro/falso) é relativo a uma interpretação ou modelo. A exceção são axiomas lógicos (esquemas tautológicos), que são verdadeiros em todas as interpretações.
Resposta
Não necessariamente: axiomas não possuem valor lógico absoluto — sua verdade é relativa a uma interpretação/modelo; apenas axiomas lógicos (tautologias) são verdadeiros em todas as interpretações.