Natural Deduction

74
Natural Deduction

description

Natural Deduction. Homework #1. ~(~P & ~Q). ~(~P & ~Q). ~(~P & ~Q). ~(~P & ~Q). ~(~P & ~Q). ~(~P & ~Q). ~(~P & ~Q). (~(~P & ~Q) ↔ (P v Q)). So “~(~P & ~Q)” has the same truth-table as “(P v Q).” Why is that? - PowerPoint PPT Presentation

Transcript of Natural Deduction

Page 1: Natural Deduction

Natural Deduction

Page 2: Natural Deduction

Homework #1

Page 3: Natural Deduction

~(~P & ~Q)

P Q ~ (~ P & ~ Q)T TT FF TF F

Page 4: Natural Deduction

~(~P & ~Q)

P Q ~ (~ P & ~ Q)T T TT F TF T FF F F

Page 5: Natural Deduction

~(~P & ~Q)

P Q ~ (~ P & ~ Q)T T T TT F T FF T F TF F F F

Page 6: Natural Deduction

~(~P & ~Q)

P Q ~ (~ P & ~ Q)T T F T TT F F T FF T T F TF F T F F

Page 7: Natural Deduction

~(~P & ~Q)

P Q ~ (~ P & ~ Q)T T F T F TT F F T T FF T T F F TF F T F T F

Page 8: Natural Deduction

~(~P & ~Q)

P Q ~ (~ P & ~ Q)T T F T F F TT F F T F T FF T T F F F TF F T F T T F

Page 9: Natural Deduction

~(~P & ~Q)

P Q ~ (~ P & ~ Q)T T T F T F F TT F T F T F T FF T T T F F F TF F F T F T T F

Page 10: Natural Deduction

(~(~P & ~Q) ↔ (P v Q))

So “~(~P & ~Q)” has the same truth-table as “(P v Q).” Why is that?

Suppose I say: “you didn’t do your homework and you didn’t come to class on time.” When is this statement false? When either you did your homework or you came to class on time.

Page 11: Natural Deduction

~(P → ~Q)

P Q ~ (P → ~ Q)T TT FF TF F

Page 12: Natural Deduction

~(P → ~Q)

P Q ~ (P → ~ Q)T T T TT F T FF T F TF F F F

Page 13: Natural Deduction

~(P → ~Q)

P Q ~ (P → ~ Q)T T T F TT F T T FF T F F TF F F T F

Page 14: Natural Deduction

~(P → ~Q)

P Q ~ (P → ~ Q)T T T F F TT F T T T FF T F T F TF F F T T F

Page 15: Natural Deduction

~(P → ~Q)

P Q ~ (P → ~ Q)T T T T F F TT F F T T T FF T F F T F TF F F F T T F

Page 16: Natural Deduction

(~(P → ~Q) ↔ (P & Q))

So “~(P → ~Q)” has the same truth-table as “(P & Q).” Why is that?

Suppose I say: “If you eat this spicy food, you will cry.” You might respond by saying “No, that’s not true: I will eat the spicy food and I will not cry.”

Page 17: Natural Deduction

(~P v Q)

P Q (~ P v Q)T TT FF TF F

Page 18: Natural Deduction

(~P v Q)

P Q (~ P v Q)T T T TT F T FF T F TF F F F

Page 19: Natural Deduction

(~P v Q)

P Q (~ P v Q)T T F T TT F F T FF T T F TF F T F F

Page 20: Natural Deduction

(~P v Q)

P Q (~ P v Q)T T F T T TT F F T F FF T T F T TF F T F T F

Page 21: Natural Deduction

((~P v Q) ↔ (P → Q))

So (~P v Q) has the same truth-table as (P → Q). Why is that?

Premise: Either I didn’t take my keys with me when I left home, or I lost them on the way to the office.Conclusion: Therefore, if I took them with me, I must have lost them on the way.

Page 22: Natural Deduction

((~P v Q) ↔ (P → Q))

So (~P v Q) has the same truth-table as (P → Q). Why is that?

Premise: If my mother remembers my birthday, I will get a letter in the mail.Conclusion: Therefore, either she won’t remember, or I’ll get a card.

Page 23: Natural Deduction

(((P → Q) → P) → P)

P Q (((P → Q) → P) → P)T TT FF TF F

Page 24: Natural Deduction

(((P → Q) → P) → P)

P Q (((P → Q) → P) → P)T T T T T TT F T F T TF T F T F FF F F F F F

Page 25: Natural Deduction

(((P → Q) → P) → P)

P Q (((P → Q) → P) → P)T T T T T T TT F T F F T TF T F T T F FF F F T F F F

