AULA 24

11 Dezembro 2018, 10:30 • Fernando Ferreira

Algumas traduções: exercícios 125(1) e 127(8). Formas normais prenexas. Prenexificação. O exercício 132. Exemplos.