逻辑的类