Page 26: Natural Deduction

(((P → Q) → P) → P)

P Q (((P → Q) → P) → P)T T T T T T T TT F T F F T T TF T F T T F F FF F F T F F F F

Page 27: Natural Deduction

(((P → Q) → P) → P)

P Q (((P → Q) → P) → P)T T T T T T T T TT F T F F T T T TF T F T T F F T FF F F T F F F T F

Page 28: Natural Deduction

So “(((P → Q) → P) → P)” is always true. Why is that?

I’ll leave you to think about that. Later we’ll prove that it’s true.

Page 29: Natural Deduction

(P & (~Q & R))P Q R (P & (~ Q & R))T T TT T FT F TT F FF T TF T FF F TF F F

Page 30: Natural Deduction

(P & (~Q & R))P Q R (P & (~ Q & R))T T T T T TT T F T T FT F T T F TT F F T F FF T T F T TF T F F T FF F T F F TF F F F F F

Page 31: Natural Deduction

(P & (~Q & R))P Q R (P & (~ Q & R))T T T T F T TT T F T F T FT F T T T F TT F F T T F FF T T F F T TF T F F F T FF F T F T F TF F F F T F F

Page 32: Natural Deduction

(P & (~Q & R))P Q R (P & (~ Q & R))T T T T F T F TT T F T F T F FT F T T T F T TT F F T T F F FF T T F F T F TF T F F F T F FF F T F T F T TF F F F T F F F

Page 33: Natural Deduction

(P & (~Q & R))P Q R (P & (~ Q & R))T T T T F F T F TT T F T F F T F FT F T T T T F T TT F F T F T F F FF T T F F F T F TF T F F F F T F FF F T F F T F T TF F F F F T F F F

Page 34: Natural Deduction

(P & (~Q & R))P Q R (P & (~ Q & R))T T T T F F T F TT T F T F F T F FT F T T T T F T TT F F T F T F F FF T T F F F T F TF T F F F F T F FF F T F F T F T TF F F F F T F F F

Page 35: Natural Deduction

Problem #2a

P QT T TT F TF T FF F T

Page 36: Natural Deduction

With “→”

P Q (Q → P)T T TT F TF T FF F T

Page 37: Natural Deduction

With “v”

P Q (~Q v P)T T TT F TF T FF F T

Page 38: Natural Deduction

With “&”

P Q ~(Q & ~P)T T TT F TF T FF F T

Page 39: Natural Deduction

Problem #2b

P QT T FT F TF T TF F F

Page 40: Natural Deduction

Obvious Solution

P Q ~(P ↔ Q)T T FT F TF T TF F F

Page 41: Natural Deduction

Problem #2c

P QT T FT F FF T TF F F

Page 42: Natural Deduction

Opposite of #2a

P Q ~(Q → P)T T FT F FF T TF F F

Page 43: Natural Deduction

Another Good Solution

P Q (~P & Q)T T FT F FF T TF F F

Page 44: Natural Deduction

Problem #2d

P QT T TT F TF T TF F T

Page 45: Natural Deduction

Any Tautology Will Do

P Q (P v ~P)T T TT F TF T TF F T

Page 46: Natural Deduction

Problem #2e

P QT T TT F TF T TF F F

Page 47: Natural Deduction

You Should Have This Memorized

P Q (P v Q)T T TT F TF T TF F F

Page 48: Natural Deduction

TRUTH-TABLES AND VALIDITY

Page 49: Natural Deduction

The Truth-Table Test for Validity

We know that an argument is deductively valid when we know that if it is true, then its conclusion must be true.

We can use truth-tables to show that certain arguments are valid.

Page 50: Natural Deduction

The Test

Suppose we want to show that the following argument is valid:

(P → Q) ~QTherefore, ~P

We begin by writing down all the possible truth-values for the sentence letters in the argument.

Page 51: Natural Deduction

Write Down All the Possibilities

P QT TT FF TF F

Page 52: Natural Deduction

Write Truth-Table for Premises

P Q (P → Q) ~QT T T FT F F TF T T FF F T T

Page 53: Natural Deduction

Write Truth-Table for Conclusion

P Q (P → Q) ~Q ~PT T T F FT F F T FF T T F TF F T T T

Page 54: Natural Deduction

Look at Lines Where Premises are True

P Q (P → Q) ~Q ~PT T T *F FT F *F T FF T T *F TF F T T T

Page 55: Natural Deduction

DERIVATIONS

Page 56: Natural Deduction

The Parts of a Derivation

