作业帮将下列命题符号化1这栋大楼建成了2人人为我 我为人人3人不犯我 我不犯人 人若犯我 我必犯人 4在中国工作的人为必都是中国
来源：学生作业帮助网 编辑：作业帮 时间：2024/07/29 11:26:47
xSN@~SlB96 `<0^D
"`B"$@
wi:y ۦRzҤdy =kr 꺯hMf[(mۨmۆ|3;9\x
78f .% , nFpoTMս;
cb:qa~SJ-yvD){X uo0rL2c;,F
06t%C*1 TuX2g)bpkYG*uʘPI@y\Q ʼnY+Ik~l ڃ=Hq;q=&cMW
7.^/ҮYu͜%8S!X=珤A!z.<
ẾB~DTL
将下列命题符号化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))]
厉害啊