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.
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.