Logische Verknüpfung
aus Wikipedia, der freien Enzyklopädie
Mit Hilfe der logischen Verknüpfungen lassen sich in der Aussagenlogik aus einfacheren Aussagen kompliziertere Aussagen zusammensetzen. Dabei muss der Wahrheitswert der zusammengesetzten Aussage durch die Wahrheitswerte der enthaltenen einfacheren Aussagen eindeutig bestimmt sein, beispielsweise durch eine Wahrheitstabelle.
In Analogie zum mathematischen Verknüpfungsbegriff spricht man von einstelligen und zweistelligen Verknüpfungen - je nachdem, wie viele Aussagen zusammengesetzt werden. Höherstellige Verknüpfungen sind hier von untergeordneter Bedeutung, weil sie sich durch ein- und zweistellige Verknüpfungen ausdrücken lassen. Die Symbole, mit denen die logischen Verknüpfungen ausgedrückt werden, nennt man Junktoren.
Unter den einstelligen logischen Verknüpfungen gibt es nur eine nicht-triviale, nämlich die Negation.
Die wichtigsten zweistelligen logischen Verknüpfungen sind Konjunktion, Disjunktion, Implikation und Äquivalenz.
