TP13_18

9 Dezembro 2020, 08:00 Bruno Dinis

1º Mini-teste (para os alunos de número ímpar). Exemplos de termos, fórmulas e sentenças e de traduções de sentenças envolvendo quantificadores.