问答题
指出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))中的自由变元和约束变元,并指明量词的辖域。