üçüncü halin imkansızlığı

• biçimsel mantığın üç temel öğesinden biridir. diğer ikisi;
  (bkz: çelişmezlik ilkesi)
  (bkz: özdeşlik ilkesi)
  
  aristoteles tarafından ilerisürülen bu ilke; "x ya y'dir ya da y değildir" şeklinde gösterilebilir kısaca. yani bu ilke iki karşıt önermeden birinin yanlışlığının diğerinin doğruluğunu gerektireceğini saptar.