phi_270_text_3_5

3.5.xa. Exercise answers

The rules that may be applied are indicated in the annotations for these derivations by bracketed subscripts on elements of the proximate argument, on the sentence to which the rule is applied in the case of development rules and on the slash between resources and goal in the case of closure rules.

	│¬ A	(3)
	├─
	││B ∧ A	2
	│├─
2 Ext	││B
2 Ext	││A	(3)
	││●
	│├─
3 Nc	││⊥	1
	├─
1 RAA	│¬ (B ∧ A)

One open gap.
¬ A / ¬ (B ∧ A)[RAA].
Developled.
One open gap.
¬ A, B ∧ A[Ext] / ⊥.
Developed.
One open gap.
¬ A, B, A /[Nc] ⊥.
Closed gap.
No gaps open.

	│A ∧ B	1
	├─
1 Ext	│A	(3)
1 Ext	│B	(4)
	│
	││●
	│├─
3 QED	││B	2
	│
	││●
	│├─
4 QED	││A	2
	├─
2 Cnj	│B ∧ A

One open gap.
A ∧ B[Ext] / B ∧ A[Cnj].
Developed by Ext.
One open gap.
A, B / B ∧ A[Cnj].
Developed.
Chose first open gap.
A, B /[QED] A.
Closed gap.
One open gap.
A, B /[QED] B.
Closed gap.
No gaps open.

	│B	(2)
	├─
	││●
	│├─
2 QED	││B	1
	│
	│││¬ A
	││├─
	│││○	B, ¬ A ⊭ ⊥
	││├─
	│││⊥	3
	│├─
3 IP	││A	1
	├─
1 Cnj	│B ∧ A

One open gap.
B / B ∧ A[Cnj].
Developed.
First open gap.
B /[QED] B.
Closed gap.
One open gap.
B / A[IP].
Developed.
One open gap.
B, ¬ A / ⊥.
Dead end.

	│¬ (A ∧ B)	2
	│A	(4)
	├─
	││B	(5)
	│├─
	││││●
	│││├─
4 QED	││││A	3
	│││
	││││●
	│││├─
5 QED	││││B	3
	││├─
3 Cnj	│││A ∧ B	2
	│├─
2 CR	││⊥	1
	├─
1 RAA	│¬ B

One open gap.
¬ (A ∧ B), A / ¬ B[RAA].
Developed.
One open gap.
¬ (A ∧ B)[CR], A, B / ⊥.
Developed.
One open gap.
A, B / A ∧ B[Cnj].
Developed.
Chose first open gap.
A, B /[QED] A.
Closed gap.
One open gap.
A, B /[QED] B.
Closed gap.
No gaps open.

	│¬ (A ∧ B)	2
	│¬ (B ∧ C)	6
	├─
	││B	(4), (8)
	│├─
	│││││¬ A
	││││├─
	│││││││●
	││││││├─
8 QED	│││││││B	7
	││││││
	││││││││¬ C
	│││││││├─
	││││││││○	B, ¬ A, ¬ C ⊭ ⊥
	│││││││├─
	││││││││⊥	9
	││││││├─
9 IP	│││││││C	7
	│││││├─
7 Cnj	││││││B ∧ C	6
	││││├─
6 CR	│││││⊥	5
	│││├─
5 IP	││││A	3
	│││
	││││●
	│││├─
4 QED	││││B	3
	││├─
3 Cnj	│││A ∧ B	2
	│├─
2 CR	││⊥	1
	├─
1 RAA	│¬ B

One open gap.
¬ (A ∧ B), ¬ (B ∧ C) / ¬ B[RAA].
Developed.
One open gap.
¬ (A ∧ B)[CR], ¬ (B ∧ C)[CR], B / ⊥.
Developed by first CR.
One open gap.
¬ (B ∧ C), B / A ∧ B[Cnj].
Developed.
Chose second open gap.
¬ (B ∧ C), B /[QED] B.
Closed gap.
One open gap.
¬ (B ∧ C), B / A[IP].
Developed.
One open gap.
¬ (B ∧ C)[CR], B, ¬ A / ⊥.
Developed.
One open gap.
B, ¬ A / B ∧ C[Cnj].
Developed.
Chose first open gap.
B, ¬ A /[QED] B.
Closed gap.
One open gap.
B, ¬ A / C[IP].
Developed.
One open gap.
B, ¬ A, ¬ C / ⊥.
Dead end.

