[obm-l] linguagem logica formal X linguagem coloquial

["Artur Costa Steiner" <artur@xxxxxxxxxxxxx>]

Achei o seguinte dialogo, idealizado entre dois amigos, um excelente
exemplo da diferenca entre a linguagem logica formal e a linguagem que
usamos no dia a dia. Sob este ultimo ponto de vista, a resposta dada aa
pergunta feita nao faz qualquer sentido, mas sob a logica formal eh
perfeitamente valida.

Amigo 1: Minha esposa teve uma crianca hoje de manha.
Amigo 2: Eh um menino ou uma menina?
Amigo 1: Sim.

Artur

=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================