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.
page_revision: 0, last_edited: 1186919996|%e %b %Y, %H:%M %Z (%O ago)
EditRate (0)Tags History Files Print Site tools+ Options
Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License