Oi Joao!
> Muito bacana o vídeo! Sempre dá gosto assistir às apresentações da Giselle. :-D
Obrigada :)
O interessante é que quando eu faço a tarefa de Wason com meus alunos
usando cartas, letras, e números, pouquíssimas pessoas acertam quais
cartas devem ser conferidas... Agora colocando num contexto conhecido,
a maioria da minha família acertou :P
> Em nome de Alá, Clemente e Misericordioso!
Amém... hehe
> Em uma terra distante, o fiscal da Prefeitura, de nome Beremiz, era
> *intuicionista*.
Na verdade, eu filmei isso num prédio da CMU e num país em constante
construção, então nada mais natural do que assumir a terra
intuicionista :P
> Naquela terra, tudo correu como mostrado no vídeo, no bar, mas a regra
> em vigência era a seguinte:
>
> "Se NÃO é o caso que a pessoa tem mais do que 18 anos, então NÃO é o
> caso que ela pode beber bebida alcóolica."
> (De forma mais _natural_, talvez: "Pessoas que não são maiores de
> idade não podem beber.")
>
> Ainda há motivo, por certo, para Beremiz checar a identidade do
> indivíduo B (que claramente tem menos de 15 anos) que aparece na mesa
> desenhada no vídeo. Mas será que ele encontrará motivos para checar a
> identidade do indivíduo C (que tem uma taça de vinho à sua frente)?
Não sei se foi isso que vc quis dizer com a provocação, mas vamos lá.
A regra é:
R: não (> 18) -> não (álcool)
A contrapositiva:
C: não não (álcool) -> não não (> 18)
Como é que a gente transforma "não não (álcool)" em "álcool" numa
terra intuicionista??
Bom, a lei do terceiro excluído vale para átomos decidíveis na lógica
intuicionista, então eu só preciso assumir que "álcool" (e "> 18") são
átomos decidíveis :)
> Sim, e quanto ao indivíduo D? Será que dá para Beremiz confiar nesta
> latinha de refrigerante sem _verificar_ o que tem dentro dela?!
A latinha ainda estava fechada, só não deu pra ver no desenho xD
[]s
Giselle
> --
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.
> Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lgp5Nwjw8AqM4_s-HycKUE%2BnfY0N%3D1aM9JFQSmiKKt2pQ%40mail.gmail.com.