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.

A noção de consequência lógica: exemplos e resolução do exercício 7.

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.

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).

T12 aula 3

27 Setembro 2022, 09:30 • Maria da Purificação Antunes Coelho

Divisão de uma demonstração em casos - exemplo ilustrativo.

A relação de divisibilidade entre números inteiros: definição, exemplos e prova da transitividade desta relação.

A relação de congruência módulo n (sendo n um inteiro positivo): definição, exemplos e demonstração de um resultado envolvendo a relação de congruência módulo 8.