

• ## 3: Symbolic Logic and Proofs

Logic is the study of consequence. Given a few mathematical statements or facts, we want to be able to draw some conclusions. Whenever we find an “answer” in math, we really have a (perhaps hidden) argument. Mathematics is really about proving general statements (like the Intermediate Value Theorem), and this too is done via an argument, usually called a proof. We start with some given conditions, the premises of our argument, and from these we find a consequence of interest, our conclusion.