Subjunktion

Die Subjunktion bzw. der Subjunktor $\rightarrow$ ist der wenn-dann-Junktor der dialogischen Aussagenlogik.

Die dialogischen Regeln lauten:

Subjunktion	Angriff	Verteidigung
$A \rightarrow B$	A?	B

Abhängig vom gewählten (ggf. intuitionistischen) Rahmenregelsystem ist eine Strategie dahingehend zu entwickeln, ob zuerst der Angreifer zu einer Verteidigung der Prämissen-Aussage A verpflichtet wird, oder ob der Verteidiger der Gesamtaussage die Konklusion B verteidigen muss.

Die Wahrheitswerttabelle der klassischen Subjunktion (oft auch: Implikation) sieht so aus:

$A$	$B$	$A \rightarrow B$
falsch	falsch	wahr
falsch	wahr	wahr
wahr	falsch	falsch
wahr	wahr	wahr

Der Begriff Subjunktion wird auch in der Grammatik benutzt, und zwar als weil-Verbindungswort in Nebensätzen.

Literatur

Wilhelm Kamlah, Paul Lorenzen: Logische Propädeutik. Vorschule des vernünftigen Redens. (Mannheim 1967, später teilweise revidiert und mehrfach wieder herausgegeben.) Mannheim/Wien/Zürich 1990, ISBN 3-411-05227-9
Kuno Lorenz, P. Lorenzen: Dialogische Logik. Darmstadt 1978
Paul Lorenzen: Lehrbuch der konstruktiven Wissenschaftstheorie. Stuttgart 2000, ISBN 3-476-01784-2
R. Inhetveen: Logik. Eine dialog-orientierte Einführung. Leipzig 2003, ISBN 3-937219-02-1