当前位置： 首页 > 离散数学(02324)

请写出表示分配律的两个命题公式等价定理_____________，______________。

阅读全文

谓词公式∀x(F(x)Ⅴ∃yS(y))→Q(x)中变元x是______。

阅读全文

设论域为整数集，下列命题中真值为假的是

阅读全文

设F(x)：x是火车；G(y)：y是汽车；H(x，y):x比y快；则下列语句可以表示成公式∃x(F(x)→∀y(G(y)⋀H(x

阅读全文

设F(x):x是在美国的留学生,G(y):y是亚洲人。命题“并不是所有在美国的留学生都是亚洲人”可符号化为

阅读全文

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

阅读全文

下列式子不是谓词合式公式的是

阅读全文

谓词公式∀x(F(x)Ⅴ∃yS(y))→Q(x)中量词x的辖域是______。

阅读全文

设论域为自然数集,下列选项中,值为真的是______。

阅读全文

谓词公式（∃x）（F（x）⋀G(x,y))⋁H(x,y)中，（∃x）的辖域是

阅读全文
1...1112131415...176