三、逻辑的性质