black

离散数学

登录

问答题

计算题

指出A(z)→(¬∀x∀yB(x,y,a))中的自由变元和约束变元,并指明量词的辖域。

【参考答案】

相关考题

问答题 用列举法表示下列集合: (a)小于20的质数集合 (b)构成词evening的字母集合 (c){x∣x2+x-6=0} (d)真值构成的集合

问答题 指出xy(P(x)∧Q(x)→zR(z))中的自由变元和约束变元,并指明量词的辖域。

问答题 指出x(P(x)∧xQ(x))∨(xP(x)→Q(y))中的自由变元和约束变元,并指明量词的辖域。

All Rights Reserved 版权所有©易学考试网(yxkao.com)

备案号:湘ICP备2022003000号-3