Phi 270 F03 test 2
1. Define contradictoriness by completing the following:
φ and ψ are contradictory if and only if …
(Your answer should define contradictoriness in terms of truth values and possible worlds.)
answer
Analyze each sentence below in as much detail as possible, presenting the result using both symbolic and English notation for the connectives. Besure that the unanalyzed components of your answer are complete and independent sentences; also try to respect any grouping in the English.
2. Ann found the note but didn’t recognize the signature
answer
3. Either the manufacturer and the distributor weren’t both available or neither of them changed its offer
answer
Use derivations to check whether each of the entailments below holds. If one fails, present a counterexample by providing 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) which divides an open gap.
Do not use attachment or detachment rules in 4 and 5. That is, do not use Adj or the new rules of 4.3; instead use only the basic rules for exploiting resources, planning for goals, and closing gaps.
4. ¬ B ⇒ ¬ (A ∧ B)
answer
  5. ¬ (¬ A ∧ ¬ B), C ∧ ¬ B ⇒ A
answer
In 6 and 7 you may use attachment and detachment rules if you have an opportunity to do so.
  6. A ∨ B ⇒ C ∨ D
answer
  7. ¬ (A ∧ C), A ∨ B, ¬ (B ∧ ¬ D) ⇒ ¬ (C ∧ ¬ D)
answer

Phi 270 F03 test 2 answers
1. φ and ψ are contradictory if and only if there is no possible world where they have the same truth value.
2. Ann found the note but didn’t recognize the signature
Ann found the note  ∧ Ann didn’t recognize the signature
Ann found the note ∧ ¬ Ann recognized the signature
F  ∧ ¬ R
both F and not R
F: Ann found the note; R: Ann recognized the signature
3.

Either the manufacturer and the distributor weren’t both available or neither of them changed its offer

the manufacturer and the distributor weren’t both available ∨ neither themanufacturer nor the distributor changed its offer

¬ the manufacturer and the distributor were both available ∨ ¬ either the manufacturer or the distributor changed its offer

¬ (the manufacturer was available ∧ the distributor was available) ∨ ¬ (the manufacturer changed its offer ∨ the distributor changed its offer)

¬ (A ∧ V) ∨ ¬ (C ∨ H)
either not both A and V or not either C or H
A: the manufacturer was available; C: the manufacturer changed its offer; H: the distributor changed its offer; V: the distributor was available
4.
│¬ B (3)
├─
││A ∧ B 2
│├─
2 Ext ││A
2 Ext ││B (3)
││●
│├─
3 Nc ││⊥ 1
├─
1 RAA │¬ (A ∧ B)
5.
│¬ (¬ A ∧ ¬ B) 3
│C ∧ ¬ B 1
├─
1 Ext │C
1 Ext │¬ B (6)
││¬ A (5)
│├─
││││●
│││├─
5 QED ││││¬ A 4
││││●
│││├─
6 QED ││││¬ B 4
││├─
4 Cnj │││¬ A ∧ ¬ B 3
│├─
3 CR ││⊥ 2
├─
2 IP │A
6.
│A ∨ B 2
├─
││¬ C
│├─
│││A
││├─
││││¬ D
│││├─
││││○ A, ¬ C, ¬ D ⇏ ⊥
│││├─
││││⊥ 3
││├─
3 IP │││D 2
││
│││B
││├─
││││¬ D
│││├─
││││○ B, ¬ C, ¬ D ⇏ ⊥
│││├─
││││⊥ 4
││├─
4 IP │││D 2
│├─
2 PC ││D 1
├─
1 PE │C ∨ D
A B C D A B / C D
T F F F divides 1st open gap
T T F F divides both open gaps
F T F F divides 2nd open gap
7.
│¬ (A ∧ C) 3
│A ∨ B 4
│¬ (B ∧ ¬ D) 5
├─
││C ∧ ¬ D 2
│├─
2 Ext ││C (3)
2 Ext ││¬ D (6)
3 MPT ││¬ A (4)
4 MTP ││B (5)
5 MPT ││D (6)
││●
│├─
6 Nc ││⊥ 1
├─
1 RAA │¬ (C ∧ ¬ D)