Aussagenlogik: Unterschied zwischen den Versionen
Kowa (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Kowa (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 8: | Zeile 8: | ||
=Definition (Gellert, Kästner)<ref>{{Quelle|Gellert, Walter; Kästner, Herbert (1979): Lexikon der Mathematik}}</ref>= | =Definition (Gellert, Kästner)<ref>{{Quelle|Gellert, Walter; Kästner, Herbert (1979): Lexikon der Mathematik}}</ref>= | ||
Teil der [[Logik]], in dem Eigenschaften von [[Aussage]]n, die mittels gewisser [[ | Teil der [[Logik]], in dem Eigenschaften von [[Aussage]]n, die mittels gewisser [[Aussageverknüpfung]]en aus anderen Aussagen entstehen, untersucht werden. | ||
Der Begriff der Aussage wird nicht inhaltlich analysiert ([vgl.] [[Prädikat]]); es wird jedoch vorausgesetzt, daß jede Aussage einen [[Wahrheitswert]] hat; [...] | Der Begriff der Aussage wird nicht inhaltlich analysiert ([vgl.] [[Prädikat]]); es wird jedoch vorausgesetzt, daß jede Aussage einen [[Wahrheitswert]] hat; [...] | ||
Version vom 21. Juli 2014, 06:15 Uhr
Dieser Artikel erfüllt die GlossarWiki-Qualitätsanforderungen nur teilweise:
| Korrektheit: 4 (großteils überprüft) |
Umfang: 2 (wichtige Fakten fehlen) |
Quellenangaben: 4 (fast vollständig vorhanden) |
Quellenarten: 5 (ausgezeichnet) |
Konformität: 4 (sehr gut) |
Definition (Gellert, Kästner)[1]
Teil der Logik, in dem Eigenschaften von Aussagen, die mittels gewisser Aussageverknüpfungen aus anderen Aussagen entstehen, untersucht werden. Der Begriff der Aussage wird nicht inhaltlich analysiert ([vgl.] Prädikat); es wird jedoch vorausgesetzt, daß jede Aussage einen Wahrheitswert hat; [...]
Grundlegend sind zwei Prinzipien: das Prinzip der Zweiwertigkeit und das Prinzip der Extensionalität. Das Zweiwertigkeitsprinzip besagt, daß jede in Betracht kommende Aussage entweder den Wahrheitswert »wahr« oder den Wahrheitswert »falsch« hat. Das Extensionalitätsprinzip besagt, daß der Wahrheitswert einer Aussageverknüpfung außschießlich von den Wahrheitswerten ihrer Bestandteile, nicht aber von deren Inhalt abhängt.
