Sumários
TP13 aula 4
28 Setembro 2022, 12:30 • Maria da Purificação Antunes Coelho
Exercício 18. Discussão de algumas alíneas do exercício 6.
TP16: Consequência e equivalência lógicas e demonstrações.
28 Setembro 2022, 11:00 • Mário João de Jesus Branco
Resolução dos Exerc. 9-13, 15 e esboço de resolução do Exerc. 18.
TP12 aula 3
27 Setembro 2022, 10:30 • Maria da Purificação Antunes Coelho
Exercício 14 (resolução parcial). O conceito de tautologia - exemplos e discussão de algumas alíneas do exercício 6.
T12 aula 3
27 Setembro 2022, 09:30 • Maria da Purificação Antunes Coelho
Divisão de uma demonstração em casos - exemplo ilustrativo.
AULA 3
27 Setembro 2022, 09:30 • Fernando Ferreira
Divisibilidade entre números inteiros. A noção de congruência módulo n. Exemplos. Menção de que esta relação é reflexiva, simétrica e transitiva (é uma relação de equivalência).