From Wikibooks, open books for an open world
Jump to: navigation, search
Formal Logic

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

Loupe light.svg



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