Ein Junktor ist eine logische Verknüpfung von einer oder mehreren Aussagen in der Aussagenlogik. Hier eine unvollständige Liste von Junktoren:
In den folgenden Abschnitten finden sich erläuternde Videos zu den hier genannten Junktoren. Darüber hinaus gibt es noch einige weitere Junktoren, die an dieser Stelle aber nicht näher betrachtet werden.