首页
谓词公式∀x(P(x)→∃yQ(y))⋁R(y)中, ∀x的辖域是________,自由变元是________。
2024-08-03 23:50:46
离散数学(02324)
谓词公式∀x(P(x)→∃yQ(y))⋁R(y)中, ∀x的辖域是________,自由变元是________。
【正确答案】:P(x)→∃yQ(y),R(y)中的y
上一篇:
¬ (∀xF(x,y)Ⅴ∃yG(x,y))对应的前束范式是______。
下一篇:
在实数域中,命题公式∀x∃y(x·y=0)的真值为_________,命题公式∃x∀y(x·y=1)的真值为_________。