User:Haxonek/Collections/Formal Logic

Formal Logic

 * Formal Logic
 * Preliminaries
 * Sets
 * Sentential Logic
 * Goals
 * The Sentential Language
 * Formal Syntax
 * Informal Conventions
 * Formal Semantics
 * Truth Tables
 * Validity
 * Expressibility
 * Properties of Sentential Connectives
 * Substitution and Interchange
 * Translations
 * Derivations
 * Inference Rules
 * Constructing a Simple Derivation
 * Subderivations and Discharge Rules
 * Constructing a Complex Derivation
 * Theorems
 * Derived Inference Rules
 * Disjunctions in Derivations
 * Predicate Logic
 * Goals
 * The Predicate Language
 * Formal Syntax
 * Free and Bound Variables
 * Informal Conventions
 * Models
 * Satisfaction
 * Truth