It’s Spring Quarter, which means roughly 20 students at Seattle University are taking MATH-310 (our “introductions to proof” class). The class is offered once a year with the goal of preparing students for higher math (such as Real Analysis and Abstract Algebra). The material varies pretty wildly depending on who is teaching it, but one thing is for sure: students learn about proofs in propositional and first-order logic, and they learn about sets (from the naive approach).
In logic, we have these two way-important rules:
In set theory, we have these two way-important rules:
Both pairs of rules are called “De Morgan’s law.” So what, did De Morgan just go around making statements about what we intuitively think of as “negation?”
Nope. This is just an examle of the same thing in different form. The set-theoretic statements can be produced from the logic, which we will now do.
Assume De Morgan’s laws in logic. Let be sets such that , and define propositions on by
which is what we wanted to show.