Responda às perguntas a seguir, justificando cada resposta.
(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 \mathcal{M}\models\varphi para dizer “no modelo \mathcal{M} a sentença \varphi é 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 \Gamma.
  • 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 \mathcal{M} tais que \mathcal{M}\models\text{axioma} e modelos \mathcal{N} tais que \mathcal{N}\not\models\text{axioma}.
  • Exemplo concreto e simples: a sentença \forall x\forall y\; x y = y x (composição com símbolo \cdot ou \circ, escrevo informalmente) é um axioma que expressa “o grupo é abeliano”. Essa sentença é verdadeira no modelo (\mathbb{Z},+) (os inteiros com soma) e é falsa no modelo (S_3,\circ) (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 \Gamma\vdash\varphi (ou seja, \varphi é demonstrável a partir dos axiomas \Gamma), então \Gamma\models\varphi (ou seja, \varphi é verdadeiro em todo modelo de \Gamma). Assim, provas conservam verdade semântica.
  • A completude de Gödel (para lógica de primeira ordem): se \Gamma\models\varphi então \Gamma\vdash\varphi. 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 \Gamma for satisfatível (tem pelo menos um modelo), então cada axioma de \Gamma é verdadeiro nesse modelo. Se \Gamma 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.

Exercícios relacionados