[Script Info] Title: [Events] Format: Layer, Start, End, Style, Name, MarginL, MarginR, MarginV, Effect, Text Dialogue: 0,0:00:06.61,0:00:09.10,Default,,0000,0000,0000,,Criado pelo lógico Raymond Smullyan Dialogue: 0,0:00:09.10,0:00:12.22,Default,,0000,0000,0000,,e popularizado por seu\Ncolega George Boolos, Dialogue: 0,0:00:12.22,0:00:16.80,Default,,0000,0000,0000,,esse enigma tem sido considerado\Na mais difícil charada de lógica. Dialogue: 0,0:00:16.80,0:00:21.14,Default,,0000,0000,0000,,Você e sua tripulação caíram\Nem um planeta distante. Dialogue: 0,0:00:21.14,0:00:26.23,Default,,0000,0000,0000,,A única forma de sair dele é satisfazendo\Nseus três soberanos alienígenas, Dialogue: 0,0:00:26.23,0:00:28.67,Default,,0000,0000,0000,,Tê, Efe e Erre, Dialogue: 0,0:00:28.67,0:00:31.36,Default,,0000,0000,0000,,dando a eles os artefatos corretos. Dialogue: 0,0:00:31.36,0:00:34.25,Default,,0000,0000,0000,,Infelizmente, você não sabe quem é quem. Dialogue: 0,0:00:34.25,0:00:39.19,Default,,0000,0000,0000,,Numa inscrição em pedra, você descobre\Nque pode fazer três perguntas objetivas, Dialogue: 0,0:00:39.19,0:00:41.99,Default,,0000,0000,0000,,uma para cada um dos soberanos. Dialogue: 0,0:00:41.99,0:00:46.53,Default,,0000,0000,0000,,As respostas de Tê são sempre verdadeiras,\Nas de Efe são sempre falsas Dialogue: 0,0:00:46.53,0:00:49.95,Default,,0000,0000,0000,,e as de Erre são sempre aleatórias. Dialogue: 0,0:00:49.95,0:00:51.36,Default,,0000,0000,0000,,Mas há um problema. Dialogue: 0,0:00:51.36,0:00:54.84,Default,,0000,0000,0000,,Você aprendeu a língua local\No bastante para perguntar o que quiser, Dialogue: 0,0:00:54.84,0:00:59.51,Default,,0000,0000,0000,,mas não sabe qual das duas palavras,\N"ozo" e "ulu", significa "sim" Dialogue: 0,0:00:59.51,0:01:01.27,Default,,0000,0000,0000,,e qual significa "não". Dialogue: 0,0:01:01.27,0:01:04.80,Default,,0000,0000,0000,,Como então distinguir cada alienígena? Dialogue: 0,0:01:04.80,0:01:08.15,Default,,0000,0000,0000,,[Pause o vídeo se quiser tentar\Ndescobrir sozinho. Dialogue: 0,0:01:08.15,0:01:12.25,Default,,0000,0000,0000,,Resposta em três...dois...um.] Dialogue: 0,0:01:12.27,0:01:16.88,Default,,0000,0000,0000,,A princípio, a charada parece não apenas\Ndifícil, mas praticamente impossível. Dialogue: 0,0:01:16.88,0:01:18.71,Default,,0000,0000,0000,,De que adianta fazer uma pergunta Dialogue: 0,0:01:18.71,0:01:22.90,Default,,0000,0000,0000,,se não é possível entender a resposta\Nnem saber se é verdadeira? Dialogue: 0,0:01:22.90,0:01:24.69,Default,,0000,0000,0000,,Acontece que é possível. Dialogue: 0,0:01:24.69,0:01:27.60,Default,,0000,0000,0000,,A solução é formular\Ncuidadosamente as perguntas Dialogue: 0,0:01:27.60,0:01:31.30,Default,,0000,0000,0000,,de forma que qualquer resposta\Nforneça informações úteis. Dialogue: 0,0:01:31.30,0:01:35.73,Default,,0000,0000,0000,,Primeiro, é possível driblar o fato de não\Nsaber o que "ozo" e "ulu" significam Dialogue: 0,0:01:35.73,0:01:39.20,Default,,0000,0000,0000,,incluindo essas palavras nas perguntas Dialogue: 0,0:01:39.20,0:01:43.43,Default,,0000,0000,0000,,e, segundo, se colocarmos situações\Nhipotéticas em cada pergunta, Dialogue: 0,0:01:43.43,0:01:47.81,Default,,0000,0000,0000,,o fato de um alienígena estar mentindo\Nou não será irrelevante. Dialogue: 0,0:01:47.81,0:01:53.30,Default,,0000,0000,0000,,Para ver como pode funcionar,\Nimagine que a pergunta seja se 2 + 2 = 4. Dialogue: 0,0:01:53.30,0:01:55.100,Default,,0000,0000,0000,,Em vez de fazê-la \Nde forma direta, dizemos: Dialogue: 0,0:01:55.100,0:02:01.23,Default,,0000,0000,0000,,"Se lhe perguntasse se 2 + 2 = 4,\Nvocê responderia 'ozo'?" Dialogue: 0,0:02:01.23,0:02:04.50,Default,,0000,0000,0000,,Se "ozo" significa "sim"\Ne o soberano é Tê, Dialogue: 0,0:02:04.50,0:02:07.25,Default,,0000,0000,0000,,ele responderá a verdade: "ozo". Dialogue: 0,0:02:07.25,0:02:08.96,Default,,0000,0000,0000,,Mas e se perguntarmos a Efe? Dialogue: 0,0:02:08.96,0:02:13.08,Default,,0000,0000,0000,,Ele responderia "ulu", ou "não",\Npara a mesma pergunta. Dialogue: 0,0:02:13.08,0:02:17.12,Default,,0000,0000,0000,,Então, ele mente e responde "ozo". Dialogue: 0,0:02:17.12,0:02:20.05,Default,,0000,0000,0000,,E, se "ozo" na verdade significar "não", Dialogue: 0,0:02:20.05,0:02:23.36,Default,,0000,0000,0000,,a resposta à pergunta será "ulu", Dialogue: 0,0:02:23.36,0:02:26.69,Default,,0000,0000,0000,,e tanto Tê quanto Efe\Nainda vão responder "ozo", Dialogue: 0,0:02:26.69,0:02:28.66,Default,,0000,0000,0000,,cada qual por suas próprias razões. Dialogue: 0,0:02:28.66,0:02:30.95,Default,,0000,0000,0000,,Se estiver em dúvida\Nsobre por que isso funciona, Dialogue: 0,0:02:30.95,0:02:33.38,Default,,0000,0000,0000,,tem a ver com estrutura lógica. Dialogue: 0,0:02:33.38,0:02:38.27,Default,,0000,0000,0000,,Tanto dupla afirmação quanto dupla negação\Nresultam em afirmação. Dialogue: 0,0:02:38.27,0:02:43.32,Default,,0000,0000,0000,,É possível ter certeza de que fazer\Numa pergunta como essa a Tê ou a Efe Dialogue: 0,0:02:43.32,0:02:47.26,Default,,0000,0000,0000,,resultará em "ozo" se a pergunta\Nhipotética for verdadeira Dialogue: 0,0:02:47.26,0:02:49.26,Default,,0000,0000,0000,,e em "ulu" se for falsa, Dialogue: 0,0:02:49.26,0:02:52.77,Default,,0000,0000,0000,,independentemente do que essas\Npalavras de fato signifiquem. Dialogue: 0,0:02:52.77,0:02:56.27,Default,,0000,0000,0000,,Infelizmente, isso não funciona com Erre. Dialogue: 0,0:02:56.27,0:03:01.23,Default,,0000,0000,0000,,Mas não tem problema, pois nossa primeira\Npergunta pode identificar um soberano Dialogue: 0,0:03:01.23,0:03:03.46,Default,,0000,0000,0000,,que com certeza não seja Erre. Dialogue: 0,0:03:03.46,0:03:07.83,Default,,0000,0000,0000,,Podemos então usar a segunda\Npara descobrir se é Tê ou Efe. Dialogue: 0,0:03:07.83,0:03:09.23,Default,,0000,0000,0000,,Descobrindo isso, Dialogue: 0,0:03:09.23,0:03:12.61,Default,,0000,0000,0000,,podemos pedir que\Nidentifique um dos outros. Dialogue: 0,0:03:13.14,0:03:14.40,Default,,0000,0000,0000,,Então, vamos lá. Dialogue: 0,0:03:14.40,0:03:16.45,Default,,0000,0000,0000,,Pergunte ao alienígena do meio: Dialogue: 0,0:03:16.45,0:03:22.12,Default,,0000,0000,0000,,"Se lhe perguntasse se o soberano à minha\Nesquerda é Erre, você responderia 'ozo'?" Dialogue: 0,0:03:22.12,0:03:26.05,Default,,0000,0000,0000,,Se a resposta for "ozo",\Nexistem duas possibilidades: Dialogue: 0,0:03:26.05,0:03:30.96,Default,,0000,0000,0000,,você já estaria conversando com Erre,\Ne a resposta seria irrelevante Dialogue: 0,0:03:30.96,0:03:34.69,Default,,0000,0000,0000,,ou você estaria conversando\Ncom Tê ou com Efe Dialogue: 0,0:03:34.69,0:03:35.89,Default,,0000,0000,0000,,e, como sabemos, Dialogue: 0,0:03:35.89,0:03:40.98,Default,,0000,0000,0000,,"ozo" vindo de qualquer dos dois significa\Nque sua pergunta hipotética é verdadeira Dialogue: 0,0:03:40.98,0:03:44.60,Default,,0000,0000,0000,,e o soberano à esquerda é Erre. Dialogue: 0,0:03:44.60,0:03:49.46,Default,,0000,0000,0000,,Seja como for, com certeza\No alienígena à direita não é Erre. Dialogue: 0,0:03:49.46,0:03:51.99,Default,,0000,0000,0000,,Da mesma forma, se a resposta for "ulu", Dialogue: 0,0:03:51.99,0:03:55.71,Default,,0000,0000,0000,,você saberá que o alienígena\Nà esquerda não pode ser Erre. Dialogue: 0,0:03:55.71,0:03:59.90,Default,,0000,0000,0000,,Então, pergunte ao soberano\Nque você sabe que não é Erre: Dialogue: 0,0:03:59.90,0:04:04.17,Default,,0000,0000,0000,,"Se lhe perguntasse se você é Efe,\Nvocê responderia 'ozo'?" Dialogue: 0,0:04:04.17,0:04:07.15,Default,,0000,0000,0000,,Já que não precisa\Nse preocupar com a resposta, Dialogue: 0,0:04:07.15,0:04:10.41,Default,,0000,0000,0000,,qualquer resposta revelará\Na identidade dele. Dialogue: 0,0:04:10.91,0:04:14.42,Default,,0000,0000,0000,,Agora que sabe se as respostas dele\Nsão falsas ou verdadeiras, Dialogue: 0,0:04:14.42,0:04:19.47,Default,,0000,0000,0000,,pergunte a ele \Nse o soberano do meio é Erre. Dialogue: 0,0:04:19.47,0:04:23.68,Default,,0000,0000,0000,,O processo de eliminação\Nrevelará o que restar. Dialogue: 0,0:04:23.68,0:04:26.54,Default,,0000,0000,0000,,Os soberanos contentes o ajudam\Na consertar sua nave Dialogue: 0,0:04:26.54,0:04:28.53,Default,,0000,0000,0000,,e você se prepara para decolar. Dialogue: 0,0:04:28.53,0:04:33.70,Default,,0000,0000,0000,,Você faz uma última pergunta a Tê,\Nse a viagem de volta à Terra é longa, Dialogue: 0,0:04:33.70,0:04:36.00,Default,,0000,0000,0000,,e ele responde "ozo". Dialogue: 0,0:04:36.00,0:04:39.28,Default,,0000,0000,0000,,Uma pena você ainda não saber\No que essa resposta quer dizer.