This chapter provides a brief introduction to propositional logic. Propositional logic is the foundation of mathematical logic. It uses simple statements as logical variables and connectives as logical operators. Operators connect simple statements to form compound statements, and a logical function usually contains multiple compound statements. Propositional logic investigates the logical characteristics and rules associated with logical statements.