Sumários
T12-aula 4
28 Setembro 2023, 11:30 • Maria da Purificação Antunes Coelho
Divisibilidade e relações de congruência, no conjunto dos números inteiros ("Demonstração 5", na página moodle da disciplina). Demonstração, para um inteiro positivo fixo n, da reflexividade da relação de congruência módulo-n.
TP12-aula 4
28 Setembro 2023, 10:00 • Maria da Purificação Antunes Coelho
Consequência e equivalência lógica: alguns comentários a propósito dos exercícios 4 e 8 já discutidos na aula anterior; discussão do exercício 5; resolução de um exercício extra recorrendo a equivalências lógicas conhecidas para deduzir outras.
TP15-aula 3
27 Setembro 2023, 11:30 • Maria da Purificação Antunes Coelho
Exercícios 7, 8 e 10.
TP13-aula 3
27 Setembro 2023, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 6, 7, 8 e 10.