首页
>
离散数学(02324)
> 题目详情
谓词公式∀x(F(x)Ⅴ∃yS(y))→Q(x)中变元x是______。
分类: 离散数学(02324)
发布时间: 2024-08-03 23:48
浏览量: 4
谓词公式∀x(F(x)Ⅴ∃yS(y))→Q(x)中变元x是______。
A、自由变元
B、约束变元
C、既不是自由变元,也不是约束变元
D、既是自由变元又是约束变元
【正确答案】:D
← 返回分类
返回首页 →
相关题目
令p:今天我上班,q:今天我休息。命题“今天我要么上班要么休息”的符号化形式为
设令F(x):x是火车,G(x):x是汽车,L(x,y):x比y快。命题“有的火车比有的汽车快”的符号化形式为
下列关于小项和大项的性质表述正确的是
下图中是欧拉图的为
设有非空集合A上的全域关系S,则关系S不是
↑