Lógica Matemática na Prática

No filme Shrek Terceiro há um engraçado diálogo entre o Príncipe Encantado e Pinóquio que pode ser relacionado a alguns temas estudados em lógica (modalidades, dupla negação, etc.). O vídeo deste trecho está postado abaixo, e é simplesmente genial, pois para o Pinóquio não mentir ele usa várias técnicas de lógica sem entrar em contradição.

Aqui vai a transcrição para o diálogo:

Cena: Príncipe Encantado quer encontrar Shrek e pergunta a Pinóquio onde Shrek está, pois Pinóquio não pode mentir sem que isto seja percebido pelo crescimento de seu nariz.
Príncipe Encantado: Você. Você não pode mentir. Então me diga, boneco, onde está Shrek?
Pinóquio: Uh, hmm, bem, uh, Olha eu não sei onde ele não está.
Príncipe Encantado: Você está me dizendo que você não sabe onde Shrek está?
Pinóquio: Não seria impreciso supor que eu não poderia exatamente não dizer que isso é ou não é quase parcialmente incorreto.
Príncipe Encantado:- Então você sabe onde ele está?
Pinóquio: Oh, pelo contrário. Eu estou possivelmente mais ou menos não definitivamente rejeitando a ideia de que de forma alguma com qualquer quantidade de incerteza que eu inegavelmente...
Príncipe Encantado: Pare!
Pinóquio: ...sei ou não sei onde ele não deveria provavelmente estar, se isto de fato não fosse onde ele não está. Mesmo que ele não estivesse onde eu soubesse que ele estivesse, isto significaria que eu realmente teria que saber onde ele não estava.


O diálogo original:

Prince Charming: You. You can't lie. So tell me, puppet, where is Shrek?
Pinocchio: Uh, hmm, well, uh, I don't know where he's not.
Prince Charming: You're telling me you don't know where Shrek is?
Pinocchio: It wouldn’t be inaccurate to assume that I couldn’t exactly not say that it is or isn’t almost partially incorrect.
Prince Charming:- So you do know where he is?
Pinocchio: Oh, on the contrary. I'm possibly more or less not definitely rejecting the idea that in no way with any amount of uncertainty that I undeniably...
Prince Charming: Stop it!
Pinocchio: ...do or do not know where he shouldn’t probably be, if that indeed wasn’t where he isn’t. Even if he wasn’t at where I knew he was, that’d mean I’d really have to know where he wasn't.