Spreadsheet proof of arguments /
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 a...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Government Document eBook |
| Language: | English |
| Published: |
Aberdeen Proving Ground, MD :
U.S. Army Research Laboratory,
[2002]
|
| Series: | ARL-TR (Aberdeen Proving Ground, Md.) ;
2815. |
| Subjects: | |
| Online Access: | https://purl.fdlp.gov/GPO/gpo4913 |
| Summary: | 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. |
|---|---|
| Item Description: | Title from title screen (viewed on March 10, 2011). "September 2002." Electronic resource. |
| Physical Description: | 1 online resource (viii, 26, 4 pages) : illustrations |
| Bibliography: | Includes bibliographical references (page 23). |
| Access: | Approved for public release. |