排中律__law_of_the_excluded_middle