http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
1 online resource (viii, 26, 4 pages) : illustrations
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 ft 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.
Title from title screen (viewed on March 10, 2011).
Includes bibliographical references (page 23).
U.S. Army Research Laboratory, Weapons and Materials Research Directorate 28T8FC
ARL-TR (Aberdeen Proving Ground, Md.) ; 2815