This document discusses conditional statements. It defines conditional statements as statements that can be written in if-then form, with a hypothesis following "if" and a conclusion following "then". Conditional statements can be true or false, and counterexamples can show them to be false. Symbolic logic symbols are introduced for representing hypotheses, conclusions, negation, conjunction, disjunction, and implication. The forms of conditional statements discussed are the converse, inverse, contrapositive, and biconditional.