PHIL12A Section answers, 28 Feb 2011

advertisement
PHIL12A
Section answers, 28 Feb 2011
Julian Jonker
1
How much do you know?
Give formal proofs for the following arguments.
1. (Ex 6.18)
1
A∨B
2
A ∨ ¬¬B
Proof:
1
A∨B
2
A
3
A ∨ ¬¬B
4
B
∨Elim: 2
5
¬B
6
⊥
⊥Intro: 4,5
7
¬¬B
¬Intro: 5-6
8
A ∨ ¬¬B
∨Intro: 7
9
A ∨ ¬¬B
∨Elim: 1, 2-3, 4-8
1
2. (Ex 6.25)
1
¬A ∧ ¬B
2
¬(A ∨ B)
Proof:
1
¬A ∧ ¬B
2
A∨B
3
A
4
¬A
∧Elim: 1
5
⊥
⊥Intro: 3,4
6
B
7
¬B
∧Elim: 1
8
⊥
⊥Intro: 6,7
9
10
⊥
∨Elim: 2, 3-5, 6-8
¬(A ∨ B)
2
¬Intro: 2, 3-9
3. (Ex 6.27)
1
(A ∧ B) ∨ (C ∧ D)
2
(B ∧ C) ∨ (D ∧ E)
3
C ∨ (A ∧ E)
Proof:
1
(A ∧ B) ∨ (C ∧ D)
2
(B ∧ C) ∨ (D ∧ E)
3
(A ∧ B)
4
A
∧Elim: 3
5
(B ∧ C)
6
C
∧Elim: 5
7
C ∨ (A ∧ E)
∨Intro: 6
8
D∧E
9
E
∧Elim: 8
10
A∧E
∧Intro: 4, 9
11
C ∨ (A ∧ E)
∨Intro: 10
12
C ∨ (A ∧ E)
13
C ∧D
14
C
∧Elim: 13
15
C ∨ (A ∧ E)
∨Intro: 14
16
∨Elim: 2, 5-7, 8-11
C ∨ (A ∧ E)
∨Elim: 1, 3-12, 13-15
3
4.
1
A ∨ (B ∧ (C ∨ D))
2
(A ∨ (B ∧ C)) ∨ (A ∨ (B ∧ D))
Proof:
1
A ∨ (B ∧ (C ∨ D))
2
A
3
A ∨ (B ∧ C)
∨Intro: 2
4
(A ∨ (B ∧ C)) ∨ (A ∨ (B ∧ D))
∨Intro: 3
5
B ∧ (C ∨ D)
6
C ∨D
7
C
8
B
∧Elim: 5
9
B∧C
∧Intro: 7, 8
10
A ∨ (B ∧ C)
∨Intro: 9
11
(A ∨ (B ∧ C)) ∨ (A ∨ (B ∧ D))
∨Intro: 10
12
D
13
B
∧Elim: 5
14
B∧D
∧Intro: 12, 13
15
A ∨ (B ∧ D)
∨Intro: 14
16
(A ∨ (B ∧ C)) ∨ (A ∨ (B ∧ D))
∨Intro: 15
17
18
∧Elim: 5
(A ∨ (B ∧ C)) ∨ (A ∨ (B ∧ D))
(A ∨ (B ∧ C)) ∨ (A ∨ (B ∧ D))
4
∨Elim: 6, 7-11, 12-16
∨Elim: 1, 2-4, 5-17
5.
1
A ∨ (B ∨ C)
2
¬(A ∨ B)
3
¬(¬C ∧ D)
Proof:
1
A ∨ (B ∨ C)
2
¬(A ∨ B)
3
¬C ∧ D
4
A
5
A∨B
∨Intro: 4
6
⊥
⊥Intro: 2, 5
7
B∨C
8
B
9
A∨B
∨Intro: 8
10
⊥
⊥Intro: 2, 9
11
C
12
¬C
∧Elim: 3
13
⊥
⊥Intro: 11, 12
⊥
14
15
16
∨Elim: 7, 8-10, 11-13
⊥
∨Elim: 1, 4-6, 7-14
¬(¬C ∧ D)
¬Intro: 3-15
5
2
Challenge question
The elimination and introduction rules for the Fitch system of formal proof all seem pretty logical, and can be
justified on the basis of the truth-functional descriptions of the connectives. There are two questions you might
ask about them, though: (a) if you prove something in Fitch, how are you guaranteed that the argument thus
proved is valid? (b) if you know an arbitrary argument is valid, can you find a proof for it in Fitch?
The textbook eventually covers these questions, which are questions about the soundness and completeness
of a proof system. (NB do not confuse soundness of a proof system with soundness of an argument!) But you
can already prove soundness for the rules we have. What you are proving, precisely, is the following:
Theorem 1. If P1 , ..., Pn are premises, and S is a sentence that can be formally derived from them, then S is a
tautological consequence of P1 , ..., Pn .
Here are guidelines for the proof:
• Think about what a formal proof is. It is a sequence of sentences, each sentence bearing a particular
relation to prior sentences in the sequence. S is just the final such step. So if we could prove that every
step in the proof is a tautological consequence of the premises, we would have proved the claim.
• It might seem harder to show that the above property belongs to every sentence in a proof. But not if we
use proof by contradiction. Suppose our proof system is not sound. Then there is some proof for which
the conclusion S is not a tautological consequence of premises P1 , ..., Pn . And this in turn means that
some step in the proof went wrong, that is, that there is a sentence in the proof that is not a tautological
consequence of the premises.
• Suppose there is such a sentence, call it Q. Q is derived from some prior sentences by one of our inference
rules. So now we have a proof by cases. In each case suppose one of the inference rules was responsible
for the bad step. If you can show, in each case, that this leads to contradiction, then you have proved
that we are led to contradiction by our assumption that there is a sentence Q that is not a tautological
consequence of P1 , ..., Pn .
Proof. Consider an arbitrary formal proof p that deduces conclusion S from premises P1 , ..., Pn , and is comprised of
a finite number of steps, each step being either an arbitrary hypothesis or a sentence that follows from prior steps in
the proof and the application of one of the inference rules Reit, ∧Intro, ∧Elim, ∨Intro, ∨Elim, ¬Intro, ¬Elim, ⊥Intro,
or ⊥Elim.
We distinguish between the assumptions that are in force at each step of the proof, and sentences that follow from
the assumptions in force at each step. At each step the assumptions in force include the premises P1 , ..., Pn , as well
any hypotheses that have been assumed for any subproof open at that step.
Assume, for the sake of proof by contradiction, that S is not a tautological consequence of P1 , ..., Pn . This means
that some step in the proof is not a tautological consequence of the assumptions in force at that step. (Otherwise truth
would be preserved at each step, and so the truth of the premises would ensure the truth of the conclusion.)
6
Consider the first such invalid step, establishing sentence R. We can easily show, using proof by cases, that none of
our rules of inference could have resulted in this invalid step. I will just consider one case (but you should do the others
as an exercise): ∨Elim. Suppose that the invalid step results from the application of this rule to some prior sentence
Q1 ∨ Q2 ∨ ... ∨ Qj and j subproofs, each starting with a distinct disjunct of Q1 ∨ Q2 ∨ ... ∨ Qj and ending in R, and
that assumptions A1 , ..., Ai are in force at this step. Since the step we are currently considering is the first invalid step,
we know that in each subproof R is a tautological consequence of the relevant disjunct and the assumptions A1 , ..., Ai .
Now consider the truth table for assumptions A1 , ..., Ai , Q1 ∨ Q2 ∨ ... ∨ Qj , disjuncts Q1 , ..., Qj and R. Since,
by assumption, R is not a tautological consequence of Q1 ∨ Q2 ∨ ... ∨ Qj and A1 , ..., Ai , there is some row in which
A1 , ..., Ai and Q1 ∨ Q2 ∨ ... ∨ Qj are all true but R comes out false. Yet for Q1 ∨ Q2 ∨ ... ∨ Qj to be true, one of the
disjuncts – call it Qk – must be true. But this is a contradiction, since we know that R is a tautological consequence
of Qk , and so R must be true in this row of the truth table.
Therefore our assumption that S is not a tautological consequence of P1 , ..., Pn must be wrong.
7
Download