User:Duplode/Collections/Formal Logic

This is a usergenerated collection of Wikibooks pages that can be easily saved, rendered electronically, and ordered as a printed book. If you are the creator of this collection and need help, see Help:Collections.  
[ Download PDF ] [ Open in Collection Creator ] [ Order Printed Book ]  
[ About ] [ FAQ ] [ Feedback ] [ Help ] [ Recent Changes ] 
Formal LogicEdit
 Frontispiece
 Preliminaries
 Preliminaries: Sets
 Sentential Logic
 Sentential Logic: Goals
 Sentential Logic: The Sentential Language
 Sentential Logic: Formal Syntax
 Sentential Logic: Informal Conventions
 Sentential Logic: Formal Semantics
 Sentential Logic: Truth Tables
 Sentential Logic: Validity
 Sentential Logic: Expressibility
 Sentential Logic: Properties of Sentential Connectives
 Sentential Logic: Substitution and Interchange
 Sentential Logic: Translations
 Sentential Logic: Derivations
 Sentential Logic: Inference Rules
 Sentential Logic: Constructing a Simple Derivation
 Sentential Logic: Subderivations and Discharge Rules
 Sentential Logic: Constructing a Complex Derivation
 Sentential Logic: Theorems
 Sentential Logic: Derived Inference Rules
 Sentential Logic: Disjunctions in Derivations
 Predicate Logic
 Predicate Logic: Goals
 Predicate Logic: The Predicate Language
 Predicate Logic: Formal Syntax
 Predicate Logic: Free and Bound Variables
 Predicate Logic: Informal Conventions
 Predicate Logic: Models
 Predicate Logic: Satisfaction
 Predicate Logic: Truth