next up previous contents index
Nächste Seite: Semantik der Satzbuchstaben Aufwärts: Semantik Vorherige Seite: Semantik   Inhalt   Index

Semantik der Sprache der Aussagenlogik

\framebox{
\parbox[t]{10cm}
{
Die Aussagenlogik ist jener Teil der Prädikaten...
...e beschränkt und auf Quantoren verzichtet.
}\index{Aussagenlogik!Definition}%
}

Aussagenlogik enthält daher folgende Elemente:

  1. Satzbuchstaben (vgl. Kapitel 3.3, Seite [*])
  2. Konnektive (vgl. Kapitel 3.3, Seite [*] und 3.3, Seite [*])
  3. Gruppierungszeichen (Klammern)

Das vorliegende Kapitel behandelt die Semantik dieser aussagenlogischen Teile der Prädikatenlogik.



Unterabschnitte

Christian Gottschall 2003-03-19