Written by volunteers and editors at
Wikibooks,
A Wikimedia Foundation Project
| Formal Logic is a featured book on Wikibooks because it contains substantial content, it is well-formatted, and the Wikibooks community has decided to feature it on the main page or in other places. Please continue to improve it and thanks for the great work so far! You can edit its advertisement template. |
| An undergraduate college level textbook covering first order predicate logic with identity but omitting metalogical proofs. |
| Recent Content Additions | |
|---|---|
| Preliminaries | |
| No recent additions. | |
| Sentential Logic | |
| No recent additions. | |
| Predicate Logic | |
| 19 Apr 2006: New module: Satisfaction | |
| 19 May 2006: New module: Truth | |
Brief Contents
- Preliminaries
- Sentential Logic
- Predicate Logic
- Identity Theory