Sumários
T11_19
21 Novembro 2023, 10:30 • Mário Jorge Edmundo
Exemplo de uma demonstração errada, exemplo de uma demonstração informal e de uma formal, contra-exemplo; mais exemplos de demonstrações formais.
TP12: Consequência lógica e fórmulas.
20 Novembro 2023, 12:00 • Mário João de Jesus Branco
Exerc. 14, 33, 64(1), (2) e 103.