作业帮 > 语文 > 作业

设A(x):x是人,B(x):x是工人,则命题“有人是工人”可符号化为( ).

来源:学生作业帮 编辑:作业帮 分类:语文作业 时间:2024/07/16 13:07:35
设A(x):x是人,B(x):x是工人,则命题“有人是工人”可符号化为( ).
A.( x)(A(x)ÙB(x))
B.("x)(A(x)ÙB(x))
C.Ø("x)(A(x)®B(x))
D.Ø( x)(A(x)ÙØB(x))
(存在量词x)(A(x)∧B(x))
你的符号是乱写的吧,有人是工人,就表示存在一些人,这些人是工人.所以用存在量词约束.后边是个合取.若满意请采纳!