Project TALLC
Project TALLC
Technology and Learning: Logic Course
  • Overview
  • Logic Learning Tools
    • State-Transition Problems
      • Dogs and Cats
      • Water Jugs
      • More River Crossings – (Coming Soon)
      • Towers of Hanoi
      • Last One Loses
      • Eight Tiles
    • Propositional Logic
      • Truth Functional Analysis
      • Rules of Transition
      • Proof Construction
      • Translation
      • Statement Reformulation
      • Premises & Conclusions
    • Other
    • Help
      • Running the applets
      • Grading and Certificates
  • Contact Us
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
  • Log In