1 1. (A & D) A2 2. (A → (B & C)) A1 3. A 1 &E1,2 4. (B & C) 2,3 →E1,2 5. C 4 &E

Page 57: Natural Deduction

Derived WFFs

1 1. (A & D) A2 2. (A → (B & C)) A1 3. A 1 &E1,2 4. (B & C) 2,3 →E1,2 5. C 4 &E

Page 58: Natural Deduction

Derived WFFs

A derivation proceeds in stages. Each stage involves writing a new WFF that we have proven. We number each of the stages (1, 2, …).

Page 59: Natural Deduction

Rules of Inference

1 1. (A & D) A2 2. (A → (B & C)) A1 3. A 1 &E1,2 4. (B & C) 2,3 →E1,2 5. C 4 &E

Page 60: Natural Deduction

Rules of Inference

Whenever we write a new WFF that we have proven, we write the justification out to the right of the WFF. This justification includes: the name of the logical rule we used to prove the WFF, and the previous stages of the derivation that were needed by the rule (if any).

Page 61: Natural Deduction

Dependencies

1 1. (A & D) A2 2. (A → (B & C)) A1 3. A 1 &E1,2 4. (B & C) 2,3 →E1,2 5. C 4 &E

Page 62: Natural Deduction

Dependencies

To the left of each stage we write the “dependencies.” So for example,

1,2 4. (B & C) 2,3 →E

This line says that in stage #4 we proved the WFF “(B & C),” using the rule →E on lines 2 and 3. But we have only proved (B & C) assuming that 1 and 2 are true.

Page 63: Natural Deduction

The Rule of Assumption: A

Assumption is the easiest rule to learn. It says at any stage in the derivation, we may write down any WFF we want to. That WFF only depends on itself. For example, on line 57 we might write:

57 57. (((P ↔ (A & B)) → ~~~R) A

Page 64: Natural Deduction

Turnstile

The proper way to read this is “line 57 is provable from line 57” or “On the assumption that (((P ↔ (A & B)) → ~~~R) it can be proved that (((P ↔ (A & B)) → ~~~R).”

We can re-write any line to state preciesely what we have proved. Line 57 would be:(((P↔(A & B))→~~~R) Ⱶ (((P↔(A & B))→~~~R)

Page 65: Natural Deduction

&-Elimination: &E

&E is also a very easy-to-learn rule.

If we have proved (φ & ψ) on some line, then on any future line we may write down φ, and on any future line we may write down ψ. The result depends on everything (φ & ψ) depended on.

Page 66: Natural Deduction

Example

1,2 4. (B & C) 2,3 →E1,2 5. C 4 &E

On Line 4 we have proved “(B & C)”

Page 67: Natural Deduction

Example

1,2 4. (B & C) 2,3 →E1,2 5. C 4 &E

So on line 5 (or any future line) we can write down C.

Page 68: Natural Deduction

Example

1,2 4. (B & C) 2,3 →E1,2 5. C 4 &E

Since the rule we used in arriving at 5 was &E applied to line 4, we write down “4 &E” as our justification.

Page 69: Natural Deduction

Example

1,2 4. (B & C) 2,3 →E1,2 5. C 4 &E

Finally, the rule &E says the result (line 5) depends on everything the original conjunction depended on. Since line 4 depends on 1 and 2, we write “1,2” to the left of line 5.

Page 70: Natural Deduction

Arrow Elimination: →E

The →E rule says that if on one line we have a conditional (φ → ψ) and on another line we have the antecedent of the conditional φ then on any future line, we may write down the consequent of the conditional ψ depending on everything (φ → ψ) and φ depended on.

Page 71: Natural Deduction

Example

2 2. (A → (B & C)) A1 3. A 1 &E1,2 4. (B & C) 2,3 →E

On line 2 we have a conditional “(A → (B & C)),” and on line 3 we have its antecedent, “A.”

Page 72: Natural Deduction

Example

2 2. (A → (B & C)) A1 3. A 1 &E1,2 4. (B & C) 2,3 →E

So on line 4 we can write its consequent “(B&C).”

Page 73: Natural Deduction

Example

2 2. (A → (B & C)) A1 3. A 1 &E1,2 4. (B & C) 2,3 →E

Since the rule we used on line 4 was →E applied to lines 2 and 3, we write down “2,3 →E” to the right of 4.

Page 74: Natural Deduction

Example

2 2. (A → (B & C)) A1 3. A 1 &E1,2 4. (B & C) 2,3 →E

Finally, since line 2 depends on line 2, and line 3 depends on line 1, line 4 depends on lines 1 and 2. We copy those numbers to the left of 4.