Generálj Skolemest!
LaTeX:
...
Feladat:
Nyilak nélkül:
Kiigazítva:
Prenex:
Skolem:
Zárt Skolem: