Bir önerme ya doğrudur ya da yanlıştır. Bu yasaya üçüncü hâlin olmazlığı (Üçüncü hâlin imkansızlığı ilkesi de denir.) diyoruz. Tıpkı çelişmezlik yasası gibi üçüncü hâlin olmazlığı yasası da özdeşlik yasasından türemiştir.