✏ Link do problema para dispositivos da Apple.
Problema
(Indicado a partir do 8º ano do E. F.)
Em uma tirinha de Jim Davis, Garfield faz uma curiosa reflexão a respeito do Odie:
Imagem extraída de Tirinhas Inteligentes. (Acesso em 07/12/23)
A lógica de Garfield tem um erro. Você consegue explicar qual?
Solução
Segundo a afirmação filosófica, “se algo pensa, então este algo existe”.
Porém, como Garfield acha que Odie não pensa, a partir da afirmação “Eu penso, logo existo” Garfield concluiu que “se o Odie não pensa, então ele não existe”.
Tente mudar um pouco os objetos para entender melhor.
Por exemplo:
- isto é uma maçã – logo, é uma fruta.
Imagine que você vê, agora, algo que não é uma maçã.
- Você pode afirmar que o algo não é uma fruta?
Escrevendo a afirmação do filósofo em linguagem matemática, temos
[tex]\qquad \text{Pensar}\Longrightarrow \text{Existir}[/tex]
e isso não é equivalente a
[tex]\qquad \text{Não Pensar}\Longrightarrow \text{Não Existir}.[/tex]
Na verdade,
[tex]\qquad \text{Pensar}\Longrightarrow \text{Existir}[/tex]
equivale à sua dita contrapositiva
[tex]\qquad \text{Não Existir}\Longrightarrow \text{Não Pensar}[/tex].
Para entender melhor, sugerimos a leitura da Sala Um pouco sobre a linguagem matemática – Sala 4: Implicações e equivalências.
Solução elaborada pelos Moderadores do Blog.