Sumários

Aula 22 - TP14

14 Dezembro 2016, 09:30 • Maria da Purificação Antunes Coelho

Esclarecimento de dúvidas. Exercício 136 e correspondente dedução formal.

Aula 24 - TP13

14 Dezembro 2016, 08:00 • Maria da Purificação Antunes Coelho

Realização do terceiro mini-teste.

AULA 24

13 Dezembro 2016, 10:30 • Fernando Ferreira

Revisão das regras da instanciação universal (AElim), generalização existencial (EIntro) e instanciação existencial (EElim). A regra da generalização universal (AIntro). Exemplos.

23 TP11

13 Dezembro 2016, 08:00 • Fernando Ferreira

Esclarecimentos de dúvidas sobre mini-testes de anos transatos.

Exercícios 148(1)(2)(3), 149(10) e 161(1)(2)(3).

Aula 22 - TP12

12 Dezembro 2016, 12:00 • Maria da Purificação Antunes Coelho

Esclarecimento de dúvidas.