The document discusses conditional and biconditional statements in logic. It defines conditional statements using "if...then" and biconditional statements using "if and only if". It also discusses the converse, inverse, and contrapositive of conditional statements and how their truth values relate using truth tables. Specifically, the contrapositive of a conditional statement always has the same truth value as the original conditional statement.