Go backward to Decomposition of Implications Go up to Top Go forward to Alternative |
Proposition: For every x and y, we have
x = y <=> (x subset y /\ y subset x).
Proof: Take arbitrary x and y. We prove x = y <=> (x subset y /\ y subset x).
(1) forall z: z in x <=> z in y.We prove x subset y /\ y subset x. ...