Aussagenlogik: Unterschied zwischen den Versionen
Kowa (Diskussion | Beiträge) |
Kowa (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 7: | Zeile 7: | ||
}} | }} | ||
{{In Bearbeitung}} | {{In Bearbeitung}} | ||
=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 [[Aussagen]], die mittels gewisser [[Aussageverknüpfungen]] aus anderen Aussagen entstehen, untersucht werden. | Teil der [[Logik]], in dem Eigenschaften von [[Aussagen]], die mittels gewisser [[Aussageverknüpfungen]] aus anderen Aussagen entstehen, untersucht werden. | ||
Version vom 13. August 2012, 15:54 Uhr
Dieser Artikel erfüllt die GlossarWiki-Qualitätsanforderungen nur teilweise:
| Korrektheit: 0 (nicht überprüft) |
Umfang: 0 (viel zu gering) |
Quellenangaben: 0 (fehlen vollkommen) |
Quellenarten: 5 (ausgezeichnet) |
Konformität: 4 (sehr gut) |
Dieser Artikel wird derzeit von einem Autor gründlich bearbeitet. Die Inhalte sind daher evtl. noch inkonsistent.
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.
Quellen
Siehe auch
Bitte die Regeln der GlossarWiki-Quellenformatierung beachten.
