设A（x）：x是人,B（x）：x是工人,则命题“有人是工人”可符号化为（ ）．
问题描述：
设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))
你的符号是乱写的吧,有人是工人,就表示存在一些人,这些人是工人.所以用存在量词约束.后边是个合取.若满意请采纳!