Sumários
TP14 aula 7
16 Outubro 2024, 09:30 • Maria da Purificação Antunes Coelho
Exercício 33 e algumas alíneas do exercício 39.
Aula teórica 9
15 Outubro 2024, 10:30 • Maria da Purificação Antunes Coelho
As regras formais de introdução da disjunção, de eliminação da disjunção e da reiteração. Exemplos. O uso correto de subdeduções - discussão de uma dedução errada.