Spreadsheet Proof of Arguments

Report No. ARL-TR-2815
Authors: John D. Sullivan
Date/Pages: September 2002; 29 pages
Abstract: This report describes the use of a spreadsheet to solve simple problems in prepositional logic. A spreadsheet can easily generate and recall truth tables, and with its built-in logical functions and connectives it can calculate the truth value of logic expressions. Expressions can also be premises and together with a conclusion constitute an argument, which can be shown valid with a truth table. This report covers the application of a spreadsheet to truth table generation, evaluation of logical expressions, recasting arguments into spreadsheet form, and demonstration of validity.
Distribution: Approved for public release
  Download Report ( 0.586 MBytes )
If you are visually impaired or need a physical copy of this report, please visit and contact DTIC.

Last Update / Reviewed: September 1, 2002