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

Proof: (related to "Equality of Sets")

The corollary follows immediately from the axiom of extensionality.

q.e.d

| | | | created: 2019-01-06 17:19:34 | modified: 2019-01-06 17:19:59 | by: 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.