TP14 - 26 de outubro

26 Outubro 2020, 11:00 • Maria da Purificação Antunes Coelho

Exercícios 21(a), 19, 15(b), 17(a) e 18(b)i.

TP13 - 23 de outubro

23 Outubro 2020, 14:00 • Maria da Purificação Antunes Coelho

Exercícios 14 (g)-(j), 16(a), 11 e 13.

TP14 - 23 de outubro

23 Outubro 2020, 11:00 • Maria da Purificação Antunes Coelho

Exercícios 14 (g)-(j), 16(a) e algumas alíneas dos exercícios 11 e 13.

TP11: equivalência lógica e regras de inferência. Tipologia da aula: videoconferência + presencial.

23 Outubro 2020, 11:00 • Mário João de Jesus Branco

Aula teórica 6

22 Outubro 2020, 11:30 • Maria da Purificação Antunes Coelho

Introdução aos métodos de demonstração: identificação da hipótese e da tese de um dado resultado; os dados e o objetivo em cada ponto de uma demonstração; estratégia para demonstrar uma implicação (método direto) - explicação do método e exemplo ilustrativo.