Using set properties, you can then do Proofs with Sets
The basic ones:
Includes:
- Inclusion of Intersection
- Inclusion of Union
- Transitive Property
The following Identities:
- Commutative Law
- Associative Law
- Distributive Law
- Identity Law
- Complement Law
- Double Complement Law
- Idempotent Law
- Universal Bound Law
- De Morgan’s Laws
- Absorption Law
- Complement of U and
- Set Difference Law1