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

Propositional Logic

  • Premises & Conclusions
  • Proof Construction
  • Rules of Transition
  • Statement Reformulation
  • Translation
  • Truth Functional Analysis
Skip to toolbar
  • Log In