rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Spreadsheet proof of arguments
  name:
    name part: Sullivan, John D.
    role:
      role term: creator
  name:
    name part: U.S. Army Research Laboratory
  type of resource: text
  genre: bibliography
  origin info:
    place:
      place term: mdu
    date issued: 2002
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (viii, 26, 4 pages) : illustrations
  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.
  note: John D. Sullivan.
  note: Title from title screen (viewed on March 10, 2011).
  note: "September 2002."
  note: Electronic resource.
  note: Approved for public release.
  note: Includes bibliographical references (page 23).
  note: Final; January 2000-June 2002.
  note: U.S. Army Research Laboratory, Weapons and Materials Research Directorate 28T8FC
  subject:
    topic: Algebra, Boolean
  subject:
    topic: Electronic spreadsheets
  subject:
    title info:
      title: Quattro pro
  subject:
    topic: Computer Programming and Software
  subject:
    topic: Tables(data)
  subject:
    topic: Spreadsheet software
  subject:
    topic: Validation
  subject:
    topic: Demonstrations
  subject:
    topic: Recall
  subject:
    topic: ARGUMENTS
  subject:
    topic: TRUTH TABLE
  classification: D 101.133:2815
  related item:
    title info:
      title: ARL-TR (Aberdeen Proving Ground, Md.) ; 2815
  identifier: https://purl.fdlp.gov/GPO/gpo4913
  access condition: Approved for public release.
  record info:
    record content source: DTICE
    record creation date: 080513
    record change date: 20211120161041.0
    record identifier: in00002651459
    language of cataloging:
      language term: eng