Tree Proof Generator
A browser tool that builds analytic tableaux (tree proofs) for propositional and predicate logic formulas, showing step by step whether an argument is valid.
No account needed · sign in to keep your taste everywhere
More like this
Pages that share Tree Proof Generator's themes. Or browse all of Education.
Some Invalid Arguments Are More Bad Than Others
An essay proposing a formal way to score how flawed an invalid argument is, combining where the errors occur, whether th…
Modal Logic Playground
An interactive playground for modal logic where you build Kripke models and test formulas against them to see which worl…
Thought Experiments
A blog walking through famous thought experiments across philosophy, physics, and history, from quantum suicide to ident…
Open Logic Project
A collaborative, open-source logic textbook that teachers can freely customize, covering propositional and first-order l…
Wireless Philosophy
A free library of short educational videos on philosophical topics like logic, ethics, and epistemology produced by univ…
Logical Fallacies
A reference list of 42 common logical fallacies from the Nizkor Project, each explained with its form and examples, from…
Stumble onto more like this
One click takes you to a page you didn't know you were looking for. Rate it and the next one lands closer to your taste.
Add to Browser — it's freeWorks in Chrome, Edge and Brave. No account needed.