Implicação e equivalência material - Demonstrações Formais

15 Novembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte

TP12_18

14 Novembro 2019, 10:30 • Mário Jorge Edmundo

Exercícios 65 e 68.

TP14_18

14 Novembro 2019, 08:00 • Mário Jorge Edmundo

Exercícios 64, 65 e 68

TP14_17

13 Novembro 2019, 09:30 • Mário Jorge Edmundo

Aula não lecionada: por lapso achei que  aulas era às 10h. Esta aula será compensada logo que possível.

Implicação e equivalência material - Demonstrações Formais

13 Novembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte

Resolução dos exercícios 70, 71, 74