User:Haxonek/Collections/Formal Logic
Jump to navigation
Jump to search
|
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]
- 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