The stages at which choices are made are indicated by references to notes below that describe the choices that were made.

	│A ∧ B	1*
	├─
1* Ext	│A	(3†)
1* Ext	│B	(4)
	│
	││●
	│├─
3† QED	││B	2
	│
	││●
	│├─
4 QED	││A	2
	├─
2 Cnj	│B ∧ A

	│A ∧ B	2†, 5
	├─
2† Ext	││A
2† Ext	││B	(3‡)
	││●
	│├─
3‡ QED	││B	1*
	│
	│││¬ A	(6)
	││├─
5 Ext	│││A	(6)
5 Ext	│││B
	│││●
	││├─
6 Nc	│││⊥	4§
	│├─
4§ IP	││A	1*
	├─
1* Cnj	│B ∧ A

* Chose Ext instead of Cnj

† Chose first of 2 gaps

* Chose Cnj instead of Ext

† Chose first of 2 gaps
and Ext instead of IP

‡ Chose first of 2 gaps

§ Chose IP instead of Ext

	│¬ (A ∧ B)	3
	│B ∧ C	1*
	├─
1* Ext	│B	(6)
1* Ext	│C
	│
	││A	(5†)
	│├─
	││││●
	│││├─
5† QED	││││A	4
	│││
	││││●
	│││├─
6 QED	││││B	4
	││├─
4 Cnj	│││A ∧ B	3
	│├─
3 CR	││⊥	2
	├─
2 RAA	│¬ A

	│¬ (A ∧ B)	2†
	│B ∧ C	5**
	├─
	││A	(4§)
	│├─
	││││●
	│││├─
4§ QED	││││A	3‡
	│││
5** Ext	││││B	(6)
5** Ext	││││C
	││││●
	│││├─
6 QED	││││B	3‡
	││├─
3‡ Cnj	│││A ∧ B	2†
	│├─
2† CR	││⊥	1*
	├─
1* RAA	│¬ A

* Chose Ext instead of RAA

† Chose first of 2 gaps

* Chose RAA instead of Ext

† Chose CR instead of Ext

‡ Chose Cnj instead of Ext

§ Chose first of 2 gaps

** Chose Ext instead of IP

	│¬ (A ∧ B)	2*
	│¬ (B ∧ C)	6
	├─
	││B	(4†), (8‡)
	│├─
	│││││¬ A
	││││├─
	│││││││●
	││││││├─
8‡ QED	│││││││B	7
	││││││
	││││││││¬ C
	│││││││├─
	││││││││○	B,¬ A,¬ C⊭⊥
	│││││││├─
	││││││││⊥	9
	││││││├─
9 IP	│││││││C	7
	│││││├─
7 Cnj	││││││B ∧ C	6
	││││├─
6 CR	│││││⊥	5
	│││├─
5 IP	││││A	3
	│││
	││││●
	│││├─
4† QED	││││B	3
	││├─
3 Cnj	│││A ∧ B	2*
	│├─
2* CR	││⊥	1
	├─
1 RAA	│¬ B

	│¬ (A ∧ B)	5‡
	│¬ (B ∧ C)	2*
	├─
	││B
	│├─
	││││
	│││├─
	││││B	3
	│││
	│││││¬ C
	││││├─
	│││││││
	││││││├─
	│││││││B	6**
	││││││
	││││││││¬ C
	│││││││├─
	││││││││○	B,¬ A,
	││││││││	¬ C⊭⊥
	│││││││├─
	││││││││⊥	7††
	││││││├─
7†† IP	│││││││C	6**
	│││││├─
6** Cnj	││││││A ∧ B	5‡
	││││├─
5‡ CR	│││││⊥	4†
	│││├─
4† IP	││││C	3
	││├─
3 Cnj	│││B ∧ C	2*
	│├─
2* CR	││⊥	1
	├─
1 RAA	│¬ B

* Chose CR on 1^st premise instead of 2^nd

† Chose second of 2 gaps

‡ Chose first of 2 gaps

* Chose CR on 2^nd premise instead of 1^st

† Chose second of 2 gaps

‡ Chose second of 2 gaps

§ Chose second of 2 gaps

** Chose second of 2 gaps

†† Chose third of 3 gaps

(Notice that two gaps remain incomplete at the end. They would close if attention were turned to them, but the procedure ends work on a derivation as soon as any open gap has reached a dead end.)

Glen Helman 11 Sep 2010