site banner
Jump in the discussion.

No email address required.

#6 is isomorphic to De Morgan's laws. Without loss of generality, let the universe be 𝒰 = {0, 1} where S, T ∈ 𝒰. We thereby establish a bijection to boolean logic, and the proof of De Morgan's laws applies.

#3 also looks fun to prove but I'm pretty sure I've done that one before, and LaTeXing out the set operation symbols again might trigger me.

  • 5
Jump in the discussion.

No email address required.

I like your circumvention of tedium for number 6.

  • 4
Jump in the discussion.

No email address required.

go live and solve it.

![](/images/16805846694688754.webp)

  • 5
Jump in the discussion.

No email address required.

Hehe

  • 5
Jump in the discussion.

No email address required.

We're done.. You're poor.. figure it out cute twink BIPOC.

  • 2
Jump in the discussion.

No email address required.