Sumários
Aula 9 - TP14
20 Outubro 2016, 08:00 • Maria da Purificação Antunes Coelho
Resolução do exercício 32. Revisão das regras formais associadas à conjunção e explicação das associadas à disjunção. Resolução dos exercícios 39(1) e 39(2).
Aula 8 - TP14
19 Outubro 2016, 09:30 • Maria da Purificação Antunes Coelho
Realização do primeiro miniteste.
Aula 8 - TP13
19 Outubro 2016, 08:00 • Maria da Purificação Antunes Coelho
Resolução do exercício 32. Revisão das regras formais associadas à conjunção e explicação das associadas à disjunção. Resolução do exercício 39(1).
AULA 9
18 Outubro 2016, 10:30 • Fernando Ferreira
Regras de eliminação e da introdução da negação. Esta última é o método de demonstração por contradição ou método de redução ao absurdo. Exemplos, incluindo o exemplo da demonstração da irracionalidade da raíz quadrada de 2.