Skip to main content
Project TALLC
Project TALLC
Technology and Learning: Logic Course
Logic Learning Tools
»
Propositional Logic
» Proof Construction
Proof Construction
Applet:
Deep Thought
Work Forwards (WF)
Work Backwards (WB)
WB with ADD
Apply Replacement Rules
Skip to toolbar
Close menu
Log In
Search