排中律 (はいちゅうりつ) — law of excluded middle | Kumi Dictionary