Sumários

Aula 22 TP14

5 Dezembro 2018, 09:30 • Maria da Purificação Antunes Coelho

Exercícios 107(a), 111(5), 122(1-6) e 124(1, 4 e 7).

TP12-05

5 Dezembro 2018, 08:00 • Bruno Dinis

Resolução dos exercícios 107(a), 108,118, 119 (1-4) e 122 (10-20)

AULA 22

4 Dezembro 2018, 10:30 • Fernando Ferreira

A regra da instanciação existencial (EElim). Uma demonstração informal e outra formal. Novo exemplo de demonstração formal (uma das leis de De Morgan para a quantificação).

Resolução e discussão dos exercícios 108(11)(12), 125(2) e 132(2).

TP11-22

4 Dezembro 2018, 08:00 • Mário Jorge Edmundo

Exercícios 107, 110, 133, 137, 139, 140 e 141.

22 TP12

3 Dezembro 2018, 12:00 • Fernando Ferreira

Algumas alíneas dos exercícios 105 e 197. Exercícios 106(a) e 121.