Press and hold a star to select · right-click to see neighbors · = / − neighbors
Definitions
You have saved all the definitions in this block. You can review them in your notebook.
Learned0 saved
Bibliographic sources are listed in each definition.
Modern algebra
Learned0 saved
Proof lab
Prove an idea
Write your steps and ZWMath will check whether each line follows from the previous ones.
Theorem
Allowed hypotheses
i
Use one line per step:
2. Q [∧E 1]. You can also write hypothesis, ∧E, ∧I, →E and ∨I.
Your proof
Write the steps
This first version checks basic rules of propositional logic. Later we will connect the same editor to Lean for formal certification.
Exercise 1 of 50 / 5
Exercise
Question
Definitions
9 in this block
Personal notes0 learned
Saved on this device
Permanent archive0 saved
You have not sent anything to the archive yet.
Best times0 records
Solve a practice exercise and your first record will appear here.