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 Law sheet and 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.