Skolemização, Formulas Prenexas e Quantificadores Multiplos.

17 Dezembro 2020, 08:00 Daniela Montrasio

  • Revisão de Skolemização, Formulas Prenexas e Quantificadores Multiplos.
  • Mais exemplos de traduções com quantificadores múltiplos.
  • Mais exemplos de formulas prenexas;
  • Mais exemplos de Skolemização.