Denne beskriver at A ≠ ikke-A. Enkelt sagt betyr det at hva enn A er for noe, så er det ikke noe annet enn A.