The PropCalc Work Place is a web tool that allows the student to explore aspects of propositional logic. In particular it allows one to explore the conclusions that can be drawn from a collection of initial premises using the rules of the propositional calculus in a repeated application environment. In the demo below the HTML code of the page is included to show how to include the work place on a web page. For a complete description of the capabilities and use of this applet, contact Robert Muncaster
Try the PropCalc Work Place for yourself!