在一阶逻辑中命题符号化“在北京工作的人未必都是北京人”____。