The document discusses converse, inverse, and contrapositive statements of conditional (if-then) statements. It provides examples of converting statements to their converse, inverse, and contrapositive forms. It also discusses determining the truth value of predicates by substituting values for predicate variables.