Aula 8 (TP13)

11 Outubro 2017, 08:00 • Maria da Purificação Antunes Coelho

Conclusão do exercício 33. Apresentação das regras (formais) de dedução associadas à conjunção  e à disjunção. Resolução dos exercícios 39(1),(2),(3). Esclarecimento de dúvidas.