Hva er Skolemisering?
Klikk for å snu kortet
Erstatt EXISTS med konstant (utenfor FORALL) eller funksjon (innenfor).
Space / Enter for å snu