Sumários
TP12 -22 de outubro
22 Outubro 2020, 10:00 • Maria da Purificação Antunes Coelho
Exercícios 14 (g)-(j), 16(a), 11 e 13(a)-(h).
TP12 - 20 de outubro
20 Outubro 2020, 10:30 • Maria da Purificação Antunes Coelho
Exercícios 20 (alíneas i a l), 14 (alíneas a, c, d, e) e 16 (b).
Aula teórica 5
20 Outubro 2020, 09:30 • Maria da Purificação Antunes Coelho
Algumas equivalências lógicas envolvendo tautologias e/ou contradições. Recíproco e contrarrecíproco de uma implicação. Diversas maneiras de traduzir uma implicação na linguagem corrente.
TP13- 19 de outubro
19 Outubro 2020, 13:30 • Maria da Purificação Antunes Coelho
Exercícios 20 (alíneas i a l), 14 (alíneas a, c, d, e) e 16 (b).
TP14 - 19 de outubro
19 Outubro 2020, 11:00 • Maria da Purificação Antunes Coelho
Nota: Uma vez que na sala 3.1.10 não havia acesso à internet, foi impossível a transmissão desta aula por zoom.