Propositional logic is a fundamental branch of logic in artificial intelligence that deals with statements or propositions which are either true or false. It uses logical connectives like AND, OR, NOT, and IMPLIES to form complex expressions. This logical framework helps AI systems perform reasoning, decision-making, and problem-solving by evaluating the truth values of propositions.