Symbolic Logic: Syntax, Semantics, and Proof

Symbolic Logic: Syntax, Semantics, and Proof

By: David Agler (author)Paperback

Up to 2 WeeksUsually despatched within 2 weeks


Brimming with visual examples of concepts, derivation rules, and proof strategies, this introductory text is ideal for students with no previous experience in logic. Students will learn translation both from formal language into English and from English into formal language; how to use truth trees and truth tables to test propositions for logical properties; and how to construct and strategically use derivation rules in proofs.

About Author

David Agler is a lecturer in philosophy at the Pennsylvania State University.


Acknowledgments Introduction Chapter 1 Propositions, Arguments, and Logical Properties Chapter 2 Language, Syntax, and Semantics Chapter 3 Truth Tables Chapter 4 Truth Trees Chapter 5 Propositional Logic Derivations Chapter 6 Predicate Language, Syntax, and Semantics Chapter 7 Predicate Truth Trees Chapter 8 Predicate Logic Derivations Further Reading

Product Details

  • ISBN13: 9781442217423
  • Format: Paperback
  • Number Of Pages: 500
  • ID: 9781442217423
  • weight: 4513
  • ISBN10: 1442217421

Delivery Information

  • Saver Delivery: Yes
  • 1st Class Delivery: Yes
  • Courier Delivery: Yes
  • Store Delivery: Yes

Prices are for internet purchases only. Prices and availability in WHSmith Stores may vary significantly