A\lor\neg A.

古典論理では二重否定 (否定の否定) の除去\neg\neg A\to Aに等しい

二重否定の導入A\to\neg\neg Aは排中律と區別できる

直觀主義論理では排中律は成立しない