Phi 270 F99 test 2

F99 test 2 questions

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 this year]

F99 test 2 answers

1.

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

2.

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

3.
│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)
4.
│¬ (¬ 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
 
ABC¬(¬A∧B)/C
TTFⓉFFⒻdivides 1st gap
TFFⓉFFⒻdivides both gaps
FFFⓉTFⒻdivides 2nd gap
5.
│(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

OR
│(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
6.
│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)

OR
│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 this year]