首页
>
离散数学(02324)
> 题目详情
谓词公式中,量词 的辖域是
分类: 离散数学(02324)
发布时间: 2024-08-03 22:58
浏览量: 0
谓词公式
中,量词
的辖域是
A、
B、
C、
D、
【正确答案】:B
【题目解析】:
给定一个谓词公式A,其中有一部分公式形如
B(x)或
B(x),则称它为A的x约束部分,称B(x)为相应量词的辖域。原公式中H (x ,y)与量词
无关,故其辖域为
。
← 返回分类
返回首页 →
相关题目
令p:今天我上班,q:今天我休息。命题“今天我要么上班要么休息”的符号化形式为
设令F(x):x是火车,G(x):x是汽车,L(x,y):x比y快。命题“有的火车比有的汽车快”的符号化形式为
下列关于小项和大项的性质表述正确的是
下图中是欧拉图的为
设有非空集合A上的全域关系S,则关系S不是
↑