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

谓词公式∀x(P(x)⋁∃yF(y)→¬∃xQ(x)中量词∀x的辖域为______________。

阅读全文

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

阅读全文

公式(∃x)P(x,y)→∀zQ(x,z))的约束变元为___________,自由变元为___________。

阅读全文

在整数域中,命题公式∀x∃y(x·y=0)的真值为_____________，命题公式∃x∀y(x·y=1)的真值为______

阅读全文

在正整数域中,命题公式∀x∃y(x·y=0)的真值为_____________，命题公式∃x∀y(x·y=1)的真值为_____

阅读全文

在实数域中,命题公式∀x∃y(x·y=0)的真值为_________,命题公式∃x∀y(x·y=1)的真值为_________。

阅读全文

谓词公式∀x(P(x)→∃yQ(y))⋁R(y)中, ∀x的辖域是________，自由变元是________。

阅读全文

¬ (∀xF(x,y)Ⅴ∃yG(x,y))对应的前束范式是______。

阅读全文

谓词公式∃x∃yF(x,y)→∀zG(x,y,z)的前束范式为_________。

阅读全文

公式∃xP(x)→∀xQ(x)对应的前束范式为_____________。

阅读全文
1...1516171819...176