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

  2. Propositional Logic

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-6

      Introduction

    3. No Access

      Book Chapter

      Pages 7-11

      Fundamental Logical Notions

    4. No Access

      Book Chapter

      Pages 13-17

      The Resolution Method

    5. No Access

      Book Chapter

      Pages 19-26

      Robinson’s Completeness Theorem

    6. No Access

      Book Chapter

      Pages 27-30

      Fast Classes for DPP

    7. No Access

      Book Chapter

      Pages 31-34

      Gödel’s Compactness Theorem

    8. No Access

      Book Chapter

      Pages 35-39

      Propositional Logic: Syntax

    9. No Access

      Book Chapter

      Pages 41-46

      Propositional Logic: Semantics

    10. No Access

      Book Chapter

      Pages 47-51

      Normal Forms

    11. No Access

      Book Chapter

      Pages 53-54

      Recap: Expressivity and Efficiency

  3. Predicate Logic

    1. Front Matter

      Pages 55-55

    2. No Access

      Book Chapter

      Pages 57-61

      The Quantifiers “There Exists” and “For All”

    3. No Access

      Book Chapter

      Pages 63-69

      Syntax of Predicate Logic

    4. No Access

      Book Chapter

      Pages 71-78

      The Meaning of Clauses

    5. No Access

      Book Chapter

      Pages 79-88

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

    6. No Access

      Book Chapter

      Pages 89-93

      Equality Axioms

    7. No Access

      Book Chapter

      Pages 95-116

      The Predicate Logic L

    8. No Access

      Book Chapter

      Pages 117-120

      Final Remarks

  4. Back Matter

    Pages 121-130