2012

Logic: A Brief Course

Authors:

ISBN: 978-88-470-2360-4 (Print) 978-88-470-2361-1 (Online)

Table of contents (17 chapters)

  1. Front Matter

    Pages I-XI

    Download PDF (130KB)

  2. Propositional Logic

    1. Front Matter

      Pages 1-1

      Download PDF (14KB)

    2. No Access

      Book Chapter

      Pages 3-6

      Introduction

      Look Inside Get Access

    3. No Access

      Book Chapter

      Pages 7-11

      Fundamental Logical Notions

      Look Inside Get Access

    4. No Access

      Book Chapter

      Pages 13-17

      The Resolution Method

      Look Inside Get Access

    5. No Access

      Book Chapter

      Pages 19-26

      Robinson’s Completeness Theorem

      Look Inside Get Access

    6. No Access

      Book Chapter

      Pages 27-30

      Fast Classes for DPP

      Look Inside Get Access

    7. No Access

      Book Chapter

      Pages 31-34

      Gödel’s Compactness Theorem

      Look Inside Get Access

    8. No Access

      Book Chapter

      Pages 35-39

      Propositional Logic: Syntax

      Look Inside Get Access

    9. No Access

      Book Chapter

      Pages 41-46

      Propositional Logic: Semantics

      Look Inside Get Access

    10. No Access

      Book Chapter

      Pages 47-51

      Normal Forms

      Look Inside Get Access

    11. No Access

      Book Chapter

      Pages 53-54

      Recap: Expressivity and Efficiency

      Get Access

  3. Predicate Logic

    1. Front Matter

      Pages 55-55

      Download PDF (14KB)

    2. No Access

      Book Chapter

      Pages 57-61

      The Quantifiers “There Exists” and “For All”

      Look Inside Get Access

    3. No Access

      Book Chapter

      Pages 63-69

      Syntax of Predicate Logic

      Look Inside Get Access

    4. No Access

      Book Chapter

      Pages 71-78

      The Meaning of Clauses

      Look Inside Get Access

    5. No Access

      Book Chapter

      Pages 79-88

      Gödel’s Completeness Theorem for the Logic of Clauses

      Look Inside Get Access

    6. No Access

      Book Chapter

      Pages 89-93

      Equality Axioms

      Look Inside Get Access

    7. No Access

      Book Chapter

      Pages 95-116

      The Predicate Logic L

      Look Inside Get Access

    8. No Access

      Book Chapter

      Pages 117-120

      Final Remarks

      Look Inside Get Access

  4. Back Matter

    Pages 121-130

    Download PDF (81KB)