Prädikatenlogik #7 - Normalformen

In diesem Video zeige ich euch die grundlegenden Normalformen bei der Prädikatenlogik.

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

_Discord:_

_Unterstützt mich - Danke!:_

[lernchannel]

danke, ich hab es direkt verstanden, du bist jedem Informatikstudent eine Hilfe :)

[GenesisAUT]

Wieder mal sehr schön erklärt! Danke :)

[Pady]

1:11 Wenn meine Funktion q(x) aber alle x auf falsch abbildet, dann ist q(nicht x) aber was anders wie nicht q(x)? Oder wo liegt mein Denkfehler

[justinstieler]

Du hast sehr gut erklärt was eine Negationsnormalform ist, allerdings fehlt mir die Anleitung wie man diese Form herleitet. Also was macht man, wenn die Negation vor einem All- / Existenzquator steht, was macht man, wenn die Negation vor einer Funktion oder Prädikatensymbol steht. :)

[qLac]

Kann man allgemein sagen das !p(x) = p(!x) ist oder wie würde man sowas dann zu Ende umformen?

[RiskyStrats]

Jetzt weiß ich was eine Negationsnormalform ist aber immernoch nicht wie ich zu einer komme wenn ich eine Formel mit Implikationen und Negationen vor mir habe.

[StipeeeHD]

Verbesserung: Falls P ein Prädikatsymbol der Stelligkeit k ist, und falls t1, ..., tk Terme sind, dann ist P(t1, ..., tk) eine atomare Formeln. Also die Variable(der Term) den du als atomare Formel am Anfang bezeichnest ist keine atomare Formel