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

Jealous Husbands

Make Crossings

Jealous Husbands

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