Welcome to Pandora Help.

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

As well as this document, help on a rule will be displayed on the various error messages and dialog boxes.

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