将命题“在北京卖菜的人不全是东北人”符号化为______，其中，F(x):x在北京卖菜，G(x):x是东北人。