Aula 7 (TP14)
12 Outubro 2017, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 24 (alíneas 2 e 3) e 33. Apresentação das regras (formais) de dedução associadas à conjunção e à disjunção. Início do exercício 39.
12 Outubro 2017, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 24 (alíneas 2 e 3) e 33. Apresentação das regras (formais) de dedução associadas à conjunção e à disjunção. Início do exercício 39.