逻辑基本规律为什么要分矛盾律和排中律?