generated at
排中律
law of excluded middle
排中原理

https://ja.wikipedia.org/wiki/排中律