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.