17.(1)x量词的辖域为(A(x,y)→(Hz)B(y,x,z)), (3分) Hz量词的辖域为B(y,x,z), (6分) (2)自由变元为(A(x,y)+(H)B(y,x,z))中的y, (9分） 约束变元为x与之， (12分) 六、证明题（本题共8分） 18.证明：设x∈A,则<x,x>∈AXA, (1分) 因为AXA=BXB,故<x,x>∈BXB,则有x∈B, (3分) 所以A二B (5分) 设x∈B,则<x,x>∈BXB, (6分) 因为AXA=BXB,故<x,x>∈AXA,则有x∈A,所以BCA. (7分) 故得A=B. (8分) 7317.(1)3x量词的辖域为(A(x,y)- ( d z)B(y,x,z)) dz量词的辖域为B(y,x,z), (2)自由变元为(A(x, y)一(V z)B勺,x,z))中的夕， 约束变元为 x与 z. (3分) (6分) (9分) (12分) 六、证明题 (本题共 8分) 18.证明:设 xEA，则<x,x> EAXA, 因为 AXA=BXB，故<x,x>EBXB，则有 xEB, 所以AFB. 设 xEB，则<x,x>EBXB, 因为 AXA=BXB，故<x,x>EAXA，则有 xEA，所以 BMA. 故得A=B. (1分) (3分) (5分) (6分) (7分) (8分)