排中律
本はありません。