Dois gênios matemáticos recebem dois numeros naturais consecutivos (eles só sabem o próprio número e que são consecutivos, mas nao sabem quem é o maior.) Eles se alternam perguntando: vc ja sabe qual o meu número? E respondem sinceramente. Mostre que em algum momento algum dos dois diz sim.
Como que responde isso formalmente? Não consigo terminar a linha de raciocínio. -- Esta mensagem foi verificada pelo sistema de antiv�rus e acredita-se estar livre de perigo.