Klauseln

Klausel (Plural Klauseln) bezeichnet in der deutschen Sprache mehrere Sinnrichtungen, je nach Fachgebiet. Allgemein ist eine Klausel eine festgeschriebene Bestimmung innerhalb eines Textes, Vertrages, Regelwerks oder Gesetzes, die Rechte, Pflichten oder Bedingungen festlegt. Klauseln dienen der konkreten Ausgestaltung und Abgrenzung von Rechtsfolgen oder organisatorischen Regelungen.

Im juristischen Kontext treten Klauseln häufig in Verträgen, AGB oder Gesetzestexten auf. Typische Beispiele sind Haftungsbeschränkungen, Geheimhaltungs- oder Vertraulichkeitsklauseln, Salvatorische Klauseln (Fortgeltung bei Teilnichtigkeit) sowie Wettbewerbs- und Kündigungsklauseln. Klauseln können auch gesetzliche Formvorschriften, Fristen und Ordnungsprinzipien enthalten.

In der Linguistik bezeichnet Klausel eine syntaktische Einheit, die mindestens Subjekt und Prädikat umfasst. Hauptklauseln stehen gewöhnlich allein, Nebenklauseln ergeben sich als Unterordnungen, zum Beispiel dass-, ob- oder Relativsätze. Die Struktur und der Typ der Klausel beeinflussen die Satzstellung und die Semantik einer Äußerung.

In der formalen Logik und Informatik ist eine Klausel eine Disjunktion von Literalen. Eine Formel in konjunktiver Normalform (KNF) besteht aus einer Konjunktion von Klauseln, wobei jede Klausel eine Disjunktion von Literalen ist. Klauseln spielen eine zentrale Rolle im Resolution-Verfahren und werden von SAT-Solvern genutzt, um die Erfüllbarkeit von Aussagen zu prüfen.