User:Cj2kf/Collections/Formal Logic 20150124

Formal Logic

 * Formal Logic


 * 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