Formal Logic

From Wikibooks, the open-content textbooks collection

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