Sumários
T11_17
14 Novembro 2023, 10:30 • Mário Jorge Edmundo
Revisões para o Mini-teste 1: exercícios 77, 37, 68. Uma pequena apresentação sobre a Emergência Climática e intervenção de estudantes do grupo Fim ao Fóssil da FCUL.
TP12: Demonstrações formais e consequência lógica.
13 Novembro 2023, 12:00 • Mário João de Jesus Branco
Exerc. 75(2), (3), 76 e 3.
TP14: tt-equivalências, inferências e demonstrações formais envolvendo os conectivos lógicos condicional e bicondicional.
10 Novembro 2023, 11:30 • Mário João de Jesus Branco
Exerc. 57(2), (3), 47(1)-(5), 54(3), (7), 75(1) e, parcialmente, 75(2).