Welcome guest
You're not logged in.
361 users online, thereof 0 logged in

Proof: (related to "Equality of Sets")

The corollary follows immediately from the axiom of extensionality.

q.e.d

| | | | Contributors: bookofproofs | References: [711]


This work was contributed under CC BY-SA 3.0 by:

This work is a derivative of:

(none)

Bibliography (further reading)

[711] Mendelson Elliott: “Theory and Problems of Boolean Algebra and Switching Circuits”, McGraw-Hill Book Company, 1982

FeedsAcknowledgmentsTerms of UsePrivacy PolicyImprint
© 2018 Powered by BooOfProofs, All rights reserved.