[20:26, 9/7/2021] Jorge Stolfi - IC-UNICAMP: Um físico, um estatístico, um advogado (faz de conta que é cientista), e um matemático estão viajando de trem na Escócia, rumo a uma conferência. A paisagem é deserta, mas numa hora aparece uma vaca preta, sozinha no campo. [20:27, 9/7/2021] Jorge Stolfi - IC-UNICAMP: --Vejam só! Diz o físico, apontando. --Aqui na Escócia, as vacas são pretas! [20:28, 9/7/2021] Jorge Stolfi - IC-UNICAMP: --Péra aí, diz o estatístico. --Essa inferência é descabida. Com esse experimento, só podemos dizer que há uma boa probabilidade de que 50% das vacas na escócia sejam pretas. [20:30, 9/7/2021] Jorge Stolfi - IC-UNICAMP: --Vocês estão presumindo demais!, diz o advogado. --Essa evidência só permite dizer que na Escócia existe pelo menos uma vaca preta, não mais que isso! [20:32, 9/7/2021] Jorge Stolfi - IC-UNICAMP: --Não está certo!, diz o matemático. --Tudo o que essa evidênca prova é que na Escócia existe pelo menos uma vaca que tem um lado preto! [20:32, 9/7/2021] Jorge Stolfi - IC-UNICAMP: --- [20:33, 9/7/2021] Jorge Stolfi - IC-UNICAMP: Mas na volta o matemático viajou junto com um engenheiro, e contou essa história. No fim acrescentou: [20:34, 9/7/2021] Jorge Stolfi - IC-UNICAMP: --Mas eu pensei melhor, e agora acho que o físico tinha razão. Aqui na Escócia todas as vacas são pretas. E já vi evidência de sobra disso. [20:35, 9/7/2021] Jorge Stolfi - IC-UNICAMP: --Como assim, disse o engenheiro. Quantas vacas pretas você viu? [20:35, 9/7/2021] Jorge Stolfi - IC-UNICAMP: --Nenhuma, disse o matemático. --Mas... [20:36, 9/7/2021] Jorge Stolfi - IC-UNICAMP: --Como assim? Você não disse que viu muitas evidências? [20:40, 9/7/2021] Jorge Stolfi - IC-UNICAMP: --Sim, e aí estão três delas!, disse, apontando para trẽs cavalos brancos. [20:40, 9/7/2021] Jorge Stolfi - IC-UNICAMP: --Mas esses animais são cavalos, não vacas! protestou o engenheiro. [20:42, 9/7/2021] Jorge Stolfi - IC-UNICAMP: --Exatamente. Mas pense bem. A afirmação "na Escócia todas as vacas são pretas" é logicamente equivalente à afirmação "na Escócia, todas as coisas que não são pretas não são vacas." Uma destas duas afirmações não pode ser verdadeira sem que a outra também o seja. Esses três cavalos brancos são mais três evidências que confirmam a segunda afirmação. Portanto, eles confirmam também a primeira!