User:Duplode/Collections/Formal Logic

Formal Logic

 * 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