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.