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