proggen.org

http://proggen.org/doku.php?id=theory:logic:normalforms

Kommt euch das Beispiel bekannt vor?

wiki hat geschrieben:Literal
Eine negierte oder unnegierte Aussagevariable.

Ist die Negation nicht auch eine Operation, die sich auf ein Literal bezieht?

dani93 hat geschrieben:Kommt euch das Beispiel bekannt vor?

Sieht wirr aus

Xin hat geschrieben:

wiki hat geschrieben:Literal
Eine negierte oder unnegierte Aussagevariable.

Ist die Negation nicht auch eine Operation, die sich auf ein Literal bezieht?

Hm, stimmt. Eigentlich sollte ein Literal nur ein wahre oder falsche Aussage sein.

dani93 hat geschrieben: Kommt euch das Beispiel bekannt vor?

Erinnert mich an die Aufgabe einer gewissen Person, deren Name mir gerade entfallen ist

Kerli hat geschrieben:

Xin hat geschrieben:

wiki hat geschrieben:Literal
Eine negierte oder unnegierte Aussagevariable.

Ist die Negation nicht auch eine Operation, die sich auf ein Literal bezieht?

Hm, stimmt. Eigentlich sollte ein Literal nur ein wahre oder falsche Aussage sein.

Als "Literal" haben wir eigentlich immer nur eine einzelne Variable bezeichnet. Die Negation wurde aber immer als Teil der Variable betrachtet.

Kerli hat geschrieben:

dani93 hat geschrieben: Kommt euch das Beispiel bekannt vor?

Erinnert mich an die Aufgabe einer gewissen Person, deren Name mir gerade entfallen ist

*hust*

dani93 hat geschrieben:Als "Literal" haben wir eigentlich immer nur eine einzelne Variable bezeichnet. Die Negation wurde aber immer als Teil der Variable betrachtet.

Stimmt. Mein Fehler. Ich hab noch einmal im Skriptum nachgeschaut. Dort ist ein Literal entweder eine aussagenlogische Variable (positives Literal) oder eine aussagenlogische Variable mit einer Negation davor (negatives Literal).