User:Duplode/Collections/Formal Logic
|
This is a user-generated 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 Logic
[edit | edit source]- 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