Natural Deduction Editor

Rule

Proof Editor

1.
$A \to B$
2.
$A$
3.
$B$[\to E] (Premises: 1, 2)
4.
$B \to C$
5.
$C$[\to E] (Premises: 3, 4)
$ \large \rm{\LaTeX} $
😊 No problems detected
$$$$
Usage
  1. Click "Create New Step" to add a proof step.
  2. Click on each step to edit its formula and inference rule.
  3. Select an inference rule and, if necessary, choose premise steps.
  4. Copy the generated TeX code using the copy button.