Phi 270 F99 test 2

Phi 270 F99 test 2 in pdf format

Analyze the sentence below in as much detail as possible, presenting the result in both symbolic and English notation. Be sure that the unanalyzed components of your answer are complete and independent sentences; also try to respect any grouping in the English.
	1.	`Fred crossed the desert without having both a jack and a spare tire`. [answer]
	2.	`Bob either found someone to go or went himself, but neither Carol nor her luggage was there`. [answer]

Use derivations to check whether each of the entailments below holds. You may use detachment and attachment rules. If an entailment fails, provide a table in which you calculate the truth values of the premises and conclusion on an extensional interpretation (i.e., an assignment of truth values) that divides an open gap.
	3.	A ∧ ¬ B ⇒ ¬ (B ∧ ¬ C) [answer]
	4.	¬ (¬ A ∧ B) ⇒ C [answer]
	5.	(A ∧ B) ∨ C, ¬ (A ∧ D) ⇒ C ∨ ¬ D [answer]
	6.	B ∨ (C ∧ D) ⇒ A ∨ (B ∨ C) [answer]

7.	[This question was on a topic not covered in F05] Use replacement principles to put the following sentence into disjunctive normal form (in which there are no negated compounds and no conjunction has a disjunction as a component): ¬ ((A ∧ ¬ B) ∨ C) [answer]

Phi 270 F99 test 2 answers

Fred crossed the desert without having both a jack and a spare tire
Fred crossed the desert ∧ ¬ Fred had both a jack and a spare tire
Fred crossed the desert ∧ ¬ (Fred had a jack ∧ Fred had a spare tire)

D ∧ ¬ (J ∧ S)
both D and not both J and S

[D: Fred crossed the desert; J: Fred had a jack; S: Fred had a spare tire]

Bob either found someone to go or went himself, but neither Carol nor her luggage was there

Bob either found someone to go or went himself ∧ neither Carol nor her luggage was there

(Bob found someone to go ∨ Bob went himself) ∧ ¬ either Carol or her luggage was there

(Bob found someone to go ∨ Bob went himself) ∧ ¬ (Carol was there ∨ Carol's luggage was there)

(F ∨ W) ∧ ¬ (C ∨ L)
both either F or W and not either C or L

[F: Bob found someone to go; W:Bob went himself; C: Carol was there; L: Carol's luggage was there]

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

	│¬ (¬ A ∧ B)	2
	├─
	││¬ C
	│├─
	│││││A
	││││├─
	│││││○	A, ¬C ⇏ ⊥
	││││├─
	│││││⊥	4
	│││├─
4 RAA	││││¬ A	3
	│││
	│││││¬ B
	││││├─
	│││││○	¬B, ¬C ⇏ ⊥
	││││├─
	│││││⊥	5
	│││├─
5 IP	││││B	3
	││├─
3 Cnj	│││¬ A ∧ B	2
	│├─
2 CR	││⊥	1
	├─
1 IP	│C

A	B	C	¬	(	¬	A	∧	B)	/	C
T	T	F	Ⓣ		F		F			Ⓕ	divides 1st gap
T	F	F	Ⓣ		F		F			Ⓕ	divides both gaps
F	F	F	Ⓣ		T		F			Ⓕ	divides 2nd gap

	│(A ∧ B) ∨ C	3
	│¬ (A ∧ D)	5
	├─
	││¬ C
	│├─
	│││D	(6)
	││├─
	││││A ∧ B	4
	│││├─
4 Ext	││││A	(6)
4 Ext	││││B
	││││
6 Adj	│││││A ∧ D	X,(7)
	│││││●
	││││├─
7 QED	│││││A ∧ D	5
	│││├─
5 CR	││││⊥	3
	│││
	││││C
	│││├─
	││││
	│││├─
	││││⊥	3
	││├─
3 PC	│││⊥	2
	│├─
2 RAA	││¬ D	1
	├─
1 PE	│C ∨ ¬ D

	│(A ∧ B) ∨ C	2
	│¬ (A ∧ D)	4
	├─
	││¬ C	(2)
	│├─
2 MTP	││A ∧ B	3
3 Ext	││A	(4)
3 Ext	││B
4 MPT	││¬ D	(5)
	││●
	│├─
5 QED	││¬ D	1
	├─
1 PE	│C ∨ ¬ D

	│B ∨ (C ∧ D)	2
	├─
	││¬ A
	│├─
	│││B	(4)
	││├─
	││││¬ C
	│││├─
	││││●
	│││├─
4 QED	││││B	3
	││├─
3 PE	│││B ∨ C	2
	││
	│││C ∧ D	5
	││├─
5 Ext	│││C	(7)
5 Ext	│││D
	│││
	││││¬ B
	│││├─
	││││●
	│││├─
7 QED	││││C	6
	││├─
6 PE	│││B ∨ C	2
	│├─
2 PC	││B ∨ C	1
	├─
1 PE	│A ∨ (B ∨ C)

	│B ∨ (C ∧ D)	3
	├─
	││¬ A
	│├─
	│││¬ B	(3)
	││├─
3 MTP	│││C ∧ D	4
4 Ext	│││C	(5)
4 Ext	│││D
	│││●
	││├─
5 QED	│││C	2
	│├─
2 PE	││B ∨ C	1
	├─
1 PE	│A ∨ (B ∨ C)

7.	[This question was on a topic not covered in F05] ¬ ((A ∧ ¬ B) ∨ C) ⇔ ¬ (A ∧ ¬ B) ∧ ¬ C ⇔ (¬ A ∨ B) ∧ ¬ C ⇔ (¬ A ∧ ¬ C) ∨ (B ∧ ¬ C)