varlık ilkelerinden birisidir. a, a olmayan değildir şeklinde gösterilir.
ontolojik ifadesi: bir şey aynı zamanda hem bendisi hem de başka bir şey olamaz.
mantıksal ifadesi: bir yüklem bir özne hakkında hem söylenmiş hem de söylenmemiş olamaz. bir yargı aynı zamanda hem evetleyici hem değilleyici olamaz.
epistemolojik ifadesi: bir yargı hem doğru hem yanlış olamaz.
