TP13_20
16 Dezembro 2020, 08:00 • Bruno Dinis
Exemplos de formas normais prenexas e skolemização. Resolução dos exercícios 132, 168 e 169.
16 Dezembro 2020, 08:00 • Bruno Dinis
Exemplos de formas normais prenexas e skolemização. Resolução dos exercícios 132, 168 e 169.