# Logic

- Last updated

- Save as PDF

- Page ID
- 2805

[ "article:topic-category" ]

- Map: An Introduction to Formal Logic (Magnus)
- Map: A Modern Formal Logic Primer (Teller)
- Preface: A Guide to the Primer
- Volume I: Sentence Logic
- 1: Basic Ideas and Tools
- 2: Transciption Between English and Sentence Logic
- 3: Logical Equivalence, Logical Truths, and Contradictions
- 4: Validity and Conditionals
- 5: Natural Deduction for Sentence Logic - Fundamentals
- 6: Natural Deduction for Sentence Logic - Strategies
- 7: Natural Deduction for Sentence Logic - Derived Rules & Derivations without Premises
- 8: Truth Trees for Sentence Logic - Fundamentals
- 9: Truth Trees for Sentence Logic - Applications

- Volume II: Predicate Logic
- 1: Predicate Logic - Syntax
- 2: Predicate Logic - Semantics and Validity
- 3: More about Quantifiers
- 4: Transcription
- 5: Natural Deduction for Predicate Logic - Fundamentals
- 6: More on Natural Deduction for Predicate Logic
- 7: Truth Trees for Predicate Logic - Fundamentals
- 8: More on Truth Trees for Predicate Logic
- 9: Identity, Functions, and Definite Descriptions
- 10: Metatheory - The Basic Concepts
- 11: Mathematical Induction
- 12: Soundness and Completeness for Sentence Logic Tree
- 13: Soundness and Completeness for Sentence Logic Derivation
- 14: Compactness, and Generalization to Infinite Sets of Premises
- 15: Interpretations, Soundness, and Completeness for Predicate Logic

Tue, 13 Jun 2017 15:58:11 GMT

Logic

Logic is the study of the methods and principles of reasoning. An argument is a set of facts or assumptions, called premises, used to support a conclusion. For a logical argument to be valid, it is the case that, if the premises are true then the conclusion must be true.

*Thumbnail: Diagrammatic representation of computer logic gates. Image used with permission (GFDL; HereToHelp).*