TP11_20

18 Dezembro 2020, 08:00 • Mário Jorge Edmundo

Exemplos (forma normal prenexa e skolemização); Exercícios 132 (1,2) , 168 (1,3,11,13,15), 169.