逻辑基本规律主要有同一律、矛盾律和______。