Spreadsheet Proof of Arguments

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 2002
Accession Number
ADA406607

Entities

People

  • John D. Sullivan

Organizations

  • United States Army Research Laboratory

Tags

Communities of Interest

  • C4I
  • Weapons Technologies

DTIC Thesaurus Topics

  • Boolean Algebra
  • Circuits
  • Demographic Cohorts
  • Demonstrations
  • Electrical Engineering
  • Engineering
  • Fuzzy Logic
  • Logic
  • Materials
  • Military Research
  • Natural Languages
  • Probability
  • Rural Areas
  • Spreadsheet Software
  • Switches
  • Test And Evaluation
  • Word Processors

Fields of Study

  • Philosophy

Readers

  • Approximation Theory.
  • Artificial Intelligence
  • Database Systems and Applications