9781554812721-coverimage.jpg

Formal Logic

Formal Logic is an undergraduate text suitable for introductory, intermediate, and advanced courses in symbolic logic. The book?s nine chapters offer thorough coverage of truth-functional and quantificational logic, as well as the basics of more advanced topics such as set theory and modal logic. Complex ideas are explained in plain language that doesn?t presuppose any background in logic or mathematics, and derivation strategies are illustrated with numerous examples. Translations, tables, trees, natural deduction, and simple meta-proofs are taught through over 400 exercises. A companion website offers supplemental practice software and tutorial videos.

  • Add
    Acknowledgements
    Paul A. Gregory
    1 pages @ $0.10/page
    $0.10
  • Add
    Chapter 1: Informal Introduction
    Paul A. Gregory
    25 pages @ $0.10/page
    $2.50
  • Add
    Chapter 2: The Language S
    Paul A. Gregory
    40 pages @ $0.10/page
    $4.00
  • Add
    Chapter 3: Formal Semantics for S
    Paul A. Gregory
    34 pages @ $0.10/page
    $3.40
  • Add
    Chapter 4: SD: Natural Deduction in S
    Paul A. Gregory
    35 pages @ $0.10/page
    $3.50
  • Add
    Chapter 5: The Language P
    Paul A. Gregory
    57 pages @ $0.10/page
    $5.70
  • Add
    Chapter 6: Formal Semantics for P
    Paul A. Gregory
    36 pages @ $0.10/page
    $3.60
  • Add
    Chapter 7: PD: Natural Deduction in P
    Paul A. Gregory
    29 pages @ $0.10/page
    $2.90
  • Add
    Chapter 8: Basic Set Theory, Paradox, and Infinity
    Paul A. Gregory
    30 pages @ $0.10/page
    $3.00
  • Add
    Chapter 9: Modal Logic
    Paul A. Gregory
    35 pages @ $0.10/page
    $3.50
  • Add
    Appendice A: Answers to Exercises
    Paul A. Gregory
    87 pages @ $0.10/page
    $8.70
  • Add
    Appendice B: Glossary
    Paul A. Gregory
    20 pages @ $0.10/page
    $2.00
  • Add
    Appendice C: Truth Tables, Tree Rules, and Derivation Rules
    Paul A. Gregory
    9 pages @ $0.10/page
    $0.90