1. Sept. 13, 2006Math 3621 Propositions

2. Sept. 13, 2006Math 3622 Propositions One way that mathematical language differs from ordinary everyday English (OEE) is in what counts as a statement. OEE accepts a wide variety of statements. QuestionsWhy me? When is lunch? What is the air speed velocity of a swallow? Exclamations, commandsDag, yo! Show me the money! Expressions that are vague or ambiguousIt was the best of times, it was the worst of times. People are strange. MetaphorsMy love is like a red, red, rose. John is like a brother to me. Statements that are open to debate or are a matter of opinion. Mathematics is the best major in the world. Taking colloidal silver will boost your immune system. Strongbad is awesome. Statements whose truth or falsity depend on context People are dishonest. Mice eat cheese. Conservatives are pro-life

3. Sept. 13, 2006Math 3623 Propositions In the language of formal mathematics (LFM), we want to deal only with statements that can clearly be completely true or completely false, with no gray area and no dependence on context. We call such statements propositions. Examples of Propositions: 6 - 3i is a complex number 18 is a prime number Your teacher in Math 362 Fall 2006 was born on a Tuesday. The 2005 Gross National Product of Japan is greater than that of the United States. A square has exactly 3 right angles. Every compact Hausdorff space is normal. The order of a subgroup of any finite group divides the order of the group.

4. Sept. 13, 2006Math 3624 Combining Propositions In OEE, we have lots of ways of combining statements together: I tried to add the class but the computer wouldn’t let me. I stood in line for 45 minutes, and found out I was in the wrong line. I’m either going to take Conversational Icelandic or Intro to Art History. If I can’t get into Chem 101, [then] it will screw up my whole schedule. If they don’t turn that radio down, [then] I’m gonna call the police. In the language of formal mathematics (LFM), we also have ways of combining propositions using words like and, or, if – then, and so forth. BUT they often don’t have exactly the same meanings as they do in OEE.

5. Sept. 13, 2006Math 3625 Example: Or In OEE, when we say “A or B” we usually mean either A, or B, but not both. Examples: You need to fish or cut bait. (Sink or swim, win or lose) Stop that or I’ll punch you. Mom or I will take you to the mall. We will go to the movie or the game. Either she’ll say yes or she’ll say no; but at least you’ll know. Should I be a chartered accountant, or a lumberjack? You must take either Math 315 or Math 371 Do you want soup or salad? In some of these cases, you would be surprised and maybe angry if both situations occurred (e.g. if I stopped that but still got punched). But in others, although it might be surprising, you wouldn’t think there was a breach of contract (e.g. if both Mom and Dad took me to the mall).

6. Sept. 13, 2006Math 3626 Example: Or However, in the LFM, “A or B” always means A, or B, or perhaps both. The following statements are true: 7 is an odd number, or 7 is prime. 6 9. 5 is negative, or -5 is negative. A square is a rectangle or a square is a rhombus. Very often, even in LFM, the two propositions connected by an “or” will be mutually exclusive, but they don’t need to be.

7. Sept. 13, 2006Math 3627 Example: If – Then Suppose I tell my daughter, “If you do that once more you’re grounded.” Under what conditions can I be assured I am telling the truth? What if: 1.She does it once more and I ground her? 2.She doesn’t do it once more and I don’t ground her? 3.She does it once more and I don’t ground her? 4.She doesn’t do it once more and I ground her? What we usually mean when we say something like this is that “you do that once more” and “you’re grounded” will either both be true or both be false.

8. Sept. 13, 2006Math 3628 Example: If – Then Now let’s imagine another situation. I tell my son, “If you mow the lawn, I’ll take you to Café Rio.” What if: 1.He mows the lawn and I take him to Café Rio? 2.He doesn’t mow the lawn and I don’t take him to Café Rio? 3.He mows the lawn and I don’t take him to Café Rio? 4.He doesn’t mow the lawn and I take him to Café Rio? It is case #4 that distinguishes between OEE and LFM. In OEE, we would assume that if case 4 happens, my original statement would be a lie. However, from the point of view of my son, case #4 is just fine. He won’t accuse me of breach of contract. It may be bad parenting, but it is not a lie. That is how “If A, then B” is always interpreted in LFM. This takes some getting used to.

9. Sept. 13, 2006Math 3629 Example: And Luckily, the conjunction “and” in OEE and the connector “and” in LFM have pretty much the same meaning. There’s not much more to say about it.

10. Sept. 13, 2006Math 36210 Example: If and Only If There really isn’t an OEE equivalent to what “if and only if” means in LFM. We usually mean “I will give you a reward if and only if you clean your room” when we say “If you clean your room I’ll give you a reward.” However, there aren’t many (any?) everyday expressions that mean “if and only if.” When we say, “A number is prime if and only if it has exactly two factors” we mean that for a particular number, “being prime” and “having exactly two factors” will either both be true or neither will be true. Another way of saying this is that if a number is prime, it will have exactly two factors, and if a number has exactly two factors, it will be prime. So, “A if and only if B” says the same thing as “if A, then B, and if B, then A.” This is, in fact, how we usually approach the proof of an “if and only if” statement – by proving two “if-then” statements.