Formas Normais Prenexas (continuação) e Skolemização

6 Janeiro 2022, 10:30 • Maria João Antunes Dias Gouveia

Resolução dos exercícios 168 e 169.