排中律
law of excluded middle
排中原理
https://ja.wikipedia.org/wiki/排中律