逻辑学的性质及其主要作用