Olá pessoal
Aqui fica o primeiro apontamento, dedicado, sobretudo, à lógica formal. Está em pdf porque tenho visto que se desconfigura com facilidade em word, nos vários PCs do pessoal. A abordagem em AI será muito menos exigente, mas podem recorrer ao mesmo apontamento, visto esta parte da matéria não estar no vosso manual (apesar de prevista no programa).
Bom ano Joaquim Narciso