将下列命题符号化1这栋大楼建成了2人人为我 我为人人3人不犯我 我不犯人 人若犯我 我必犯人 4在中国工作的人为必都是中国

将下列命题符号化1这栋大楼建成了2人人为我 我为人人3人不犯我 我不犯人 人若犯我 我必犯人 4在中国工作的人为必都是中国
将下列命题符号化
1这栋大楼建成了2人人为我 我为人人3人不犯我 我不犯人 人若犯我 我必犯人 4在中国工作的人为必都是中国

将下列命题符号化1这栋大楼建成了2人人为我 我为人人3人不犯我 我不犯人 人若犯我 我必犯人 4在中国工作的人为必都是中国
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))]

厉害啊