Propositional logic is that branch of mathematics concerned with propositions and their interrelationships. Symbols in the language of propositional logic represent "conditions" in the world, and complex sentences in the language express interrelationships among these conditions. The primary operators are Boolean connectives, such as and, or, and not.