Prädikatenlogik #9 - Skolemnormalform

In diesem Tutorial zeige ich euch, was die Skolemnormalform ist und wie man sie erreicht.

* *Meine Website mit allen anderen Kanälen und Newsletter* *:

_Discord:_

_Unterstützt mich - Danke!:_

[onlychan]

Ohne diesem Video hätte ich dieses Thema im Skript niemmals verstanden, Danke!!!

[vanthomias]

4:23 aber hab ich nicht dieses Gesetzt, dass es egal ist, wie rum ich die Variablen schreibe? Also kann ich z auch weiter vorne hinschreiben?

[BenBensen]

Wir haben es tatsächlich so gelernt, dass wir vor der umwandlung in die Pränexform einen Existenzabschluss machen, sodass man garkeine freien Variablen mehr hat. Und ist das bei F''' nicht eigentlich in Disjunktiver Normalform?

[stinabohmig]

Bei 5:50 ist da nicht eher die DNF gemeint?

[My_Neighbor]

Warum hast du nicht gezeigt wie es gehen würde wen die Konjunktion beibehalten werden würde. Stehe jetzt vor einer Aufgabe mit genau diesem Schema und der Konjunktion. /:

[Ali-nywi]

Bitte antworte :
Hi
Erstmal vielen Dank für deine sehr verständliche Erklärung....
Ich habe mal eine Frage, du hast gesagt, dass die Reihenfolge beim ausziehen der quantoren egal (in deinem Beispiel war forall z du hast es erstmal vorne geschrieben dann hast du es ganz hinten geschrieben )ist .
Aber macht das überhaupt Sinn ? Also ich löse gerade mal ein Beispiel :
Also ich bekomme raus : Existenz y, forall x, Existenz z
Für y muss ich dann f mit null stellen ersetzen.
ist das aber anders als wenn ich die Tausche? also so:
forall x, Existenz y, Existenz z
Dann hat y eine Funktion mit 1 stelle also f(x).
Also es kommen zwei verschiedene Lösungen raus.
Wenn ich die Reihenfolge falsch gemacht hab, ist dann meine Lösung falsch oder was meinst du ?
Über schnelle Antwort Würde mich

[mtrickey]

War es das letzte Video zu Prädikatenlogik ?

[multigladiator]

ich muss nachher das Blatt abgeben. Hoffentlich hilft mir das hier. Aus den Folien wurde ich nicht schlau <.<