Taylor's Library

Normal view MARC view ISBD view

Understanding symbolic logic / Virginia Klenk.

By: Klenk, Virginia, 1940-.
Publisher: Upper Saddle River, N.J. : Prentice Hall, c2002Edition: 4th ed.Description: xv, 447 p. : ill. ; 24 cm.ISBN: 0130201421.Subject(s): Logic, Symbolic and mathematicalDDC classification: 160
Contents:
Preface. - Pt. 1. Sentential logic. 1. Introduction logic. 2. The structure of sentential logic. 3. Computing truth value. 4. Symbolizing English sentences. 5. Truth tables for testing validity. 6. Further applications of the truth table method. 7. The proof method: eight basic inference rules. 8. Replacement rules. 9. Conditional proof and indirect proof. - Pt. 2. Monadic predicate logic. 10. Singular sentences. 11. Quantifiers. 12. Categorical propositions. 13. Complex subjects and predicates. 14. Quantifies form and truth-functional compounds of quantifier statements. 15. Proofs in predicate logic. 16. Invalidity in quantifier logic. - Pt. 3. Relational predicate logic. 17. Symbolization in relational predicate logic. 18. Proofs and invalidity for relational predicate logic. 19. Identity and definite descriptions. 20. Proofs involving identity. - Pt. 4. Extra credit units. 21. Well-formed formulas for sentential logic. 22. Polish notation for sentential logic. 23. Proof trees for sentential logic. 24. Using venn diagrams to prove validity. 25. Stroke (nand) and dagger (nor) operators. 26. Proof trees for predicate logic. - Answers to starred exercises. - Index.
Item type Current location Call number Copy number Status Notes Date due Barcode Remark
Main Collection TU External Storage-LCS
160 KLE (Browse shelf) 1 Available SOCIT,15009,03,GR 1000122848 Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1

Includes index.

Preface. - Pt. 1. Sentential logic. 1. Introduction logic. 2. The structure of sentential logic. 3. Computing truth value. 4. Symbolizing English sentences. 5. Truth tables for testing validity. 6. Further applications of the truth table method. 7. The proof method: eight basic inference rules. 8. Replacement rules. 9. Conditional proof and indirect proof. - Pt. 2. Monadic predicate logic. 10. Singular sentences. 11. Quantifiers. 12. Categorical propositions. 13. Complex subjects and predicates. 14. Quantifies form and truth-functional compounds of quantifier statements. 15. Proofs in predicate logic. 16. Invalidity in quantifier logic. - Pt. 3. Relational predicate logic. 17. Symbolization in relational predicate logic. 18. Proofs and invalidity for relational predicate logic. 19. Identity and definite descriptions. 20. Proofs involving identity. - Pt. 4. Extra credit units. 21. Well-formed formulas for sentential logic. 22. Polish notation for sentential logic. 23. Proof trees for sentential logic. 24. Using venn diagrams to prove validity. 25. Stroke (nand) and dagger (nor) operators. 26. Proof trees for predicate logic. - Answers to starred exercises. - Index.