9.6 数学与逻辑题