Como resolver o enigma lógico do Sol, da Lua e da Verdade
Esse tipo de problema aparece com frequência em testes de lógica e competições acadêmicas. A estrutura básica envolve três entidades — o Sol, a Lua e um terceiro elemento, muitas vezes chamado de "Verdade" — e cada uma faz uma afirmação. O desafio é determinar quem fala a verdade e quem mente com base nas regras dadas.
O sol a lua ea verdade: como funciona na prática
O cenário mais comum começa assim: o Sol diz "Eu falo a verdade." A Lua diz "O Sol mente." E a Verdade diz "A Lua não mente." Você precisa decidir quantos estão dizendo a verdade e quantos estão mentindo. A solução depende inteiramente da premissa inicial — se exatamente uma entidade fala a verdade, ou se dois falam, ou ainda se não há restrição nenhuma. Isso é o que mais causa confusão entre quem está vendo pela primeira vez. No meu caso, vi isso em um teste de raciocínio lógico para uma vaga em uma empresa de tecnologia em 2019. A pergunta parecia simples, mas tinha uma pegadinha: a entidade chamada "Verdade" na verdade dizia "A Lua mente." Eu marquei errado na primeira tentativa porque li apressado e assumi que a Verdade concordava com a Lua. A correção do teste me mostrou que o erro era justamente esse — confiar na intuição em vez de registrar no papel cada afirmação literalmente como estava escrita.
Método de resolução passo a passo
O que funciona na maioria das vezes é construir uma tabela-verdade simplificada. Você lista todas as combinações possíveis de verdadeiro e falso para as três entidades. Com três variáveis, são oito combinações: VVV, VVF, VFV, VFF, FVV, FVF, FFV, FFF. Para cada combinação, você verifica se as afirmações são consistentes com os valores atribuídos. Pegando o exemplo clássico acima: se o Sol é V, a Lua é F e a Verdade é F, então a afirmação do Sol ("Eu falo a verdade") é consistente porque ele é V. A afirmação da Lua ("O Sol mente") é inconsistente porque ela é F e na verdade o Sol fala a verdade. A afirmação da Verdade ("A Lua não mente") também é inconsistente porque ela é F e a Lua sim mente. Essa combinação funciona. Se você testar VVV, a afirmação da Lua já quebra porque ela seria V mas diria que o Sol mente, sendo que ele fala a verdade. E por aí vai.
A chave é não pular etapas. Anotar no papel leva cerca de dois minutos e evita que você confunda os papéis. De cabeça, é muito fácil errar porque o cérebro tende a encontrar o primeiro encaixe que parece funcionar e parar de verificar.
👉 Clique no botão abaixo para saber mais sobre o assunto!
Pegadinhas comuns
A primeira pegadinha frequente é a ambiguidade na restrição. O enunciado pode dizer "apenas um fala a verdade" ou "pelo menos um fala a verdade". Esses dois cenários produzem resultados diferentes. Sempre verifique isso antes de começar a montar a tabela. A segunda pegadinha é quando uma das entidades faz uma afirmação sobre si mesma. "Eu falo a verdade" é uma afirmação vazia — ela é verdadeira se a entidade é verdadeira e falsa se a entidade é falsa. Isso significa que essa afirmação sozinha não contribui com informação útil para a resolução. O que importa são as afirmações cruzadas entre as entidades.
Uma terceira armadilha aparece quando o problema introduz um quarto elemento, como "A Estrela diz que o Sol e a Lua falam a mesma coisa." Aí você precisa adicionar mais linhas à tabela e considerar que "falam a mesma coisa" significa ambos V ou ambos F. Sem considerar essa equivalência, a contagem de combinações fica errada.
Quando esse método falha
O método da tabela-verdade funciona bem até cerca de cinco entidades. Passa disso, o número de combinações cresce exponencialmente e o tempo de resolução aumenta drasticamente. Com seis entidades, são sessenta e quatro combinações. Com sete, cento e vinte e oito. Aí vale a pena usar eliminação lógica ao invés de listar tudo. Também não funciona bem quando o enunciado é ambiguamente redigido ou quando as afirmações envolvem variáveis temporais como "amanhã eu mentirei." Nesse caso, a consistência depende do dia em que a afirmação foi feita, e você precisa de informações adicionais que muitas vezes não estão no texto.
Dica prática para treinar
Se quer praticar, monte seus próprios problemas. Pegue três entidades, defina arbitrariamente quais falam a verdade e quais mentem, e escreva afirmações cruzadas entre elas. Depois, resolva como se fosse um usuário desconhecido. Isso te dá noção de quais estruturas geram soluções únicas e quais geram ambiguidade. Leva uns quinze minutos e é mais eficiente do que fazer cinquenta exercícios genéricos encontrados na internet. A resposta final para o exemplo clássico com três entidades — Sol dizendo "Eu falo a verdade", Lua dizendo "O Sol mente", Verdade dizendo "A Lua não mente" — sob a restrição de apenas um falar a verdade é: o Sol fala a verdade, a Lua e a Verdade mentem. Se a restrição for "pelo menos um," a resposta muda e pode haver mais de uma configuração válida. Por isso a precisão na leitura do enunciado é o passo mais importante de todo o processo.
