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