Em Abril passado encontrei em Paris a embaixadora do Brasil na UNESCO para
submeter a proposta do 14 de janeiro com dia internacional da ONU/UNESCO,
uma senhora do Ceará que gosta muito de inteligência artificial.
Ela me escreveu ha pouco dizendo que a proposta foi aceita pelo governo
brasileiro e
Caros colegas
O meu livro Lógica Elementar deverá estar à venda a partir de Agosto, em
Portugal e no Brasil. Inclui a lógica clássica proposicional e quantificada,
com identidade, e também a lógica modal (alética). Ensina a fazer derivações em
dedução natural, e ensina também árvores de verdade
Parabéns, Desidério!
Seu livro, que tenho certeza é muito bom, será útil para todos nós!
Itala
Em qua, 31 de jul de 2019 às 09:47, 'Desidério Murcho' via LOGICA-L <
logica-l@dimap.ufrn.br> escreveu:
> Caros colegas
>
> O meu livro Lógica Elementar deverá estar à venda a partir de Agosto, em
> Po
