问答题

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

【参考答案】

,其中,