Software Requirements - Terminology

• CPL — The software which handles the representation and manipulation of classical propositional logic expressions.

• Element — An atomic proposition or a symbol representing an atomic proposition, which is part or to be part of a classical propositional logic expression.

• Expression — A classical propositional logic expression.