theory:logic:normalforms

[nufan]

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

Kommt euch das Beispiel bekannt vor?

[Xin]

Literal
Eine negierte oder unnegierte Aussagevariable.

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

Kommt euch das Beispiel bekannt vor?

Sieht wirr aus

[Kerli]

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.

Kommt euch das Beispiel bekannt vor?

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

[nufan]

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.

Kommt euch das Beispiel bekannt vor?

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

*hust*

[Kerli]

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).