Propositional logic is a branch of logic that deals with propositions, which can be either true or false, and uses logical connectives to form complex statements. It is fundamental in mathematical logic and computer science for reasoning about truth values in a formal, structured manner.