Elements of Deductive Inference: An Introduction to Symbolic Logic

Bessie, Joseph; Glennan, Stuart

ISBN 10: 0534551211 / ISBN 13: 9780534551216

Editore: Cengage Learning, 1999

Riguardo questo articolo

The item shows wear from consistent use, but it remains in good condition and works perfectly. All pages and cover are intact including the dust cover, if applicable . Spine may show signs of wear. Pages may include limited notes and highlighting. May NOT include discs, access code or other supplemental materials.

Codice articolo BVV.0534551211.G

Dati bibliografici

• Titolo: Elements of Deductive Inference: An Introduction to Symbolic Logic
• Editore: Cengage Learning
• Data di pubblicazione: 1999
• Lingua: Inglese
• ISBN 10: 0534551211
• ISBN 13: 9780534551216
• Rilegatura: Rilegato
• Condizione: good

Descrizione articolo

Riassunto

The text covers elementary logic, from statement logic through relational logic with identity and function symbols. The authors acquaint students with formal techniques at a level appropriate for undergraduates, but extends far enough and deep enough into the subject that it is suitable for a brief first-year graduate course. The text covers full and brief truth tables, and presents the method of truth (consistency) trees and natural deduction for the whole of elementary logic. The text's organization allows instructors to cover just statement logic, or statement logic combined with various extensions into predicate logic: monadic logic with or without identity, or the preceding plus relational logic with or without identity and with or without function symbols. At each stage, the instructor may elect to pursue truth trees and/or natural deduction. A final chapter provides a perspective for further study and applications of logic. The text may be used with or without the accompanying software.

Product Description

Book by Bessie Joseph Glennan Stuart