Sumários

TP12 - 29 de outubro

29 Outubro 2020, 10:00 • Maria da Purificação Antunes Coelho

Exercícios 21(b), 22(a), 17(a) e 18(b).

TP12 - 27 de outubro

27 Outubro 2020, 10:30 • Maria da Purificação Antunes Coelho

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

Aula teórica 7

27 Outubro 2020, 09:30 • Maria da Purificação Antunes Coelho

Demonstrações por contrarrecíproco - explicação do método e exemplo ilustrativo.

Condições. Condições universais, condições possíveis e condições impossíveis - definições e exemplos.

Tp13 - 26 de outubro

26 Outubro 2020, 13:30 • Maria da Purificação Antunes Coelho

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

TP11: equivalência lógica e expressão de conectivos lógicos à custa de outros. Tipologia da aula: videoconferência + presencial.

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

Resolução dos Exercícios 15.b)-d), 16.a), b), 17.a.ii), iii) e 18.a), b).