Skolemização e Formulas Prenexas

16 Dezembro 2020, 09:30 • Daniela Montrasio

• Exemplos de skolemização;
  
• Exercício 169;
• Exercício 168;