Denne sier at en ting er enten A eller ikke-A. Omformulert så kan man si at ingenting er hverken A eller ikke-A. Og samtidig så er ingenting både A og ikke-A.