Hypercards Help Center Learn more.

Chapter 1 - Introduction
  1.1 Introduction
  1.2 Elements of Logic
  1.3 Formalization
  1.4 Automation
  1.5 Reading Guide
 
Chapter 2 - Propositional Logic
  2.1 Introduction
  2.2 Syntax
  2.3 Semantics
  2.4 Evaluation
  2.5 Satisfaction
  2.6 Example - Natural Language
  2.7 Example - Digital Circuits
 
Chapter 3 - Logical Properties
  3.1 Introduction
  3.2 Logical Properties
  3.3 Logical Equivalence
  3.4 Logical Entailment
  3.5 Logical Consistency
  3.6 Properties and Relationships
 
Chapter 4 - Propositional Proofs
  4.1 Introduction
  4.2 Linear Reasoning
  4.3 Hypothetical Reasoning
  4.4 Fitch
  4.5 Reasoning Tips
  4.6 Soundness and Completeness
 
Chapter 5 - Propositional Resolution
  5.1 Introduction
  5.2 Clausal Form
  5.3 Resolution Principle
  5.4 Resolution Reasoning
 
Chapter 6 - Relational Logic
  6.1 Introduction
  6.2 Syntax
  6.3 Semantics
  6.4 Evaluation
  6.5 Satisfaction
  6.6 Sorority World
  6.7 Blocks World
  6.8 Modular Arithmetic
  6.9 Logical Properties
  6.10 Logical Entailment
  6.11 Relational Logic and Propositional Logic
 
Chapter 7 - General Relational Logic
  7.1 Introduction
  7.2 Syntax and Semantics
  7.3 Evaluation and Satisfaction
  7.4 Peano Arithmetic
  7.5 Linked Lists
  7.6 Pseudo English
  7.7 Metalevel Logic
  7.8 Undecidability
 
Chapter 8 - Relational Proofs
  8.1 Introduction
  8.2 Proofs
  8.3 Example
  8.4 Example
  8.5 Example
 
Chapter 9 - Relational Resolution
  9.1 Introduction
  9.2 Clausal Form
  9.3 Unification
  9.4 Resolution Principle
  9.5 Resolution Reasoning
  9.6 Unsatisfiability
  9.7 Logical Entailment
  9.8 Answer Extraction
  9.9 Strategies
 
Chapter 10 - Induction
  10.1 Introduction
  10.2 Domain Closure
  10.3 Linear Induction
  10.4 Tree Induction
  10.5 Structured Induction
  10.6 Multidimensional Induction
  10.7 Embedded Induction
Created Fri 23 Oct 2015 8:29 PM CEST
Last Modified Mon 16 Nov 2015 8:14 AM CET