Sumários

2 Dezembro 2020, 08:00 • Bruno Dinis

1º Mini-teste (para os alunos de número par). Exemplos de demonstrações formais envolvendo condicionais e bicondicionais.

30 Novembro 2020, 12:00 • Mário Jorge Edmundo

Não houve aula (tolerância de ponto).

30 Novembro 2020, 08:00 • Bruno Dinis

A aula não foi dada (tolerância de ponto)

27 Novembro 2020, 09:30 • Mário Jorge Edmundo

Traduções equivalentes, exemplos; quantificações múltiplas, exemplos; quantificações numéricas, exemplos.

27 Novembro 2020, 08:00 • Mário Jorge Edmundo

Exemplos (demonstrações formais (com condicional e bicondicional)); Exercícios 75 (1,2), 76 (1), 77 (1,3).