Sumários
Aula teórica 10
14 Outubro 2025, 10:30 • Maria da Purificação Antunes Coelho
Demonstrações por redução ao absurdo. Regras formais de introdução da contradição, eliminação da contradição, introdução da negação e eliminação da negação. Exemplos.
TP14 aula 8
10 Outubro 2025, 11:30 • Maria da Purificação Antunes Coelho
Exercícios 26 (conclusão), 28 e 32 (alíneas 4, 1 e 3).
Aula teórica 9
10 Outubro 2025, 09: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.