1. Home
  2. Bookmark Collection: logic programs

Bookmark Collection

logic programs

sites/ programs that might be useful for 151
Date Added to MERLOT:
July 28, 2006
Created by:
Craig Vasey
License:
creative-commonscreative-commons by
Share

Collection Content

  • Argumentation and Critical Thinking Tutorial
    Argumentation and Critical Thinking Tutorial (Tutorial)
    seems to emphasize enthymemes, and defines "major premise" differently than in terms of the major term. but could be... More
  • blogic: a web logic textbook
    blogic: a web logic textbook (Tutorial)
    blog logic circuits for "and" and "or" ; wff processor; interesting model; i like the wff processor exercises more than... More
  • Logic Toolbox
    Logic Toolbox (Drill and Practice)
    builds on hurley. has tests on building nat deduction proofs --something to look at when considering software
  • Truth Table Constructor
    Truth Table Constructor (Simulation)