Aussagenlogik
Dieser Artikel erfüllt die GlossarWiki-Qualitätsanforderungen nur teilweise:
| Korrektheit: 4 (großteils überprüft) |
Umfang: 1 (zu gering) |
Quellenangaben: 5 (vollständig vorhanden) |
Quellenarten: 5 (ausgezeichnet) |
Konformität: 5 (ausgezeichnet) |
Definition (Gellert, Kästner, Neuber (1979))[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ßschließlich von den Wahrheitswerten ihrer Bestandteile, nicht aber von deren Inhalt abhängt.
Quellen
- ↑ Gellert, Kästner, Neuber (1979): Lexikon der Mathematik; Hrsg.: Walter Gellert, Herbert Kästner und Siegfried Neuber; Auflage: 2; Verlag: VEB Bibliographisches Institut Leipzig; Adresse: Leipzig; 1979; Quellengüte: 5 (Buch)
