The Logic Book by Merrie Bergmann
A clear, student-oriented introduction to formal logic that develops both propositional and predicate systems through definitions, examples, and structured exercises; it explains syntax and semantics, truth tables, tableau and natural deduction proof techniques, methods for translating ordinary-language arguments into formal notation, and key metatheoretical results (soundness, completeness, and decidability) while emphasizing strategies for constructing and evaluating formal proofs and arguments.
- Published
- Unknown
- Nationality
- American
- Length
- Unknown
- Pages
- Unknown
- Original Language
- English
- Avg User Rating
- No ratings yet
- Alternate Titles
- None
This book is not currently on any lists.