[判断]  在经典二值逻辑体系中，所有的分类都被假定为有明确的边界。