Spreadsheet proof of arguments / John D. Sullivan.
| Author/creator | Sullivan, John D. |
| Other author | U.S. Army Research Laboratory. |
| Format | Electronic |
| Publication Info | Aberdeen Proving Ground, MD : U.S. Army Research Laboratory, [2002] |
| Description | 1 online resource (viii, 26, 4 pages) : illustrations. |
| Supplemental Content | http://purl.fdlp.gov/GPO/gpo4913 |
| Subjects |
| Series | ARL-TR ; 2815 ARL-TR (Aberdeen Proving Ground, Md.) ; 2815. ^A566074 |
| 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 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. |
| General note | Title from title screen (viewed on March 10, 2011). |
| General note | "September 2002." |
| Bibliography note | Includes bibliographical references (p. 23). |
| Access restriction | Approved for public release. |
| Report note | Final; January 2000-June 2002. |
| Funding information | U.S. Army Research Laboratory, Weapons and Materials Research Directorate 28T8FC |
| GPO item number | 0324-A-01 (online) |
| Govt. docs number | D 101.133:2815 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |