See errors immediately
Get interactive help
Make natural deduction easy
$39.99 Regular, $24.99 Education
Gorgeous Design
An intuitive user interface, drag-and-drop support, and comprehensive help with integrated videos.
Learning Tool
Gives immediate feedback, and encourages good habits by requiring each assumption to have an exit strategy.
Highly Flexible
Over a dozen textbook presets, or configure your own system and specify which of over 85 rules are active.
Guided Help
Tutorials on using the program, on natural deduction rules and strategies, and an adaptive hint system.
Multiple Systems
Choose whether you are working in propositional logic, predicate logic with identity, or even intuitionist or minimal logic.
Export Your Work
Send your natural deductions to PDF, convert to a text file, or save as a LaTeX snippet for use in research papers and presentations.
"Easy to use and intuitive."
— Patrick Holt, Research Professor
— Patrick Holt, Research Professor
Preferences
(Click to enlarge)
Learning Tools
(Click to enlarge)
- So You Want to Learn a Little Logic: The Series. Part 5: Argument-Forms
- The Series So Far In the previous articles, we introduced logic and discussed some basic concepts, including the informal test for invalidity: Intr...
- So You Want to Learn a Little Logic: The Series. Part 4: The Invalidity Test
- In the previous article, we introduced a test for invalidity, and finished up with a short set of exercises. We’ll start here by going through...
- So You Want to Learn a Little Logic: The Series. Part 3: Invalidity
- In the previous article, we introduced the concept of soundness. We said that a sound argument has two things: premisses that are true in the real wo...
- @wanderingmango: Logic game Intuition 50% off, Saturday October 9 only. Info: http://goo.gl/BSjy Store link: http://goo.gl/W28G Coupon: INTSPOTLIGHT
- @wanderingmango: New release of the logic game Intuition. Check it out: http://goo.gl/BSjy
Features
Wandering Mango