Aussagenlogik

Dieser Artikel erfüllt die GlossarWiki-Qualitätsanforderungen nur teilweise:

Korrektheit: 4 (großteils überprüft)

Umfang: 2 (wichtige Fakten fehlen)

Quellenangaben: 2 (wichtige Quellen fehlen)

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)

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.