问答题 论述域是I，确定下列哪些集合是相等的： A={x∣x2-1=15∧x2=1} B={0} C={x∣y（y∈I∧x=2y）} D={x∣x2-6x+8=0} E={2x∣x∈I} F={4，2，4，2} G={x∣x2+1=0} H={0，2，-2，4，-4，6，-6，…}

问答题 对谓词公式“（x（P（x）→（R（x）∨Q（x）））∧ヨxR（x））→zS（x，z）”的约束变元进行改名。

问答题 对谓词公式xy（P（x，z）→Q（y））S（x，y）的约束变元进行改名。