例题 例3(1)证明A=B∧C=D→AxC=BXD (2)AxC=BxD是否推出A=B∧C=D?为什么? 解(1)任取<xy> xy>∈A×Cx∈A∧yeC 分x∈B∧yeD分≮x2∈BxD (2)不一定.反例如下 A={1},B={2},C=D=,则AXC=BXD但是A≠B8 例题 解 (1) 任取<x,y> <x,y>AC  xA  yC  xB  yD  <x,y>BD 例3 (1) 证明 A=B  C=D  AC=BD (2) AC=BD是否推出 A=B  C=D ? 为什么？ (2) 不一定. 反例如下： A={1}，B={2}, C=D=, 则 AC=BD 但是 AB