formales System zur Beschreibung der Aussagenlogik.

Strenggenommen sind zwei Kalküle schon dann verschieden, wenn sie unterschiedliche Grundbausteine benutzen. In diesem Sinne gibt es verschiedene Aussagenkalküle, die die klassische zweiwertige Aussagenlogik beschreiben. Da die Tautologien in allen diesen Kalkülen übereinstimmen, ist es gerechtfertigt, die Kalküle als äquivalent anzusehen und von dem Aussagenkalkül der zweiwertigen Aussagenlogik zu sprechen (auf andere Aussagenkalküle wird hier nicht eingegangen). Der Aussagenkalkül besteht aus folgenden Grundzeichen:

1. Aussagenvariablen: p₁, p₂, p_з, …,
2. Funktoren oder Konnektoren: ¬, ∧, ∨, →,↔,
3. technische Zeichen: (,).

Aus diesen Grundzeichen (Alphabet) entstehen durch Aneinanderreihung (endliche) Zeichenreihen. Induktiv werden aus der Menge der Zeichenreihen die Ausdrücke oder Formeln durch folgende Vorschrift ausgesondert:

1. Alle Aussagenvariablen sind Ausdrücke (die nicht weiter zerlegbar sind und daher atomar oder Atomausdruck genannt werden).
2. Sind ϕ, ψ Ausdrücke, dann sind auch (¬ϕ), (ϕ ∧ ψ), (ϕ ∨ ψ), (ϕ → ψ), (ϕ ↔ ψ) Ausdrücke.
3. Keine weiteren Zeichenreihen sind Ausdrücke.

Um unnötige Klammern einzusparen, vereinbart man: Außenklammern dürfen weggelassen werden, ¬ bindet stärker als alle anderen Konnektoren, ∧ und ∨ binden stärker als → und ↔.

Für((p ∧ q) → (r ∨ s)) schreibt man kürzer p ∧ q → r ∨ s. Die korrekte Bildung von Ausdrücken gehört zur Grundlage des Aussagenkalküls.

Die Semantik befaßt sich mit dem „Wahrheitsbegriff", der i.allg. unzulänglich präzisiert ist. Zumindest für die Mathematik läßt sieh der Wahrheitsbegriff hinlänglich genau festlegen.

Mathematische Aussagen sind in der Regel so präzise formuliert, daß sie entweder wahr oder falsch sind. Dieses Prinzip der Zweiwertigkeit drückt sich dadurch aus, daß Aussagen höchstens diese zwei Wahrheitswerte wahr oder 1 bzw. falsch oder 0 annehmen können. In der Semantik des Aussagenkalküls wird u. a. der Wahrheitswert von zusammengesetzten Ausdrücken bestimmt, wenn der Wahrheitswert für die Teilausdrücke schon bekannt ist. Dies erfolgt wieder induktiv über den Aufbau der Ausdrücke. Dazu sei V die Menge der Aussagenvariablen und F : V → {0,1} eine Abbildung, die jeder Variablen den Wert 0 (falsch) oder 1 (wahr) zuordnet. F heißt Belegung der Aussagenvariablen mit Wahrheitswerten. Für die Menge Ausd aller Ausdrücke wird F induktiv zu F* : Ausd → {0,1} erweitert:

1. Ist ϕ atomar (also eine Aussagenvariable), dann sei F* (ϕ) = F (ϕ).
2. Für zusammengesetzte Ausdrücke erfolgt die Definition entsprechend der Kompliziertheit der Ausdrücke.

   \begin{eqnarray}{F}^{* }(\neg \varphi )=1-{F}^{* }(\varphi ),\\ {F}^{* }(\varphi \wedge \psi )=\min \{{F}^{* }(\varphi ),{F}^{* }(\psi )\},\\ {F}^{* }(\varphi \vee \psi )=\max \{{F}^{* }(\varphi ),{F}^{* }(\psi )\},\\ {F}^{* }(\varphi \to \psi )=\max \{1-{F}^{* }(\varphi ),{F}^{* }(\psi )\},\\ {F}^{* }(\varphi \leftrightarrow \psi )=\{1,\,\text{falls}\,{F}^{* }(\varphi )={F}^{* }(\psi ),\\ 0,\,\text{sonst}\text{.}\end{eqnarray}

Auf diese Weise ist bei gegebener Belegung der Wahrheitswert eines aussagenlogischen Ausdrucks stets berechenbar. Ist ϕ ein Ausdruck, der bei jeder Belegung wahr wird, dann ist ϕ aussagenlogisch allgemeingültig oder eine aussagenlogische Tautologie. Man vergleiche hierzu auch den Artikel zur Aussagenlogik.