Unformatted text preview: or ), the author simply states the extra hypothesis (e.g., “Assume Statement A” or “Assume Statement B”). Then, when starting the other direction of the proof, the author might say something like “Conversely assume Statement B” or “Conversely assume Statement A”. The importance of a theorem of this type, once proved, is that Statements A and B are equivalent in the sense that, under the general hypotheses, they either are both true or both false, that is, it is impossible to have one of them be true and the other false. This is a very useful type of result....
View Full Document
- Spring '11
- Formal language, Type-token distinction, general hypotheses