Natural Deduction Prover

Enter premises and a conclusion, then construct a proof line by line by selecting rules and cited lines. Fitch-style subproofs may be nested.

Premises & Conclusion

Conclusion (target)

Separate line numbers with commas (e.g. 1,2). Cite a whole subproof as start-end (e.g. 2-4).