Logic Tools

Free software for learning symbolic logic, written to accompany How Logic Works. Check a natural-deduction proof line by line, build a truth table, or evaluate a sentence in a finite structure. You can also photograph a proof you wrote by hand and have it read and checked. No account, nothing to install.