Go backward to Universal Quantification in Knowledge Go up to Top Go forward to Existential Quantification in Knowledge |
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 have to prove x subset y /\ y subset x.