Introduction to Logic

Introduction to Logic

Tools
for
Thought

This page contains links to exercises relevant to the course. It includes the numbered exercises mentioned in the individual lessons (in the first two columns) as well as extras from the lessons and additional exercises (in the third and fourth columns). All of the exercises give automatic feedback on your work (in the form of checks and exes or equivalent). In addition, all have "Show Answer" buttons, but you should try your best to answer the questions on your own before looking at our answers.

Lesson 1 - Introduction

Exercise 1.1
Exercise 1.2
Exercise 1.3
Exercise 1.4

Exercise 1.5
Exercise 1.6
Exercise 1.7

Lesson 2 - Propositional Logic

Exercise 2.1
Exercise 2.2
Exercise 2.3
Exercise 2.4

Exercise 2.5
Exercise 2.6
Exercise 2.7

Lesson 3 - Propositional Analysis

Exercise 3.1
Exercise 3.2
Exercise 3.3
Exercise 3.4

Exercise 3.5
Exercise 3.6

Lesson 4 - Direct Proofs

Exercise 4.1
Exercise 4.2
Exercise 4.3
Exercise 4.4
Exercise 4.5

Implication Reversal

Lesson 5 - Natural Deduction

Exercise 5.1
Exercise 5.2
Exercise 5.3
Exercise 5.4
Exercise 5.5
Exercise 5.6
Exercise 5.7

Exercise 5.8
Exercise 5.9
Exercise 5.10
Exercise 5.11
Exercise 5.12
Exercise 5.13
Exercise 5.14

Conclusion Introduction
Condition Introduction
Condition Reversal
Modus Tollens
Disjunction
Implication Creation
Implication Distribution
Implication Reduction

Lesson 6 - Resolution Proofs

Exercise 6.1
Exercise 6.2
Exercise 6.3
Exercise 6.4

Lesson 7 - Relational Logic

Exercise 7.1
Exercise 7.2
Exercise 7.3
Exercise 7.4

Lesson 8 - Relational Analysis

Exercise 8.1
Exercise 8.2
Exercise 8.3

Problem 8.1
Problem 8.2

Lesson 9 - Model Checking

Exercise 9.1
Exercise 9.2
Exercise 9.3

Tracks

Lesson 10 - Fitch Proofs

Exercise 10.1
Exercise 10.2
Exercise 10.3
Exercise 10.4
Exercise 10.5

Exercise 10.6
Exercise 10.7
Exercise 10.8
Exercise 10.9
Exercise 10.10

Problem 10.1
Problem 10.2
Problem 10.3

Existential Distribution
Existential Universal
Universal Implication
Universal Reversal

Lesson 11 - Functional Logic

Exercise 11.1
Exercise 11.2
Exercise 11.3
Exercise 11.4
Exercise 11.5

Lesson 12 - Fitch Proofs

Exercise 12.1
Exercise 12.2

Lesson 13 - Induction

Exercise 13.1
Exercise 13.2
Exercise 13.3
Exercise 13.4

Exercise 13.5
Exercise 13.6

Lesson 14 - Resolution

Exercise 14.1
Exercise 14.2
Exercise 14.3
Exercise 14.4
Exercise 14.5

Exercise 14.6
Exercise 14.7
Exercise 14.8
Exercise 14.9
Exercise 14.10

Lesson 15 - Equality

Exercise 15.1
Exercise 15.2
Exercise 15.3
Exercise 15.4
Exercise 15.5