问答题
对谓词公式“(∀x(P(x)→(R(x)∨Q(x)))∧ヨxR(x))→∃zS(x,z)”的约束变元进行改名。
问答题 对谓词公式xy(P(x,z)→Q(y))S(x,y)的约束变元进行改名。
问答题 列出下列集合的成员:(a){x∣x是36的因子}(b){x∣x=a∨x=b}(c){1,{3},{{a}}}
问答题 用描述法表示下列集合:(a){1,2,3,…,79}(b)奇整数集合(c)能被5整除的整数集合(d)重言式集合