This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications – in mathematics, science, engineering, business, law, and so forth.

**Who is this class for:** The course was originally designed for use at the college level. However, experience has shown that it works for secondary school students as well, and it can be used at the start of graduate school for those who have not yet seen the material. There are just two prerequisites. The course presumes that the student understands sets and set operations, such as union, intersection, and so forth. It also presumes that the student is comfortable with symbolic manipulation, as used, for example, in solving high-school algebra problems. Nothing else is required.

### Syllabus

**WEEK 1**

Lesson 1 – Introduction

Graded: Exercise 1.1

Graded: Exercise 1.2

Graded: Exercise 1.3

Graded: Exercise 1.4

**WEEK 2**

Lesson 2 – Propositional Logic

Graded: Exercise 2.1

Graded: Exercise 2.2

Graded: Exercise 2.3

Graded: Exercise 2.4

Graded: Exercise 2.5

Graded: Exercise 2.6

Graded: Exercise 2.7

Lesson 3 – Propositional Analysis

Graded: Exercise 3.1

Graded: Exercise 3.2

Graded: Exercise 3.3

Graded: Exercise 3.4

Graded: Exercise 3.5

Graded: Exercise 3.6

**WEEK 3**

Lesson 4 – Propositional Proofs

Graded: Exercise 4.1

Graded: Exercise 4.2

Graded: Exercise 4.3

Graded: Exercise 4.4

Graded: Exercise 4.5

Graded: Exercise 4.6

Graded: Exercise 4.7

Graded: Exercise 4.8

Graded: Exercise 4.9

Graded: Exercise 4.10

Graded: Exercise 4.11

Graded: Exercise 4.12

Graded: Exercise 4.13

Graded: Exercise 4.14

**WEEK 4**

Lesson 5 – Propositional Resolution

Graded: Exercise 5.1

Graded: Exercise 5.2

Graded: Exercise 5.3

Graded: Exercise 5.4

**WEEK 5**

Lesson 6 – Relational Logic

Graded: Exercise 6.1

Graded: Exercise 6.2

Graded: Exercise 6.3

Graded: Exercise 6.4

Graded: Exercise 6.5

Graded: Exercise 6.6

Graded: Exercise 6.7

Lesson 7 – Relational Analysis

Graded: Exercise 7.1

Graded: Exercise 7.2

Graded: Exercise 7.3

**WEEK 6**

Lesson 8 – Relational Proofs

Graded: Exercise 8.1

Graded: Exercise 8.2

Graded: Exercise 8.3

Graded: Exercise 8.4

Graded: Exercise 8.5

Graded: Exercise 8.6

Graded: Exercise 8.7

Graded: Exercise 8.8

**WEEK 7**

Lesson 9 – Herbrand Logic

Graded: Exercise 9.1

Graded: Exercise 9.2

Graded: Exercise 9.3

Graded: Exercise 9.4

Graded: Exercise 9.5

**WEEK 8**

Lesson 10 – Herbrand Proofs

Lesson 11 – Induction

Graded: Exercise 11.1

Graded: Exercise 11.2

Graded: Exercise 11.3

Graded: Exercise 11.4

Graded: Exercise 11.5

Graded: Exercise 11.6

**WEEK 9**

Lesson 12 – Resolution

Graded: Exercise 12.1

Graded: Exercise 12.2

Graded: Exercise 12.3

Graded: Exercise 12.4

Graded: Exercise 12.5

Graded: Exercise 12.6

Graded: Exercise 12.7

Graded: Exercise 12.8

Graded: Exercise 12.9

Graded: Exercise 12.10

**WEEK 10**

Supplementary Material

ENROLL IN COURSE