排中律
記事はありません。