Sumários

T12-aula 5

3 Outubro 2023, 10:00 • Maria da Purificação Antunes Coelho

Dado um inteiro positivo n, a relação de congruência módulo n é uma relação de equivalência no conjunto dos números inteiros ("Demonstração 6", na página moodle). Breve referência às classes de congruência módulo n.

Uma estratégia para demonstrar uma disjunção, ilustrada na demonstração da lei do anulamento do produto no conjunto dos números reais ("Demonstração 8", na página moodle).

AULA 5

3 Outubro 2023, 09:30 • Fernando Ferreira

Outra demonstração por redução ao absurdo. Uma demonstração duma implicação cujo consequente é uma disjunção.

Leis lógicas do cálculo proposicional.
Uma demonstração de existência.

TP16 - aula 5

2 Outubro 2023, 13:30 • Fernando Ferreira

Exercícios 10, 12 e 13.

TP13-aula 4

2 Outubro 2023, 13:30 • Maria da Purificação Antunes Coelho

Exercício 5.  Um exercício extra recorrendo a equivalências lógicas conhecidas para deduzir outras.

Exercício 13.

TP14-aula 4

2 Outubro 2023, 11:00 • Maria da Purificação Antunes Coelho

Exercício 5.  Um exercício extra recorrendo a equivalências lógicas conhecidas para deduzir outras.

Exercício 13.