BC: The End | This lesson was inspired by the Mad as a Hatter logic lesson from Tarleton State University, Key Curriculum's Key to Logic, Harold Jacobs' Geometry text, and Laura Joffe Numeroff's 'If you give a mouse a cookie,' type children's books. ~Teresa Hall
FC: by Teresa Hall | If you give a moose a computer,
1: If you give a moose a computer, then he will open up Microsoft Power Point.
2: When he opens up Microsoft Power Point, he realizes he needs some help with an idea for his conditional story.
5: When he realizes he needs some help for an idea for his story, he opens up “Help” in the Power Point menu.
6: When he opens up Help, he searches 'conditional statement.' | When he searches for conditional statement, the first item he reads is 'selling points presentation.'
7: If the first item on the list is “selling points presentation,” then he says… "that's it… let's make a deal with the teacher!”
8: When he says, "that's it…, let's make a deal with the teacher," he googles “let's make a deal” and hopes there is something out there on the Internet to help him with his assignment.
9: When he googles let's make a deal, he selects the CBS website and clicks “The Monty Hall Problem” and wonders if Monty Hall is related to Ms. Hall, his teacher.
10: When he clicks on the Monty Hall Problem and ponders for a split second if Monty Hall is related to Ms. Hall, his teacher, he studies the Monty Hall problem to understand why it is so counter intuitive. (CBS has restarted “Let's Make a Deal!” as of October 2009.)
12: While studying the problem, he sorts the problem into three cases (A:$XX, B:X$X, C:XX$) and charts out selecting door #1 with each case.
13: Hmmm...this is going to require deductive thinking.
15: If he sorts the problem down into three cases (A:$XX, B:X$X, C:XX$) and charts out selecting door #1 with each case, then he will recognize how to improve his odds of winning a COOL prize like a car instead of a goat!
16: If he recognizes how to improve his odds of winning a COOL prize like a car instead of a goat, he can prove to others how they can win on Let's Make A Deal.
17: If he can prove to others how they can win on Let's Make a Deal, then he will write down the steps concluding why it is better to switch doors.
18: If he writes down the steps concluding why it is better to switch doors, then he writes a proof.
19: Therefore the moral of this story or the theorem that has been proved is If you give a moose a computer, then he writes a proof.
20: Conditional statement: If you give a moose a computer, then he writes a proof. | Converse statement: If a moose writes a proof, then he gets a computer.
21: Inverse statement: If you do not give a moose a computer, then he does not write a proof. | Contrapositive statement: If a moose does not write a proof, then he does not get a computer.
22: The Moose List of Logic Nuggets Logically Equivalent Statements Conditional = Contrapositive Converse = Inverse | Law of Syllogism If a, then b. If b, then c. therefore if a, then c. | Law of Detachment or Modus Ponens If a, then b. a therefore b.
23: Modus Tollens If a, then b. ~b therefore ~a. Law of Contrapositive If a, then b. therefore if ~b, then ~a.
24: Valid Forms of Deductive Reasoning Modus Tollens Modus Ponens (aka Law of Detachment) Law of Syllogism Law of Contrapositive
25: Logic Strategies Direct Proof Conditional Proof Indirect Proof Forms of Proofs Two-column Flowchart Paragraph