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.
Ein anderes Problem?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos
