Uma frase pode ser verdadeira sem dizer nada sobre o mundo?

Há frases verdadeiras porque descrevem corretamente o mundo. E há frases verdadeiras por uma razão muito mais estranha: o mundo não oferece sequer um caso em que elas possam falhar.

Considere a afirmação: “Todos os unicórnios que moram na minha garagem usam óculos.”

É falsa?

A reação intuitiva costuma ser dizer que sim, porque unicórnios não existem. Mas a lógica formal responde de outro modo: se não há unicórnios na garagem, então não existe nenhum unicórnio sem óculos que possa funcionar como contraexemplo. A frase, portanto, é verdadeira.

Estranho? Bastante.

Mas essa estranheza revela algo importante: verdade lógica e informação sobre o mundo não são a mesma coisa.

O que torna uma afirmação universal falsa?

Uma proposição universal tem a forma:

“Para todo x, se x tem a propriedade P, então x tem a propriedade Q.”

Em símbolos:

∀x [P(x) → Q(x)]

Para derrubar essa afirmação, precisamos encontrar pelo menos um elemento para o qual P seja verdadeira e Q seja falsa. Um único contraexemplo basta.

Se digo que “todo número primo maior que 2 é ímpar”, a frase cairia imediatamente se encontrássemos um primo maior que 2 que fosse par.

Mas agora suponha que não exista nenhum elemento com a propriedade P. Nesse caso, não há candidato a contraexemplo.

É daí que nasce a chamada verdade vacuamente verdadeira.

A tabela-verdade explica a estranheza

O coração do problema está na implicação P → Q.

Na lógica clássica, uma implicação só é falsa em uma situação: quando P é verdadeira e Q é falsa.

É justamente nas duas últimas linhas que nossa intuição reclama. Se P é falsa, a implicação é considerada verdadeira independentemente de Q.

Por quê?

Porque a implicação não afirma que P acontece. Ela afirma apenas que não ocorre o caso P verdadeiro e Q falso.

Isso é muito diferente da linguagem cotidiana. Quando alguém diz “se chover, eu levo guarda-chuva”, geralmente imaginamos uma relação causal, uma promessa ou uma previsão. A lógica proposicional não carrega automaticamente nenhuma dessas interpretações. Ela trabalha com condições de verdade.

Esse cuidado com a linguagem também aparece em outros textos do site. No artigo “A média pode estar certa — e ainda assim contar a história errada”, o problema era semelhante: um resultado matematicamente correto pode ser interpretado de forma errada quando esquecemos exatamente o que ele afirma.

“Todos os dragões da sala são azuis”

Suponha que eu entre em uma sala vazia e diga:

“Todos os dragões desta sala são azuis.”

Você pode responder: “Mas não há dragões.”

Exatamente.

Por isso não existe dragão vermelho, verde ou amarelo capaz de contradizer minha afirmação.

Agora note algo ainda mais curioso. Também é verdadeira a frase:

“Todos os dragões desta sala são vermelhos.”

E também:

“Todos os dragões desta sala sabem cálculo diferencial.”

As três afirmações são logicamente verdadeiras.

Mas nenhuma delas nos informa que dragões existem.

Aí está a distinção fundamental: uma proposição pode ter valor lógico verdadeiro e, ainda assim, carregar pouquíssima informação empírica.

Isso não é um truque: é uma ferramenta

A verdade vacuamente verdadeira aparece o tempo inteiro em Matemática, mesmo quando não percebemos.

Considere a afirmação: “todo elemento do conjunto vazio é menor que 100”. Verdadeira.

“Todo elemento do conjunto vazio é maior que 1 milhão.” Também verdadeira.

Isso permite que definições e teoremas sejam formulados de maneira geral, sem a necessidade de abrir exceções artificiais sempre que um conjunto fica vazio.

Em demonstrações, essa economia é enorme. Se uma propriedade deve valer para todos os elementos de um conjunto e descobrimos que o conjunto não possui elementos, o caso está automaticamente resolvido.

Não porque provamos alguma coisa sobre objetos inexistentes, mas porque não existe objeto capaz de violar a condição.

O perigo começa quando saímos da Matemática

A lógica formal é precisa. Nossa conversa cotidiana, nem sempre.

Imagine alguém dizendo:

“Nenhum dos meus clientes insatisfeitos reclamou.”

A frase pode soar como evidência de satisfação. Mas talvez simplesmente não existam clientes classificados como insatisfeitos — ou talvez o método usado para identificá-los seja ruim.

Algo semelhante ocorre quando lemos afirmações como “100% dos casos detectados apresentaram determinada característica”. Antes de nos impressionarmos com o percentual, precisamos perguntar: quantos casos foram detectados?

Se o conjunto de referência é vazio ou quase vazio, uma frase universal pode parecer muito mais informativa do que realmente é.

Essa preocupação conversa com o artigo sobre decisões racionais e Teoria dos Jogos: modelos não são apenas contas. Eles dependem de sabermos exatamente quais hipóteses estão sendo colocadas dentro do jogo.

Verdade não é existência

Talvez a lição mais bonita seja filosófica.

A Matemática nos força a separar perguntas que a linguagem cotidiana costuma misturar:

Uma frase é verdadeira?

Os objetos mencionados existem?

A frase nos ensina alguma coisa sobre eles?

Essas três perguntas não são equivalentes.

Uma afirmação universal sobre um conjunto vazio pode ser verdadeira, mesmo sem haver objetos sobre os quais aprender.

Essa separação entre estrutura formal e realidade também aparece no artigo sobre a quarta dimensão: a Matemática consegue trabalhar coerentemente com estruturas que não dependem de nossa experiência visual imediata.

Uma leitura para continuar a conversa

Para quem gosta dessa fronteira entre números, linguagem, abstração e aquilo que chamamos de realidade, vale continuar por Números: A Linguagem da Ciência, de Tobias Dantzig, em edição traduzida por Guilherme Augusto Pianezzer. A obra percorre justamente a construção histórica e filosófica das ideias matemáticas — uma boa companhia para perceber que conceitos que hoje parecem naturais foram, muitas vezes, conquistas intelectuais nada óbvias.

A página da edição brasileira no Clube de Autores apresenta atualmente opção direta de compra da versão impressa.

O que significa dizer que algo é verdade?

A verdade vacuamente verdadeira parece uma pequena curiosidade de tabela-verdade. Mas ela expõe uma questão muito maior.

Nossa intuição costuma exigir exemplos. A lógica exige ausência de contraexemplos.

Nossa intuição pergunta se os objetos existem. A lógica pergunta se a estrutura da afirmação foi violada.

Nossa intuição confunde verdade com informação. A Matemática insiste em separá-las.

E talvez essa seja uma das funções mais importantes da lógica: não nos dizer o que pensar, mas obrigar-nos a perceber exatamente o que estamos afirmando.

Então fica a provocação: quantas frases que você considera informativas são apenas verdadeiras porque nunca houve um caso real capaz de colocá-las à prova?