TP13_16

2 Dezembro 2020, 08:00 • Bruno Dinis

1º Mini-teste (para os alunos de número par). Exemplos de demonstrações formais envolvendo condicionais e bicondicionais.