1.2.x. Exercise questions

1.

Each of the following claims that a deductive relation holds between a pair of sentences. In each case, judge whether the claim is true and, if not, the describe a sort of possibility that shows it is not true. Briefly explain your answers. For example, The package will arrive sometime does not entail The package will arrive next week because the possibility that it will arrive before or after next week is ruled out by the conclusion but not by the premise. In answering, it is safe to understand these sentences all in the most straightforward way; you will miss the point of the exercise if you try to look for subtle or obscure possibilities.

 a. The package will arrive next Tueday ⇒ The package will arrive next week
 b. The package will arrive next week ⇒ The package will arrive next Tuesday
 c. The package will arrive next Tueday × The package will arrive next week
 d. The package will arrive next Tuesday × The package will arrive next Wednesday
 e. The package will arrive before next Tueday ◯ The package will arrive after next Tuesday
 f. The package will arrive next Tuesday or before ◯ The package will not arrive before next Wednesday
 g. The package will arrive after next Tuesday ⇔ The package will arrive next Wednesday or later
 h. The bridge will open at the end of May ⇔ The bridge will open before June
 i. The package will arrive before next Wednesday ⊗ The package will arrive after next Wednesday
 j. The bridge will open before June ⊗ The bridge will open in June or later or never at all
2.

Some of the following claims about deductive relations hold for any sentence φ, some for no sentence φ, and others hold only if φ is a tautology or only if it is absurd. In each case, say which is so and explain your answer.

  a. φ ⇒ φ b. φ ⇒ ⊤ c. φ ⇒ ⊥
  d. φ ⇐ φ e. φ ⇐ ⊤ f. φ ⇐ ⊥
  g. φ ◯ φ h. φ ◯ ⊤ i. φ ◯ ⊥
  j. φ × φ k. φ × ⊤ l. φ × ⊥
  m. φ ⇔ φ n. φ ⇔ ⊤ o. φ ⇔ ⊥
  p. φ ⊗ φ q. φ ⊗ ⊤ r. φ ⊗ ⊥
3.

The headings at the left of the table give information about the relation of φ and ψ and those at the top give information about the relation of ψ and χ. Fill in cells of the table by indicating what, if anything, you can conclude in each case about the relation of φ and χ. Nearly all the cases where you can conclude something are covered by laws stated in this section; however, this exercise does not ask you to remember or look up the laws but instead to think through each case afresh. Since there are a number of symmetries, you will find that some questions are really being asked several times over.

 
  ψ ⇒ χ ψ ⇐ χ ψ ⇔ χ ψ × χ ψ ◯ χ ψ ⊗ χ
φ ⇒ ψ
φ ⇐ ψ
φ ⇔ ψ
φ × ψ
φ ◯ ψ
φ ⊗ ψ
Glen Helman 15 Aug 2006