Herhangi bir varlığın aynı anda hem bir şey, hem başka bir şey olamayacağını ifade eder. "A, -A değildir" (A, A olmayan değildir) şeklinde gösterilir. Örneğin, "Bir şey, aynı anda hem bir yerde, hem de başka bir yerde olamaz."
Herhangi bir varlığın aynı anda hem bir şey, hem başka bir şey olamayacağını ifade eder. "A, -A değildir" (A, A olmayan değildir) şeklinde gösterilir. Örneğin, "Bir şey, aynı anda hem bir yerde, hem de başka bir yerde olamaz."