Discrete Mathematics - Conditional Statements

In this section, we learn about conditional statements along with the converse, inverse, contrapositive, and biconditional.  We learn about their truth tables as well as notation and identities.  In addition, we will learn that p implies q is logically equivalent to not p or q which is one of the most important identities involving statements.  Necessary and sufficient conditions are studied in this section as well.  The notes for this section can be found here.