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

TOPICS “HOW-TO” PREVIEW VIDEOS APPLETS
State-Transition Problems
Dogs and Cats Make Crossings Dogs and Cats
Water Jugs Transfer Water Water Jugs
River Crossings Make Crossings River Crossings
Towers of Hanoi Move Discs Towers of Hanoi
Last One Loses Remove Items Last One Loses
Eight Tiles Move Tiles Eight Tiles
Propositional Logic
Truth Functional Analysis Make Evaluations Truth Functions
Rules of Transition Practice Rule Application Justified Thought
Proof Construction Work Forwards (WF)
Work Backwards (WB)
WB with ADD
Apply Replacement Rules

 

Deep Thought

Translation Represent Statements Translation
Statement Reformulation Reformulate as Conditionals Statement Reformulation
Premises & Conclusions Identify Premises/Conclusions Premises & Conclusions
Other
Wason Selection Task
Phi Phenomenon
Help
Running Applets
Grading and Certificates

 

Skip to toolbar
  • Log In