Proof of De Morgan's Law for the Union of Two Sets

[@darcash1738]

Union --> OR between sets
Intersect --> AND between sets
Complement --> NOT for a set
So, converting our statement, we get:
~(A ^ B),
By Demorgan,
~A and ~B
And converting back we get
Complement(A) Intersection Complement(B)

[@iagocasalderreycasalderrey8368]

Amazing. Best example ever. It's noticiable you like maths

[@hjjkjb5436]

Why do you sometimes use the biconditional arrow and sometimes just use = ?.... How to know when to use which?

[@TheMathSorcerer]

biconditional means it must work both ways, you can use either here
you can do it like this with
or you can prove each direction individually
=> and

[@TheMathSorcerer]

[@howardlim7555]

is this secnd de morgan's law?