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   
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
This article is issued from Wikibooks. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.