| 1. |
Define inconsistency by completing the following:
Γ is inconsistent (i.e., Γ ⇒ ⊥) if and only if ... .
(Your answer need not replicate the wording of the text's definitions, but it should define equivalence in terms of truth values and possible worlds.)
[answer] |
| Analyze each 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. | ||
| 2. |
Al needed both the book and the disk but Bob didn't.
[answer] |
|
| 3. |
The car wasn't there or neither Al nor Barb saw it.
[answer] |
|
| Use derivations to check whether each of the entailments below holds. You may use detachment and attachment rules. If an entailment fails, present a counterexample that divides an open gap. | ||
| 4. |
A ∧ ¬ B ⇒ ¬ (A ∧ ¬ C)
[answer] |
|
| 5. |
(A ∧ B) ∨ C, ¬ (C ∧ ¬ B) ⇒ B
[answer] |
|
| 6. |
B ∨ (A ∨ C) ⇒ A ∨ B
[answer] |
|
| 7. |
[This question was on a topic not covered in F04]
Construct a sentence in symbolic notation that has the following truth table:
|
| 1. | Γ ⇒ ⊥ if and only if there is no possible world in which all members of Γ are true. |
| 4. |
|
| 6. |
|
| 7. |
[This question was on a topic not covered in F04]
|