3.让逻辑更明确的排中律