TUTORIAL:Using Logic Learner

Welcome to Logic Learner!
Click on the numbers to explore the different parts of the tool’s interface.

Law sheet

The Law sheet lists the laws and their example statements. Refer to this when you need to review how the laws work. You can return to this sheet whenever needed. Tap on the Law sheet button to try it out.

Logic symbols

In propositional logic, we use logical connectives to build compound statements. Refer to the Logic symbols sheet on how to type in these connectives. You can return to this sheet whenever needed. Tap on the Logic symbols button to try it out.

Prove that (p∨q)→r is logically equivalent to (p→r)∧(q→r).

Logic proof question

This is an example of a question you will see in Logic Learner. The first propositional statement is the premise, and the second propositional statement is the end point of the proof.

To begin this proof,

Solution step

Here is where you type your proof step by step. For each line of proof, you choose a law and type the resulting propositional statement after applying the law. Remember, if you forgot a law or which symbols you can type in, you can refer back to the clipboard iconLaw sheet and keyboard icon Logic symbols guide.

Go, or Delete step

When you are done with your proof step, click the “Go!” button. You’ll move on to the next step if your statement is valid. If not, you will see a feedback, and can send in your proof step after making corrections.

To remove the current step and return to the previous statement, use the “Delete” button

Solution key

This will reveal the solution key of the entire proof. The key is just one of many possible solutions for the question. It is meant to help you if you get stuck, or if you would like to compare the proof you have created with the optimized version. It is recommended that you use this as a guidance, only when needed.

Reset proof

When you tap the Reset proof button, it will clear your entire proof. You can use this to restart if you want to try solving the proof in a different way, or if you want to practice doing the proof again.