将下列命题符号化

1这栋大楼建成了
令F(x)表示"x建成了"，G(x)表示"x是大的",H(x)表示"x是楼房",a表示"这栋"，则全式为
F(a)∧G(a)∧H(a)

2人人为我 我为人人
令F(x,y)表示“x为y",a表示"别人",b表示"我"，则全式为
F(a,b)→F(b,a)

3人不犯我 我不犯人 人若犯我 我必犯人
令F(x,y)表示“x侵犯y",a表示"别人",b表示"我"，则全式为
否F(a,b)→否F(b,a)，F(a,b)→F(b,a)

4在中国工作的人未必都是中国人
令F(x)表示"x在中国工作"，G(x)表示"x是中国人",H(x)表示"x是人"，全式为
(存在量词 x)[H(x)∧F(x)∧(否G(x))]

厉害啊