Introduction to Logic

by

Michael Genesereth

PDFs, Slides, Notes, & Exercises by Michael Genesereth for this course

Introduction to Logic Coursera homepage with PDFs, Notes, Exercises

Lesson 1.1 - Introduction to Logic

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=2″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 1.2 - Elements of Logic

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=3″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 1.3 - Formalization

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=4″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 1.4 - Automation

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=12″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 1.5 - Study Guide

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=13″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 2.1 - Propositional Logic

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=5″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 2.2 - Syntax of Propositional Logic

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=6″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 2.3 - Semantics of Propositional Logic

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=7″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 2.4 - Satisfaction

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=8″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 2.5 - Properties of Sentences

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=9″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 2.6 - Logical Entailment

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=10″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 2.7 - The Big Game

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=11″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]
Tab content

Lesson 3.1 - Propositional Satisfiability

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=44″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 4.1 - Propositional Proofs

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=14″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 4.2 - Linear Proofs

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=15″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 4.3 - Structure Proofs

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=16″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 4.4 - Fitch

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=17″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 4.5 - Soundness & Completeness

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=18″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 5.1 - Propositional Resolution

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=19″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 5.2 - Clausal Form

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=20″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 5.3 - Resolution Principle

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=21″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 5.4 - Resolution Method

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=22″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 5.5 - Box Logic (out of focus)

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=23″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 6.1 - Relational Logic

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=24″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 6.2 - Syntax

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=25″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 6.3 - Semantics

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=26″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 6.4 - Example - Sorority World

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=27″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 6.5 - Example - Blocks World

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=28″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 6.6 - Example - Modular Arithmetic

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=29″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 6.7 - Example - Peano Arithmetic

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=30″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 6.8 - Example - Linked Lists

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=36″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 6.9 - Example - Pseudo-English

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=31″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 6.10 - Example - Metalevel Logic

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=35″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 6.11 - Properties of Sentences

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=37″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 6.12 - Logical Entailment

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=38″ poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 6.13 - (Optional) Finite Relation Logic

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=32″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 6.14 (Optional) Omega Relational Logic

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=33″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 6.15 (Optional) General Relational Logic

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=34″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 7.1 - Relational Logic Proofs

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=39″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 7.2 - Proofs

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=42″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 7.3 - Example

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=40″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 7.4 - Example

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=41″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 7.5 - Example - Quantifier and Implication

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=43″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 8.1 - Resolution

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=50″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 8.2 - Clausal Form

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=51″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 8.3 - Unification

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=52″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 8.4 - Resolution Principle

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=53″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 8.5 - Resolution Reasoning

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=54″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 8.6 - Unsatisfiability

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=55″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 8.7 - Logical Entailment

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=56″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 8.8 - Answer Extraction

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=57″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 9.1 - Induction

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=58″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 9.2 - Domain Closure

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=59″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 9.3 - Linear Induction

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=60″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 9.4 - Tree Induction

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=61″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 9.5 - Structural Induction

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=62″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 10.1 - Equality

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=238″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 10.2 - Properties of Equality

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=240″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 10.3 - Substitution

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=242″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 10.4 - Fitch & Equality

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=244″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Lesson 10.5 - More Examples

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=246″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Introduction

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=75″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Game Description

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=77″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Game Management

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=76″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

General Game Playing

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=78″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

Philosophical Remarks

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=79″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

International GGP Competition

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=80″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]

First Order Logic (a very brief introduction)

[videojs_video url=”https://class.coursera.org/intrologic-004/lecture/download.mp4?lecture_id=248″ preload=”none” poster=”https://confessionalbibliology.com/wp-content/uploads/2016/05/Screen-Shot-2016-05-27-at-2.48.46-PM-1.png”]