Traduções com quantificadores (continuação). Formas normais Prenexas
3 Janeiro 2022, 12:00 • Maria João Antunes Dias Gouveia
Correcção dos exercícios 127 (alíneas pares) e 161 (alíneas ímpares).
Resolução de um exercício extra para recordar e clarificar a Forma Normal Prenexa.