Book 2008

Elementary Logic

For Software Development

Authors:

ISBN: 978-1-84800-081-0 (Print) 978-1-84800-082-7 (Online)

Table of contents (20 chapters)

  1. Front Matter

    Pages i-xiv

  2. Language and Logical Form

    1. Front Matter

      Pages 1-1

    2. No Access

      Chapter

      Pages 3-12

      Atomic Statements

    3. No Access

      Chapter

      Pages 13-21

      Compound Statements

    4. No Access

      Chapter

      Pages 23-31

      Quantified Statements

    5. No Access

      Chapter

      Pages 33-40

      Expressing Arguments

    6. No Access

      Chapter

      Pages 41-52

      Defining Data Structures

    7. No Access

      Chapter

      Pages 53-66

      Expressing Problem Specifications

    8. No Access

      Chapter

      Pages 67-75

      Expressing Program Designs

  3. Material Truth

    1. Front Matter

      Pages 78-78

    2. No Access

      Chapter

      Pages 79-93

      Truth for Statements with at Most One Connective

    3. No Access

      Chapter

      Pages 95-104

      Truth for Statements with Multiple Connectives

    4. No Access

      Chapter

      Pages 105-112

      Tracing Program Execution

  4. Logical Truth

    1. Front Matter

      Pages 114-114

    2. No Access

      Chapter

      Pages 115-127

      Truth Functional Forms

    3. No Access

      Chapter

      Pages 129-138

      Truth Functional Properties of Program Designs

    4. No Access

      Chapter

      Pages 139-151

      Quantified Forms

    5. No Access

      Chapter

      Pages 153-164

      Logical Equivalence

    6. No Access

      Chapter

      Pages 165-179

      Logical Implication and Validity

    7. No Access

      Chapter

      Pages 181-188

      Rules of Inference

    8. No Access

      Chapter

      Pages 189-201

      Proof

    9. No Access

      Chapter

      Pages 203-209

      Algorithmic Unsolvability Proofs

    10. No Access

      Chapter

      Pages 211-231

      Program Correctness Proofs

    11. No Access

      Chapter

      Pages 233-239

      Above and Beyond this Book

  5. Back Matter

    Pages 241-313