Propositional logic is a system of symbolic logic that uses symbols to represent basic logical relations.