An Introduction to Formal Logic
Forall x is an introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century analytic philosophy. After working through the material in this book, a student should be able to understand most quantified expressions that...
Saved in:
Main Author: | |
---|---|
Format: | Electronic eBook |
Language: | English |
Published: |
[Place of publication not identified]
Fecundity
[2012]
|
Series: | Open textbook library.
|
Subjects: | |
Online Access: | CONNECT |
Table of Contents:
- Chapter 1: What is logic?
- Chapter 2: Sentential logic
- Chapter 3: Truth tables
- Chapter 4: Quantified logic
- Chapter 5: Formal semantics
- Chapter 6: Proofs