Extras Help Center Learn more.

Preface
  Sets, Functions, Relations
  Algebra - Khan Academy

Lesson 1 - Introduction
  Example - Alice in Wonderland
  Cartoon - Penguin Logic

Lesson 2 - Propositional Logic
  Cartoon - Making you Stronger
  Cartoon - Counterfactuals
  Cartoon - Honk

Lesson 3 - Logical Properties and Relationships
  Satisfiability
  Example - Whodunnit
  Example - Digital Circuits

Lesson 4 - Propositional Proofs
  Fitch Proofs - Worked out Examples

Lesson 6 - Relational Logic
  Building Relational Models
  Game - Minefinder
  Exercise - Satisfaction and Logical Entailment
  Cartoon - Logicians

Advanced Material
  Equality
  First-Order Logic
  Herbrand Manifesto

Puzzles
  Video - The Coins Puzzle

Created Sat 27 Sep 2014 12:41 AM CEST
Last Modified Mon 9 Nov 2015 10:02 PM CET