Free

# forall x

By P.D. Magnus

Free

The publisher has enabled DRM protection, which means that you need to use the BookFusion iOS, Android or Web app to read this eBook. This eBook cannot be used outside of the BookFusion platform.

Book Description

Table of Contents

- What is logic?
- Arguments
- Sentences
- Two ways that arguments can go wrong
- Deductive validity
- Other logical notions
- Formal languages
- Practice Exercises

- Sentential logic
- Sentence letters
- Connectives
- Other symbolization
- Sentences of SL
- Practice Exercises

- Truth tables
- Truth-functional connectives
- Complete truth tables
- Using truth tables
- Partial truth tables
- Practice Exercises

- Quantified logic
- From sentences to predicates
- Building blocks of QL
- Quantifiers
- Translating to QL
- Sentences of QL
- Identity
- Practice Exercises

- Formal semantics
- Semantics for SL
- Interpretations and models in QL
- Semantics for identity
- Working with models
- Truth in QL
- Practice Exercises

- Proofs
- Basic rules for SL
- Derived rules
- Rules of replacement
- Rules for quantifiers
- Rules for identity
- Proof strategy
- Proof-theoretic concepts
- Proofs and models
- Soundness and completeness
- Practice Exercises

- Other symbolic notation
- Solutions to selected exercises
- C Quick Reference

You May Also Like