5.3.xa. Exercise answers

1. a.
│B → C 3
│A → B 2
├─
││A (2)
│├─
2 MPP ││B (3)
3 MPP ││C (4)
││●
│├─
4 QED ││C 1
├─
1 PC │A → C
  b.
│A → B 2
│C ← B 3
│C → D 4
├─
││A (2)
│├─
2 MPP ││B (3)
3 MPP ││C (4)
4 MPP ││D (5)
││●
│├─
5 QED ││D 1
├─
1 CP │A → D
  c.
│A → (B → C) 3
├─
││A → B 4
│├─
│││A (3),(4)
││├─
3 MPP │││B → C 5
4 MPP │││B (5)
5 MPP │││C (6)
│││●
││├─
6 QED │││C 2
│├─
2 CP ││A → C 1
├─
1 CP │(A → B) → (A → C)
  d.
│A → (B → C) 3
│A → ¬ C 4
├─
││B (5)
│├─
│││A (3),(4)
││├─
3 MPP │││B → C 5
4 MPP │││¬ C (6)
5 MPP │││C (6)
│││●
││├─
6 Nc │││⊥ 2
│├─
2 RAA ││¬ A 1
├─
1 CP │B → ¬ A
  e.
│¬ A (2)
├─
││A
│├─
││●
│├─
2 QED ││¬ A 1
├─
1 CP │A → ¬ A
 
│A → ¬ A 2
├─
││A (2),(3)
│├─
2 MPP ││¬ A (3)
││●
│├─
3 Nc ││⊥ 1
├─
1 CP │¬ A
  f.
│A → B 2
├─
││¬ B (2)
│├─
2 MTT ││¬ A (3)
││●
│├─
3 QED ││¬ A 1
├─
1 CP │¬ B → ¬ A
 
│¬ B → ¬ A 2
├─
││A (2)
│├─
2 MTT ││B (3)
││●
│├─
3 QED ││B 1
├─
1 CP │A → B
  g.
│A → B 3
├─
││A ∧ ¬ B 2
│├─
2 Ext ││A (3)
2 Ext ││¬ B (4)
3 MPP ││B (4)
││●
│├─
4 Nc ││⊥ 1
├─
1 RAA │¬ (A ∧ ¬ B)
 
│¬ (A ∧ ¬ B) 2
├─
││A (2)
│├─
2 MPT ││B (3)
││●
│├─
3 QED ││B 1
├─
1 CP │A → B
  h.
│A → (B → C) 3
├─
││A ∧ B 2
│├─
2 Ext ││A (3)
2 Ext ││B (4)
3 MPP ││B → C 4
4 MPP ││C (5)
││●
│├─
5 QED ││C 1
├─
1 CP │(A ∧ B) → C
 
│(A ∧ B) → C 4
├─
││A (5)
│├─
│││B (6)
││├─
││││¬ C (4)
│││├─
4 MTT ││││¬ (A ∧ B) 5
5 MPT ││││¬ B (6)
││││●
│││├─
6 Nc ││││⊥ 3
││├─
3 IP │││C 2
│├─
2 CP ││B → C 1
├─
1 CP │A → (B → C)
  i.
│(A → B) ∧ (A → C) 1
├─
1 Ext │A → B 3
1 Ext │A → C 4
│
││A (3),(4)
│├─
3 MPP ││B (6)
4 MPP ││C (7)
││
│││●
││├─
6 QED │││B 5
││
│││●
││├─
7 QED │││C 5
│├─
5 Cnj ││B ∧ C 2
├─
2 CP │A → (B ∧ C)
 
│A → (B ∧ C) 3,7
├─
│││A (3)
││├─
3 MPP │││B ∧ C 4
4 Ext │││B (5)
4 Ext │││C
│││●
││├─
5 QED │││B 2
│├─
2 CP ││A → B 1
│
│││A
││├─
7 MPP │││B ∧ C 8
8 Ext │││B
8 Ext │││C (9)
│││●
││├─
9 QED │││C 6
│├─
6 QED ││A → C 1
├─
1 Cnj │(A → B) ∧ (A → C)
  j. Stages 3-5 and 7-11 in the derivation at the right could have taken analogous forms; they are varied here to show two approaches, one using attachment rules and the other without them.
   
│(A → C) ∧ (B → C) 1
├─
1 Ext │A → C 4
1 Ext │B → C 6
│
││A ∨ B 3
│├─
│││A (4)
││├─
4 MPP │││C (5)
│││●
││├─
5 QED │││C 3
││
│││B (6)
││├─
6 MPP │││C (7)
│││●
││├─
7 QED │││C 3
│├─
3 PC ││C 2
├─
2 CP │(A ∨ B) → C
 
│(A ∨ B) → C 4,8
├─
│││A (3)
││├─
3 Wk │││A ∨ B X,(4)
4 MPP │││C (5)
│││●
││├─
5 QED │││C 2
│├─
2 CP ││A → C 1
│
│││B (11)
││├─
││││¬ C (8)
│││├─
8 MTT ││││¬ (A ∨ B) 9
││││
││││││¬ A
│││││├─
││││││●
│││││├─
11 QED ││││││B 10
││││├─
10 PE │││││A ∨ B 9
│││├─
9 CR ││││⊥ 7
││├─
7 IP │││C 6
│├─
6 CP ││B → C 1
├─
1 Cnj │(A → C) ∧ (B → C)
  k. Parallel arguments are again completed differently in the two gaps of each derivation—in the first, to show approaches with attachment rules and without them and, in the second, to show two ways of using attachment rules.
   
│(A → B) ∧ (B → C) 1
├─
1 Ext │A → B 4
1 Ext │B → C 5,10
│
││A ∨ B 3
│├─
│││A (4)
││├─
4 MPP │││B (5)
5 MPP │││C
6 Adj │││B ∧ C X,(7)
│││●
││├─
7 QED │││B ∧ C 3
││
│││B (9),(10)
││├─
││││●
│││├─
9 QED ││││B 8
│││
10 MPP ││││C (11)
││││●
│││├─
11 QED ││││C 8
││├─
8 Cnj │││B ∧ C 3
│├─
3 PC ││B ∧ C 2
├─
2 CP │(A ∨ B) → (B ∧ C)
 
│(A ∨ B) → (B ∧ C) 4,10
├─
│││A (3)
││├─
3 Wk │││A ∨ B X,(4)
4 MPP │││B ∧ C 5
5 Ext │││B (6)
5 Ext │││C
│││●
││├─
6 QED │││B 2
│├─
2 CP ││A → B 1
│
│││B (11)
││├─
││││¬ C (9)
│││├─
9 Wk ││││¬ (B ∧ C) (10)
10 MTT ││││¬ (A ∨ B) (12)
11 Wk ││││A ∨ B (12)
││││●
│││├─
12 Nc ││││ ⊥ 8
││├─
8 IP │││C 7
│├─
7 CP ││B → C 1
├─
1 Cnj │(A → B) ∧ (B → C)
2. d.
If Ann was there, then Carol was there if Bill was
Carol wasn’t there if Ann was
Ann wasn’t there if Bill was
  f.
If Ann was there, Bill was, too
If Bill wasn’t there, Ann wasn’t either
  g.
If Ann was there, Bill was there
Ann wasn’t there without Bill being there
  k.
If Ann was there, Bill was there; and if Bill was there, Carol was there
If either Ann or Bill was there, then both Bill and Carol were there
Glen Helman 25 Aug 2005