About Demonstratio
Demonstratio is a workbench for classical propositional logic. It builds truth tables, semantic tableaux and Fitch-style natural deduction proofs, and checks the ones you build yourself.
All logic runs in your browser. Drafts stay in this browser's storage. You only need an account to save documents to the cloud and share short links. Visits and tool actions are counted with Umami on this site's own server: no cookies, no personal data stored, nothing shared with third parties.
Attribution
The natural deduction rules, their names and the proof layout follow forall x: Calgary, an open textbook by P. D. Magnus, Tim Button, Richard Zach and contributors. The book is licensed under CC BY 4.0. Demonstratio is not affiliated with its authors.
The exercises are original problems written in the same style. No text is copied from the book.
Contact
Questions, bug reports and suggestions are welcome by email: masumgokyuz@gmail.com