Unit 2: Logic

Unit 2 Practice Problems

In order to really learn the material, you need to practice!

Lesson 1 - Logic and the Art of Knowing

In this lesson we look at how logic can help us get at truth.

Lesson 2 - An Introduction to Arguments

In this lesson we look at the difference between inductive and deductive arguments and learn about what it means for an argument to be valid and sound.

Lesson 3 - Conditionals

In this lesson we'll learn about the different forms of conditional statements.

Lesson 4 - Argument Structures

In this lesson we'll look at some structures of arguments and discuss whether they are valid or invalid.

Lesson 5 - Argument and Proof

In this lesson we'll look at the basics of how argument leads to proof.

For this video, watch the first 28 minutes. The language is a bit academic, since it is a presentation at an academic conference, but the thing to take from it is the prover/skeptic model. The rest of the video, after 28 minutes, is optional.

Lesson 6 - Types of Proof

In this lesson we'll explore some different approaches to creating a proof, and some pitfalls to avoid. [Cover proof by contradiction and circular argument]

Lesson 7 - Introduction to Axiomatic Systems

In this lesson we'll consider the relationship between logic, proof and truth and introduce the concept of axiomatic systems. After introducing the concept of an axiomatic system, we'll connect it to our goal of proving the angle sum of a triangle.

Practice Quiz

Practice Quiz

Practice Quiz Solutions (Solutions to the first three proofs are in the video below)

-end-