Statements, Simple statements, Compound statements, Basic logical connectives, Conjunction, Disjunction, Negation, Negation of compound statements, Negation of conjunction, Negation of disjunction, Negation of a negation, The conditional statement, Contrapositive of a conditional statement, Converse of a conditional statement, The biconditional statement, Quantifiers, Validity of statements,