1.1.x. Exercise questions

1. Assume that a statement of entailment Γ ⇒ φ holds when the premises Γ listed to the left of the arrow, taken together, contain all the information found in the conclusion φ displayed to its right. Using this understanding of entailment, decide for each of the following whether you can be sure that the statement is true (no matter what sentences are put in place of the Greek letters) and briefly explain your reasons. [In some cases a lower case Greek letter (our notation for a single sentence rather than a set) is used on the left of the sign ⇒ as shorthand for a set of premises with only a single member.]
 a.φ ⇒ φ
 b.if φ ⇒ ψ and ψ ⇒ χ, then φ ⇒ χ
 c.if φ ⇒ ψ, then ψ ⇒ φ
 d.if (i) Γ, φ ⇒ ψ and (ii) Γ ⇒ φ, then (iii) Γ ⇒ ψ
[Notice that this says that a premise φ of a valid argument Γ, φ / ψ may be dropped without destroying validity provided it is entailed by the remaining premises Γ.]
 e.if χ, φ ⇒ ψ and χ, ψ ⇒ φ, then φ, ψ ⇒ χ
2. The basis for testing a scientific hypothesis can often be presented as an argument whose conclusion is a prediction about the result of the test and whose premises consist of the hypothesis being tested together with certain assumptions about the test (e.g., about the operation of any apparatus being used to perform the test).
hypothesis to be tested:  hypothesis ⎫

assumptions about the test:
 ⎧
⎨
⎩ 		assumption
...
assumption		 ⎬
⎪
⎭ 		premises
   
  
prediction of the test result: prediction conclusion
Suppose that the prediction is entailed by the hypothesis together with the assumptions about the test (i.e., suppose that the argument shown above is valid) and answer the following questions:
 a. Can you conclude that the hypothesis is true on the basis of a successful test (i.e., one whose result is as predicted)? Why or why not?
 b. Can you conclude that the hypothesis is false on the basis of an unsuccessful test (i.e., one whose result is not the one predicted)? Why or why not?
Glen Helman 01 Aug 2004