Companion tools for How Logic Works.

Home Proof checker Check a photo Blank template Truth tables DNF converter Model checker Model builder Instructions About these tools Hans Halvorson

© 2025 Hans Halvorson

Symbolic Logic Tools How Logic Works

Proof Checker

Tip: Ctrl/⌘ + Enter to check.

Deps	Line	Formula	Justification	OK	Message

LaTeX (copy or download)

This appears only when the proof checks as valid.

© 2025 Symbolic Logic Tools | Report a Bug | Feedback / Questions