Zwei Aussagen A und B stehen zueinander in der Beziehung der Exklusion, wenn aus der Wahrheit der einen folgt, dass die andere nicht wahr sein kann. In der klassischen Logik sprach man in diesem Fall von einem konträren Gegensatz (logisches Quadrat). Die Aussagenlogik formuliert die Exklusion mithilfe des Sheffer-Strichs: