Sumários
Aula 21 - TP13
5 Dezembro 2016, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 105 (alíneas 11 a 14), 107 (alíneas 4, 6, 8 e 10 a 16), 119 (primeira parte) e 123 (alíneas 1 a 4).
AULA 21
2 Dezembro 2016, 09:30 • Fernando Ferreira
Quadrado da oposição: a negação de uma universal afirmativa é uma particular negativa e a negação duma universal negativa é uma particular afirmativa. Mais leis lógicas de quantificadores. Exemplos de traduções. Quantificações múltiplas: a ordem dos quantificadores (quando diferentes) interessa.
20 TP11
2 Dezembro 2016, 08:00 • Fernando Ferreira
Exercícios 98(21-30), 100, 102, 103, 105, 106(a)(b).
Aula 20 - TP14
30 Novembro 2016, 09:30 • Maria da Purificação Antunes Coelho
Exercícios 103, 98 (alíneas 1 a 21) e 100(6).
Aula 20 - TP13
30 Novembro 2016, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 103, 98 (conclusão), 100, 105(6),(7), 107(2) e soluções do exercício 110.