TP12_20

17 Dezembro 2020, 10:30 • Mário Jorge Edmundo

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