17.设谓词公式（3x)(A(x,y)→（Vx)B(y,x,x),试 (1)写出量词的辖域； (2)指出该公式的自由变元和约束变元. 得 分 评卷人 六、证明题（本题共8分） 18.设A,B是任意集合，试证明：若A×A=BXB,则A=B. 7017.设谓词公式 (3 x) (A(x, y)-(d z)B勿,x,z))，试 (1)写出量词的辖域; (2)指出该公式的自由变元和约束变元. 得 分 评卷人 六、证明题 (本题共 8分) 18.设 A,B是任意集合，试证明:若 AXA=BXB，则 A=B