Propositional logic, also known as sentential logic, is a branch of logic that deals with propositions, which are statements that are either true or false. It uses a formal system to represent these propositions and logical connectives