دانلود کتاب A Modern Formal Logic Primer: Sentence Logic + Predicate Logic

فهرست مطالب :

Preface to Volumes I and II: A Guide to the Primer

VOLUME 1
========
Table of Contents Volume I
Solutions Manual for Volume 1
Chapter 1, Basic Ideas and Tools
Chapter 2, Transcription between English and Sentence Logic
Chapter 3, Logical Equivalence, Logical Truths, and Contradictions
Chapter 4, Validity and Conditionals
Chapter 5, Natural Deduction for Sentence Logic: Fundamentals
Chapter 6, Natural Deduction for Sentence Logic: Strategies
Chapter 7, Natural Deduction for Sentence Logic: Derived Rules and Derivations without Premises
Chapter 8, Truth Tree for Sentence Logic: Fundamentals
Chapter 9, Truth Trees for Sentence Logic: Applications
Index for Volume 1

VOLUME 2
========
Table of Contents to Volume II
Introduction to Predicate Logic Notes
Solutions Manual for Volume II
Chapter 1, Predicate Logic: Syntax
Chapter 2, Predicate Logic: Semantics and Validity
Chapter 3, More about QuantifiersYou are here: Home / Logic Primer Files
Chapter 4, Transcription
Chapter 5, Natural Deduction for Predicate Logic: Fundamentals
Chapter 6, More on Natural Deduction for Predicate Logic
Chapter 7, Truth Tress for Predicate Logic: Fundamentals
Chapter 8, More on Truth Tress for Predicate Logic
Chapter 9, Identity, Functions, and Definite Descriptions
Chapter 10, Metatheory: The Basic Concepts
Chapter 11, Mathematical Induction
Chapter 12, Soundness and Completeness for Sentence Logic Trees
Chapter 13, Soundness and Completeness for Sentence Logic Derivations
Chapter 14, Koenig\'s Lemma, Compactness, and Generalization to Infinite Sets of Premises
Chapter 15, Interpretations, Soundness, and Completeness for Predicate Logic
Diagrammatic Summary of Rules
Corrections to the Text
Index for Volume II