Sumários
TP12_19
14 Dezembro 2020, 12:00 • Mário Jorge Edmundo
Exemplos (quantificações múltiplas); Exercícios 99, 122, 127, 161.
TP13_19
14 Dezembro 2020, 08:00 • Bruno Dinis
Exemplos sobre quantificações múltiplas. Resolução dos exercícios 99, 122, 127 e 161.
T_18
11 Dezembro 2020, 09:30 • Mário Jorge Edmundo
Regras de inferência para os quantificadores: eliminação do quantificador universal e introdução do quantificador existencial; exemplos de demonstrações (informal e formal); Regra de inferência eliminação do quantificador existencial; exemplo de demonstração (informal e formal); exemplo de uma demonstração errada.
TP11_18
11 Dezembro 2020, 08:00 • Mário Jorge Edmundo
Realização do teste 1 (45 minutos, presencial para um turno). Exercícios 104, 106, 108.
TP12_18
10 Dezembro 2020, 10:30 • Mário Jorge Edmundo
Realização do teste 1 (45 minutos, presencial para um turno). Exercícios 104, 106, 108.