Sei F eine geschlossene Formel in Skolemform. Zeigen oder Widerlegen Sie: Wenn F keine Funktionssymbole enthält, dann ist das Erfüllbarkeitsproblem entscheidbar. Zeigen Sie ggf. auch wie.
