Tag: reductio ad absurdum

Baby Logic Practice 2: Derive the Conclusions Using Reductio

Difficulty: What the hell

Today’s baby logic practice is on reductio ad absurdum, also known as indirect proof. The basic idea is simple: if assuming the opposite of what you want to prove leads to a contradiction, then the thing you wanted to prove must be true.

So, for each of the following exercises, derive the indicated conclusion using reductio. No quantifiers. No modal logic. No funny business. Just contradiction, negation, and a little patience.

Exercise 1

1. P → Q

2. P

3. ¬Q

∴ ¬P

Exercise 2

1. P ∨ Q

2. ¬P

∴ Q

Exercise 3

1. (P ∧ Q) → R

2. P

3. ¬R

∴ ¬Q

Exercise 4

1. P → Q

2. Q → R

3. ¬R

∴ ¬P

Exercise 5

1. P → (Q ∨ R)

2. ¬Q

3. ¬R

∴ ¬P

Exercise 6

1. P ↔ Q

2. ¬Q

∴ ¬P

Exercise 7

1. P ∨ Q

2. P → R

3. Q → R

4. ¬R

∴ ¬P ∧ ¬Q

Exercise 8

1. (P ∨ Q) → R

2. ¬R

∴ ¬P

In some of these, reductio will feel a little artificial because there are quicker ways to get the conclusion. Too bad. The point today is to practice reductio, not to be efficient.

I’ll probably post the answers tomorrow. Have fun.