>Info zum Stichwort Aussagenlogik | >diskutieren | >Permalink 
hingerichteter Graf schrieb am 9.9. 2024 um 19:42:21 Uhr über

Aussagenlogik

Jede Aussage ist entweder wahr oder falsch.
Zwischen jeweils zwei Aussagen kann es 2 hoch 2 hoch 2 Kombinationen geben. Macht 16. Man bezeichnet sie als Junktoren.
Darunter finden wir dann die materielle-Implikation, die _Negation_ und die Konjunktion.

Der Wahrheitswert einer zusammengesetzten Aussage lässt sich aus den Wahrheitswerten der einzelnen Aussagen errechnen.
Dabei gibt es Aussagen, die einfach immer wahr sein müssen, während andere immer falsch sein müssen. Erstere bezeichnet man als Tautologien, zweitere als »Kontradiktionen«.

Wittgenstein hat auf dieser Tatsache seine Sprachphilosophie im Tractatus aufgebaut. Die Wahrheitsbedingungen einiger Aussagen sind derart, dass sie immer erfüllt sind. Beispielsweise »Kräht der Hahn auf den Mist, ändern sich das Wetter oder es bleibt wie es ist«.
Könnte man formalisieren als:
A -> B or nicht-B.
Da immer entweder B oder nicht-B zutreffen muss und weil »-nur falsch gibt, wenn der linke Teil wahr ist aber nicht der rechte, ist er Satz damit tautologisch.


Modallogik wird meist als Aussagenlogik dargestellt.
Sie unterscheidet sich von klassischer Aussagenlogik durch eine Spracherweiterung auf <> und []. Hier lassen sich die Wahrheitswerte einer zusammengesetzten Aussage nicht mehr ohne Weiteres aus den Wahrheitswerten der elementaren Aussagen errechnen.
Mehrwertige Logiken gibt es auch. Dann gibt es neben wahr oder falsch noch sogenannte Pseudowahrheitswerte.


   User-Bewertung: /
Versuche nicht, auf den oben stehenden Text zu antworten. Niemand kann wissen, worauf Du Dich beziehst. Schreibe lieber eine atomische Texteinheit zum Thema »Aussagenlogik«!

Dein Name:
Deine Assoziationen zu »Aussagenlogik«:
Hier nichts eingeben, sonst wird der Text nicht gespeichert:
Hier das stehen lassen, sonst wird der Text nicht gespeichert:
 Konfiguration | Web-Blaster | Statistik | »Aussagenlogik« | Hilfe | Startseite 
0.0704 (0.0018, 0.0030) sek. –– 848770642