Welcome To The Pandora Tutorial
 
(Back to the Pandora Homepage)
   
 

Welcome to the Pandora Tutorial page!

This tutorial is designed to help you get started on using Pandora to do logic proofs.

The tutorial consists of a number of exercises which have been divided into several classes according to their difficulty levels.

While you are trying out the exercises, a Pandora Tutor will be aiding you. If you are stuck in doing a proof, you can ask for hints or suggestions from the tutor. Alternatively, you may use the Pandora Help system, which is very useful to you no matter whether you are new to Pandora or not.

Pandora has a few conventions differing from the Logic lecture notes. Please do read this page from the Pandora Help before using Pandora.

New! You might want to learn about how to Reason "forwards/backwards" while doing a Natural Deduction proof in Pandora.

In addition, here are some general hints for deriving natural deduction proofs.

Start the tutorials:(Propositional Part)
NB. The exercises of Level 1 tutorial are fixed and can be used in the lecture; the exercises of Level 2 to 4 tutorials are randomly selected and can be tried out by the students in the lab.

  • Level 1 (Fixed)Exercises:

    This set of exercises is designed for you to try out the basic rules. The exercises can be used in the lecture.

    Start

  • Level 2 (Easy) Exercises:

    This set of easy exercises is designed for you to try out a combination of rules.

    Start

  • Level 3 (Medium) Exercises:

    This set of exercises consists of some interesting arguments.

    Start

  • Level 4 (Hard) Exercises:

    This set of exercises consists of some harder arguments.

    Start
 
(Back to the Pandora Homepage)