题目详情
单选题 设F(x): x为人,G(x): x喜欢吃糖,D为全总个体域,在一阶逻辑中将命题"有人喜欢吃糖"符号化正确的是( )
A. "x (F(x)®G(x))
B. $ x (F(x)ÚG(x))
C. "x (F(x)ÚG(x))
D. $ x (F(x)ÙG(x))
学科:离散数学与应用
时间:2024-01-04 15:58:47
相关题目
相关作业