Solução do Puzzle de Lewis Carroll
Clube de Matemática SPM
Puzzle de Lewis Carroll
Sabendo que as três frases seguintes são verdadeiras, o que pode concluir?
1 - Nenhuma pessoa experiente é incompetente.
2 - O Jenkins está sempre a errar.
3 - Nenhuma pessoa competente está sempre a errar.
RESOLUÇÃO:
Para resolver este quebra-cabeças devemos interpretar cada frase conforme surge.
Se Jenkins está sempre a errar, então pela afirmação 3 ele é incompetente, e se ele é incompetente então pela afirmação 1 ele não é experimente. Assim, concluímos que Jenkins é inexperiente.
Podemos também resolver este puzzle começando por identificar o tipo de pessoas:
A = a pessoa é experiente
B = a pessoa é competente
C = a pessoa é Jenkins
D = a pessoa está sempre a errar
Recorrendo à lógica podemos representar as três afirmações do seguinte modo:
Relembre que se 
é verdadeiro, então, 
é falso.
é verdadeiro, então, é falso.E também que: 
é quivalente a 
.
é quivalente a .Agora sabendo que 
e que 
podemos encadear as três afirmações obtendo:
e que podemos encadear as três afirmações obtendo:
, ou seja, o Jenkins não é experiente.Puzzle retirado do Livro de Lewis Carroll: Symbolic Logic
Por Adília Marinho