Welcome to Pandora Help.

These help files are designed to help you use Pandora and not to you teach logic, for this see you course notes. As a result a basic knowledge of logic and natural deduction is assumed thoughout this help.

As well as this document, help on a rule can be displayed inside Pandora (in the message box below your proof) by right clicking on a Rule button. Also if you leave you cursor over a rule button for a few seconds a tool tip will appear telling you the name of the Rule that button represents.

To navigate though this document use the tree view on the left of the window and click on the document icons to display them.

For more information on how to use help go to Rules