Verbindungseinführung (häufig abgekürzt einfach als Verbindung) ist eine gültige Regel der Schlussfolgerung der Satzlogik. Die Regel macht es möglich, eine Verbindung in einen logischen Beweis einzuführen. Es ist die Schlussfolgerung, dass, wenn der Vorschlag p, und Vorschlag wahr ist, q wahr ist, dann ist die logische Verbindung der zwei Vorschläge p und q wahr. Zum Beispiel, wenn es wahr ist, dass es regnet, und es wahr ist, dass ich innen bin, dann ist es wahr, dass "es regnet und ich innen bin". Die Regel kann festgesetzt werden:

wo die Regel darin besteht, dass, wo auch immer ein Beispiel "" und "" auf Linien eines Beweises, "" erscheinen, auf einer nachfolgenden Linie gelegt werden kann.

Formelle Notation

Die Verbindungseinführungsregel kann in der folgenden Notation geschrieben werden:

wo ein metalogical Symbol ist, das bedeutet, dass das eine syntaktische Folge ist, wenn und jeder auf Linien eines Beweises in einem logischen System sind;

wo und in einem logischen System ausgedrückte Vorschläge sind.

Beweis