Simple Formal Logic
with common-sense symbolic techniques
Arnold vander Nat
This section provides a program that instructs the user in the basic elements
of strategy for building a deduction for an argument, and, in addition, also
gives the user practice in learning the rules of deduction. The program gives
for each problem, as well as a score for the whole session.
to begin the program.
Copyright © 2009 Taylor & Francis Group plc