离散数学
免费题库
设论域为自然数集,下列选项中,值为真的是______。
谓词公式(∃x)(F(x)⋀G(x,y))⋁H(x,y)中,(∃x)的辖域是
设论域元素为a,b,c,下列选项中,与谓词公式∀xR(x)等价的是______。
设论域元素为a,b,c,下列选项中,与谓词公式∃xR(x)等价的是______。
令F(x):x为苹果,H(x,y):x与y完全相同,L(x,y):x=y,则命题没有完全相同的苹果的符号化形式为
下列谓词恒等式,不正确的是
下列式子中,<u> 不正确</u> 的是
设论域为{a,b},与谓词公式∃xP(x)等价的是
下列式子中, 不正确 的是
谓词公式∀x(F(x)⋀G(y))→∃y(H(x)→S(y,z)中量词∀x的辖域是
«
1
2
...
13
14
15
16
17
18
19
...
54
55
»