6.8.18 Set Theory

Condition: prove: \ (\ {x, y \} = \ {u, v \} \ rightarrow \) \ [\ rightarrow ((x = u \ wedge y = v) \ vee (x = v \ Weedge y = u)) \]]