Phi 270 F96 quiz 2 (of 6) in pdf format
1. Analyze the sentence below in as much detail as possible. Be sure that the unanalyzed components of your answer are complete and independent sentences and that you respect any grouping in the English.
Either Bob didn't call or neither Alice nor Carol was home
[answer]
2. Synthesize an idiomatic English sentence expressing the proposition which is assigned to the symbolic form below by the intensional interpretation to its right--i.e., give an English sentence whose analysis would be the following:
P ∧ ¬ (S ∧ V)
[P: Ralph went to Portland; S: Ralph went to Seattle; V: Ralph went to Vancouver]
[answer]
Check each of the following claims of entailment. Do not use detachment or attachment rules. If a derivation fails, present a counterexample that divides an open gap.
3.   A ∧ ¬ B ⇒ ¬ (B ∧ C)
[answer]
4.   A ∧ ¬ B, B ∨ C ⇒ A ∧ C
[answer]
5.   ¬ (A ∧ ¬ B) ⇒ A ∨ B
[answer]
6. [This question was on a topic not covered in F05] Use a series of replacements to show the following:
¬ A ∧ ¬ (B ∧ C) ⇔ ¬ (A ∨ B) ∨ ¬ (A ∨ C)
[answer]

Phi 270 F96 quiz 2 answers
1. Bob didn't callneither Alice nor Carol was home
¬ Bob called ∨ ¬ (Alice was homeCarol was home)
¬ B ∨ ¬ (A ∨ C)
either not B or not either A or C
[A: Alice was home; B: Bob called ; C: Carol was home]
2.

Ralph went to Portland ∧ ¬ (Ralph went to SeattleRalph went to Vancouver)

Ralph went to Portland ∧ ¬ Ralph went to both Seattle and Vancouver

Ralph went to PortlandRalph didn't go to both Seattle and Vancouver

Ralph went to Portland but he didn't go to both Seattle and Vancouver

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 1
│B ∨ C 4
├─
1 Ext │A (3)
1 Ext │¬ B (6)
││●
│├─
3 QED ││A 2
│││B (6)
││├─
││││¬ C
│││├─
││││●
│││├─
6 Nc ││││⊥ 5
││├─
5 IP │││C 4
││
│││C (7)
││├─
│││●
││├─
7 QED │││C 4
│├─
4 PC ││C 2
├─
2 Cnj │A ∧ C
5.
│¬ (A ∧ ¬ B) 3
├─
││¬ A
│├─
│││¬ B (6)
││├─
││││││¬ A
│││││├─
││││││○ ¬ A, ¬ B ⇏ ⊥
│││││├─
││││││⊥ 5
││││├─
5 IP │││││A 4
││││
│││││●
││││├─
6 QED │││││¬ B 4
│││├─
4 Cnj ││││A ∧ ¬ B 3
││├─
3 CR │││⊥ 2
│├─
2 IP ││B 1
├─
1 PE │A ∨ B
A B ¬ (A ¬ B) / A B
F F F T
6. [This question was on a topic not covered in F05]
¬ A ∧ ¬ (B ∧ C)

¬ A ∧ (¬ B ∨ ¬ C)

(¬ A ∧ ¬ B) ∨ (¬ A ∧ ¬ C)

¬ (A ∨ B) ∨ ¬ (A ∨ C)