- propositional logic
Generated: This refers to a branch of logic that deals with propositions which can either be true or false and uses logical connectives to form complex expressions.
Propositional logic is an important concept in mathematics and computer science.