Re: [Logica-l] Lógica elementar

2019-07-31 Por tôpico itala loffredo
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

[Logica-l] Lógica elementar

2019-07-31 Por tôpico 'Desidério Murcho' via LOGICA-L
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