Ein binärer logischer Junktor (geschrieben ∧), der genau dann wahr ist, wenn beide Operandenformeln wahr sind; repräsentiert das logische 'und' in der Aussagenlogik.

Prinzip

Wahrheitsfunktionaler Junktor mit folgender Wahrheitstabelle: A ∧ B ist genau dann wahr, wenn A wahr und B wahr ist. Er ist kommutativ (A ∧ B ≡ B ∧ A), assoziativ ((A ∧ B) ∧ C ≡ A ∧ (B ∧ C)) und idempotent (A ∧ A ≡ A) in der klassischen Aussagenlogik.

Demonstration

Wenn p = 'Es regnet' und q = 'Es ist kalt', dann bedeutet (p ∧ q) 'Es regnet und es ist kalt' und ist nur dann wahr, wenn beide Bedingungen zutreffen. Aus A und B kann man A ∧ B folgern (Konjunktions-Einführung); aus A ∧ B kann man A folgern (Konjunktions-Elimination).

Fehlanwendung

Konjunktion als exklusives 'und' (XOR) zu interpretieren oder das formale ∧ mit dem natürlichen 'und' zu verwechseln, das etwa Abfolge, Kausalität oder Kontrast implizieren kann. Ein weiterer Missbrauch ist die Annahme der Distributivität über nicht-standard Junktoren ohne Begründung.

Konsequenz

Ermöglicht die Kombination unabhängiger Wahrheitsbedingungen zu gemeinsamen Aussagen; bildet die Grundlage für Inferenzregeln in Beweisen und bestimmt, wie sich Information in zusammengesetzten Aussagen akkumuliert.

Umkehrung

Die Umkehr ist die Disjunktion oder eine verneinte Konjunktion: Wenn man den Junktor als Wahl (A oder B) statt als gemeinsame Wahrheit behandelt, ändern sich die logischen Konsequenzen; die Verwendung von NAND (Sheffer-Strich) statt ∧ rekonstruiert Konjunktion als anderes primitives Element mit unterschiedlichem inferentiellem Verhalten.

Abgrenzung

Gilt für den binären Junktor in der Aussagenlogik; erweiterte n-stellige Konjunktionen werden durch iterierte binäre Konjunktionen definiert. Schließt natürliche Sprachkonjunktionen mit pragmatischer Anreicherung und multimodale Operatoren aus, die Propositionen anders kombinieren.

Semantische Spannung

Spannung zwischen den formalen Eigenschaften der Konjunktion und den reicheren, kontextabhängigen Bedeutungen des alltäglichen 'und' (z. B. Abfolge, Kausalität oder Betonung) sowie zwischen der Auffassung der Konjunktion als primitivem Operator und ihrer Definition durch andere Operatoren (z. B. via NAND).

Synthese

Die Konjunktion ist der binäre wahrheitsfunktionale Junktor, der eine zusammengesetzte Formel genau dann wahr macht, wenn beide Konjunkte wahr sind; sie verbindet unabhängige Bedingungen zu einer gemeinsamen Aussage und stützt die standardmäßigen Einführungs- und Eliminationsregeln.