Sumários
TP11: Consequência lógica e demonstrações.
30 Setembro 2022, 11:00 • Mário João de Jesus Branco
Resolução do Exerc. 10-13, 18 e 16.a).
TP14 aula 4
30 Setembro 2022, 11:00 • Maria da Purificação Antunes Coelho
Exercício 18. A noção de consequência lógica: alguns exemplos e resolução dos exercícios 7, 8, 9.
AULA 4
29 Setembro 2022, 11:30 • Fernando Ferreira
Demonstração de que a relação de congruência (módulo n) é uma relação de equivalência: reflexiva, simétrica e transitiva. Ilustração com o módulo 5, obtendo-se a estrutura com cinco elementos Z/5Z. Esta estrutura possui naturalmente operações de adição e multiplicação.
T12 aula 4
29 Setembro 2022, 11:30 • Maria da Purificação Antunes Coelho
Demonstração de que, para todo o inteiro positivo n, a relação de congruência módulo n é reflexiva; referência à simetria e transitividade da relação.
TP12 aula 4
29 Setembro 2022, 10:00 • Maria da Purificação Antunes Coelho
Exercício 18. A noção de consequência lógica: alguns exemplos e resolução do exercício 7.