Formal Logic

Written by volunteers and editors at
Wikibooks, A Wikimedia Foundation Project



An undergraduate college level textbook covering first order predicate logic with identity but omitting metalogical proofs.  


Recent Content Additions   edit
Preliminaries
  No recent additions.
Sentential Logic
  No recent additions.
Predicate Logic
  19 Apr 2006: New module: Satisfaction
  19 May 2006: New module: Truth

Detailed Contents

Brief Contents

  1. Preliminaries
  2. Sentential Logic
  3. Predicate Logic
  4. Identity Theory