首页 > 离散数学(02324) > 题目详情

令F(x):x是火车,G(y):y是汽车,H(x,y):x比y快,则命题“说火车都比汽车快是不对的”的符号化形式为

分类: 离散数学(02324) 发布时间: 2024-08-03 23:48 浏览量: 4
令F(x):x是火车,G(y):y是汽车,H(x,y):x比y快,则命题“说火车都比汽车快是不对的”的符号化形式为
A、∀x∀y((F(x)⋀G(y)) →H(x,y))
B、¬∀x∀y((F(x)⋀G(y)) →H(x,y))
C、¬∀x∀y (F(x)⋀G(x)⋀H(x,y))
D、∃x∃y((F(x)⋀G(x))→H(x,y))
【正确答案】：B
← 返回分类 返回首页 →

相关题目

↑