Empty Sets and Vacuous Truth
I’m going to start this post with a simple question about the empty set, and gradually dive deeper. There will be connections here to previous discussions of conditional statements in logic.
Logic
Why, in Logic, Does “False” Imply Anything?
In a class on symbolic logic, students are taught the truth tables that define the “logical connectives” ∧ (and), ∨ (or), ¬ (not), and → (if … then). Everything makes sense until they are told that if p is false, then is true whether or not q is true. How can we say that “If pigs fly, then 2 is …