Logic Appendix. Section 1 Truth Tables CONJUNCTION EXAMPLE 1
|
|
- Lester Walker
- 7 years ago
- Views:
Transcription
1 Logic Appendix T F F T Section 1 Truth Tables Recall that a statement is a group of words or symbols that can be classified collectively as true or false. The claim is a true statement, whereas A pentagon has six sides is a false statement. However, Man overboard! is not a statement at all. Symbolically, we represent statements by letters such as, Q, and R. The negation of a given statement is written ; when is true, is false, and vice versa. This relationship between a statement and its negation can be expressed by a truth table. The first line of the truth table shown indicates If is true, then is false. The second line in the table indicates When is false, is true. Suppose that is the true statement Abraham Lincoln lived in Illinois. Then Abraham Lincoln did not live in Illinois is false. EXAMLE 1 Determine which of the following are statements. For each one that is a statement, is it true or false? a) c) Are you Mike? b) Babe Ruth played baseball. d), if is true. a) False statement c) Not a statement b) True statement d) False statement A truth table is a valuable tool for examining the truth of a statement that is more complex. What exactly is a truth table? DEFINITION: A truth table is a table that provides the truth values of a statement by considering all possible true/false combinations of the statement s components. Q Q T T T T F F F T F F F F CONJUNCTION Statements can be combined to form compound statements. For example, a statement of the form and Q is called the conjunction of and Q. In symbols, the conjunction is written Q. For the conjunction to be true, it is necessary for to be true and for Q to be true. If either statement is false, the conjunction is false. To allow for all possible true/false combinations, four rows are needed in the truth table of the conjunction. When is true, Q may be true or false (two rows of the table). When is false, Q may be true or false (two additional rows). A1
2 A2 Logic Appendix EXAMLE 2 Let Babe Ruth played baseball and Q Classify as true or false: a) Q b) Q a) The conjunction is false because Q is false. b) The conjunction is true because is true and Q is also true. Q Q T T T T F T F T T F F F DISJUNCTION A compound statement of the form or Q is called the disjunction of and Q. In symbols, the disjunction is written Q. For the disjunction to be true, either is true, Q is true, or both and Q are true. A disjunction is false only if and Q are both false. To understand the first line in the truth table, consider this situation: You can join the Math Club if you have an A average or you are enrolled in a mathematics class. If you satisfy both requirements, you may still join the club. EXAMLE 3 Let Babe Ruth played baseball and Q Classify as true or false: a) Q b) Q a) The disjunction is true because is true even though Q is false. b) The disjunction is true because is true and Q is also true. In some cases, we use parentheses to clarify the meaning of a compound statement. In this context, parentheses are given priority just as they are in numerical expressions. See Example 4. EXAMLE 4 Where, Q, and R are statements, suppose that is true, Q is false, and R is false. Classify the statement ( Q R) as true or false. The statement in parentheses is a disjunction of the form T or F and is true. Then ( Q R) is a conjunction of the form T and T, so the given statement is true. NOTE: The steps used to determine the truth of the statement in Example 4 can be written as follows: ( Q R) T (T F) T (T) T IMLICATION The final compound statement that we consider is of the form If, then Q. This statement is called an implication or a conditional statement. In symbols, we write
3 Section 1 Truth Tables A3 Q T T T T F F F T T F F T. The conditional statement makes a promise and fails to satisfy the conditions of this promise only when is true and Q is false (see the truth table). Consider the claim If you are good, then I ll give you a dollar. The only way the claim is false is when you are good, but I don t give you the dollar. In, is called the antecedent and Q is called the consequent. Truth tables have several applications. They are used to show that: 1. Two statements are logically equivalent, meaning their truth values are the same. 2. The negation of a compound statement has a particular form. For instance, we can show that the negation of ( Q) is ( Q). 3. Some statements are always true. Such statements are called tautologies. 4. An argument is valid. Valid arguments are discussed in Section 2. Recall that the conditional statement If, then Q is expressed symbolically by. Related to the conditional are its Converse If Q, then. (Q ) Inverse If not, then not Q. ( Q) Contrapositive If not Q, then not. ( Q ) LOGICAL EQUIVALENCE OF STATEMENTS DEFINITION: Two statements are logically equivalent if their truth values are the same for all possible true/false combinations of their components. In Example 5, we will show that an implication and its contrapositive are logically equivalent. Because the example involves two simple statements and Q, the truth table shown has four horizontal rows. At the top of the six vertical columns of the truth table are and Q as well as certain statements that involve statement, statement Q, or both. Because our goal is to compare the truth values of and Q, the column headings of the truth table are chosen accordingly. EXAMLE 5 Use a truth table to show that the statement and its contrapositive Q are logically equivalent. In the following truth table, the final columns show that the implication and its contrapositive have the same truth values for all combinations of and Q. Q Q T T F F T T T F F T F F F T T F T T F F T T T T Q A double arrow is used to show that two statements are logically equivalent. In Example 5,. () ( Q )
4 A4 Logic Appendix EXAMLE 6 On the basis of Example 5, write a statement that is logically equivalent to If a person lives in London, then the person lives in England. The given statement is true. Its contrapositive (also true) is If a person does not live in England, then the person does not live in London. DEMORGAN S LAWS In the study of logic, DeMorgan s Laws are used to describe the negations of the conjunction and disjunction. Augustin DeMorgan was a nineteenth-century English mathematician and logician DEMORGAN S LAWS [ ( Q)] [ Q] The negation of a conjunction is the disjunction of negations. [ ( Q)] [ Q] The negation of a disjunction is the conjunction of negations. EXAMLE 7 Use DeMorgan s Laws to write the negation of: a) and 13 is prime. b) Clint is cool or Tim is handsome. a) or 13 is composite (opposite of prime). b) Clint is not cool and Tim is not handsome. EXAMLE 8 Use a truth table to establish DeMorgan s first law, [ ( Q)] [ Q]. We need to show that [ ( Q)] and [ Q] have identical truth values. The results are shown in the fourth and seventh columns. Q Q ( Q) Q Q T T T F F F F T F F T F T T F T F T T F T F F F T T T T NOTE: The final column is completed by looking at the columns headed and Q. THE TAUTOLOGY A truth table can be used to show that some statements are always true. For instance, is always true.
5 Section 1 Truth Tables A5 DEFINITION: A tautology is a statement that is true for all possible truth values of its components. EXAMLE 9 Show that the statement ( Q) Q is a tautology. Here we look at the truth value of Q and then back to the column headed Q to determine the truth or falsity of ( Q) Q. Q NOTE: A tautology must have a final column consisting only of T s (true). Q ( Q) Q T T T T T F F T F T F T F F F T In the following example, there are three component statements:, Q, and R. In order to consider all true/false possibilities of these statements, we need eight horizontal rows in the table. EXAMLE 10 Is the statement (Q R) a tautology? To list all possible truth value combinations for, Q, and R, we use the eight horizontal rows shown. It will also be convenient to have one column headed Q R. We will then decide on the truth/falsity of (Q R) by considering the columns headed and (Q R). Q R Q R (Q R) T T T T T T T F T T T F T T T T F F F T F T T T T F T F T T F F T T T F F F F F The statement (Q R) is not a tautology because the final column contains an F. In Section 2 of this Logic Appendix, we will show that certain forms of deductive reasoning lead to conclusions that cannot be refuted. Such arguments are known as valid arguments and are used throughout the study of mathematics. To establish that an argument is valid, we must show that its premises and conclusion form a compound statement that is a tautology.
6 A6 Logic Appendix In Exercises 1 to 8, statement is true, Q is true, and R is false. Classify each statement as true or false. In Exercises 9 to 12, let Mary is an accountant and Q Hamburgers are health food. Write each symbolic statement in words. 9. Q In Exercises 13 to 18, form a truth table and determine all possible truth values for the given statement. Is the given statement a tautology? In Exercises 19 to 24, use DeMorgan s Laws to write the negation of the given statement. 19. Q Q ( Q) ( Q) Q Q Section 1 Exercises 1. Q R 2. R 3. Q 4. Q R 5. R (Q R) 8. ( Q) R [() Q] [() ] Q 21. Mary is an accountant or hamburgers are health food. 22. Mary is an accountant and hamburgers are health food. 23. It is cold and snowing. 24. We will go to dinner or to the movie. 25. Use a truth table to prove DeMorgan s second law, [ ( Q)] [ Q]. (HINT: See Example 8.) 26. Use a truth table to prove [Q ] [ Q]. (NOTE: This proof establishes that the converse and inverse of an implication are logically equivalent.) 27. Use a truth table to show that [() (Q R)] ( R) is a tautology. 28. Use a truth table to show that [ (Q R)] and [( Q) ( R)] are logically equivalent. 29. Use a truth table to show that [ Q] is the negation of. (HINT: The truth values of these statements must be opposites.) In Exercises 30 to 33, use the result of Exercise 29 to write the negation of the given statement. 30. If it is medicine, then it tastes bad. 31. If I am good, then I can go to the movie. 32. If I am 18 or older, then I can vote. 33. If I study hard and make an A, then I can be a member of hi Theta Kappa. 20. R Section 2 Valid Arguments What is an argument? By definition, an argument is a set of statements called premises, followed by a statement called the conclusion. In a valid argument, the truth of the premises forces a conclusion that must also be true. LAW OF DETACHMENT One form of valid argument used often in this textbook is called the Law of Detachment. This type of deductive reasoning takes the following form:
7 Section 2 Valid Arguments A7 LAW OF DETACHMENT 1. remise 1 2. remise 2 C. Q Conclusion EXAMLE 1 Use the Law of Detachment to determine the conclusion in the following argument. Assume that premises 1 and 2 are true. 1. If a person lives in London, then he lives in England. 2. Simon lives in London. Simon lives in England. The symbolic form of an argument is (conjunction of premises) implies (conclusion). To prove that the Law of Detachment is valid, we need to establish that [() ] Q is a tautology. In the truth table, study the five columns from left to right for each possible true/false combination of and Q. Consider the first row of the table: If and Q are true, then is true. Because is true and is true, the conjunction [() ] must be true. If [() ] is true and Q is true, then [() ] Q is true. The student should verify the entries in each row and column of the table. roof of the Law of Detachment Q () [() ] Q T T T T T T F F F T F T T F T F F T F T EXAMLE 2 Use the Law of Detachment to find the conclusion of the geometry argument. 1. If a triangle is isosceles, then it has two congruent sides. 2. ABC is isosceles. ABC has two congruent sides.
8 A8 Logic Appendix AN INVALID ARGUMENT A common error in reasoning occurs when one asserts the conclusion. This form of argument looks similar to the Law of Detachment. The mistake lies in the fact that the second premise is statement Q (and not ). Because the first premise of this argument states that implies Q, the argument is invalid (not valid). INVALID ARGUMENT 1. remise 1 2. Q remise 2 C. Conclusion EXAMLE 3 If possible, draw a conclusion in the following argument. 1. If Morgan works a lot of hours this week, Morgan can put money into savings. 2. Morgan put $50 in savings this week. No conclusion! Morgan may have money for savings because of his grandparents generosity. We cannot conclude that Morgan worked a lot. To establish that an argument is not valid, we must show that its symbolic form is not a tautology. Again the form of the argument is (conjunction of premises) implies (conclusion). For the invalid argument preceding Example 3, the symbolic form is [() Q]. To understand why this argument is not valid, see the last column in the following table. Q () Q [() Q] T T T T T T F F F T F T T T F F F T F T LAW OF NEGATIVE INFERENCE A second form of valid argument, the Law of Negative Inference, is shown next and then illustrated in Examples 4 and 5. This form of deductive reasoning was used to complete an indirect proof in Chapter 2. LAW OF NEGATIVE INFERENCE 1. remise 1 2. Q remise 2 C. Conclusion
9 Section 2 Valid Arguments A9 EXAMLE 4 Give the symbolic form of the Law of Negative Inference. (Conjunction of premises) implies (conclusion), so the form is [() Q] EXAMLE 5 Use the Law of Negative Inference to determine the conclusion in the following argument. Assume that premises 1 and 2 are true. 1. If a person plays on a major league baseball team, then he earns a good salary. 2. Bill McAllen does not earn a good salary. Bill McAllen does not play on a major league baseball team. To prove that the Law of Negative Inference is valid requires that we establish that [() Q] is a tautology. Again, the columns of the following truth table were developed from left to right, with the rightmost column showing that the symbolic form of the argument is a tautology. roof of the Law of Negative Inference Q Q () Q [() Q] T T F F T F T T F F T F F T F T T F T F T F F T T T T T EXAMLE 6 Use the Law of Negative Inference to find the conclusion in the geometry argument. 1. If a quadrilateral is a parallelogram, then its opposite sides are parallel. 2. The opposite sides of quadrilateral MNQ are not parallel. Quadrilateral MNQ is not a parallelogram.
10 A10 Logic Appendix LAW OF SYLLOGISM In every direct proof in geometry, there is a chain of conclusions that depend on a form of argument called the Law of Syllogism. This form of argument builds upon three or more simple statements. For simplicity, we will illustrate this principle of logic with three statements, Q, and R. LAW OF SYLLOGISM 1. remise 1 2. Q R remise 2 C. R Conclusion EXAMLE 7 Use the Law of Syllogism to find the conclusion in the argument. 1. If an integer is even, then it has a factor of If a number has a factor of 2, then it can be divided exactly by 2. If an integer is even, then it can be divided exactly by 2. In the proof of the Law of Syllogism, the truth table requires eight rows because there are eight different true/false combinations for three simple statements, Q, and R. The method for determining the number of rows needed in a truth table follows. If a statement is composed of n simple statements, then there are 2 n rows in the truth table. roof of the Law of Syllogism Q R Q R R () (Q R) [() (Q R)] ( R) T T T T T T T T T T F T F F F T T F T F T T F T T F F F T F F T F T T T T T T T F T F T F T F T F F T T T T T T F F F T T T T T EXAMLE 8 Use the Law of Syllogism to find the conclusion in the geometric argument. 1. If a triangle is isosceles, then it has two congruent sides. 2. If a triangle has two congruent sides, then it has two congruent angles.
11 Section 2 Valid Arguments A11 If a triangle is isosceles, then it has two congruent angles. Many forms of deductive reasoning are used to reach conclusions. In each form, the truth table corresponding to the form of argument reveals a tautology. Section 2 Exercises In Exercises 1 to 4, use the Law of Detachment to draw a conclusion. 1. If two angles are complementary, the sum of their measures is and 2 are complementary. 2. If it gets hot this morning, we will have to turn on the air conditioner. It is hot this morning. 3. If Tina goes ice skating, she will have a good time. Tina goes ice skating. 4. If Gloria is scheduled to perform at the concert, then we will go to the concert. Gloria is scheduled to perform at the concert. In Exercises 5 to 8, use the Law of Negative Inference to draw a conclusion. 5. If two angles are complementary, the sum of their measures is 90. m 1 m If an animal lives in the zoo, it should have a companion of the same species. Fido does not have a companion of the same species. 7. If Tom doesn t finish the job, then I will not pay him. I did pay Tom for the job. 8. If the traffic light changes, then you can travel through the intersection. You cannot travel through the intersection. In Exercises 9 to 12, use the Law of Syllogism to draw a conclusion. 9. If Izzi lives in Chicago, then she lives in Illinois. If a person lives in Illinois, then she lives in the Midwest. 10. If you pay your tuition, then you will need to pay additional fees. If you need to pay additional fees, then you will need to write a check. 11. If Ken Travis gets a hit, then my favorite baseball team will win the game. If my favorite baseball team wins the game, then I will be happy. 12. If Tom speaks at the rally, the union members will listen. If the union members listen, the union will decide not to strike. In Exercises 13 to 16, determine which arguments are valid If I go to the football game, I ll cheer for the Cowboys. 2. I went to the football game. C. I cheered for the Cowboys If I go to the football game, I ll cheer for the Cowboys. 2. I cheered for the Cowboys. C. I went to the football game If Bill and Mary stop to visit, I ll prepare a meal. 2. Bill stopped to visit at 5.M. C. I prepared a meal If it turns cold and snows, I ll build a fire in the fireplace. 2. The temperature fell below freezing around 3.M. 3. It began snowing before 5.M. C. I built a fire in the fireplace. In Exercises 17 to 20, which law of reasoning was used to reach the conclusion? If it is cloudy, then it will rain. 2. If it rains, the garden will grow. C. If it is cloudy, the garden will grow If you leave the apartment unlocked, someone will steal your CD player. 2. Your CD player was not stolen. C. You did not leave the apartment unlocked If it snows more than 3 in. today, then we will go skiing. 2. It snowed 6 in. today. C. We will go skiing.
12 A12 Logic Appendix If the mosquitoes are bad, I won t get out of the car. 2. If I don t get out of the car, we cannot have a picnic. C. If the mosquitoes are bad, we cannot have a picnic. 21. A form of deductive reasoning known as the Law of Denial (or Denial of Alternative) is shown below. LAW OF DENIAL 1. Q 2. Q C. a) Write the symbolic form of this argument. b) Complete a truth table to establish the validity of this argument. 23. Mary s family will visit us at Thanksgiving or at Christmas. Mary s family did not visit us at Thanksgiving. 24. Wendell will have to study geometry or he will fail that course. Wendell did not fail the geometry course. In Exercises 25 to 27, complete a truth table to validate each form of reasoning. Do not merely copy the truth tables in this section. 25. Law of Detachment 26. Law of Negative Inference 27. Law of Syllogism In Exercises 22 to 24, use the Law of Denial (see Exercise 21) to draw a conclusion. 22. Terry is sick or hurt. Terry is not hurt.
Handout #1: Mathematical Reasoning
Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or
More informationReasoning and Proof Review Questions
www.ck12.org 1 Reasoning and Proof Review Questions Inductive Reasoning from Patterns 1. What is the next term in the pattern: 1, 4, 9, 16, 25, 36, 49...? (a) 81 (b) 64 (c) 121 (d) 56 2. What is the next
More informationMath 3000 Section 003 Intro to Abstract Math Homework 2
Math 3000 Section 003 Intro to Abstract Math Homework 2 Department of Mathematical and Statistical Sciences University of Colorado Denver, Spring 2012 Solutions (February 13, 2012) Please note that these
More informationVocabulary. Term Page Definition Clarifying Example. biconditional statement. conclusion. conditional statement. conjecture.
CHAPTER Vocabulary The table contains important vocabulary terms from Chapter. As you work through the chapter, fill in the page number, definition, and a clarifying example. biconditional statement conclusion
More informationShow all work for credit. Attach paper as needed to keep work neat & organized.
Geometry Semester 1 Review Part 2 Name Show all work for credit. Attach paper as needed to keep work neat & organized. Determine the reflectional (# of lines and draw them in) and rotational symmetry (order
More informationCHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs
CHAPTER 3 Methods of Proofs 1. Logical Arguments and Formal Proofs 1.1. Basic Terminology. An axiom is a statement that is given to be true. A rule of inference is a logical rule that is used to deduce
More informationGeometry Course Summary Department: Math. Semester 1
Geometry Course Summary Department: Math Semester 1 Learning Objective #1 Geometry Basics Targets to Meet Learning Objective #1 Use inductive reasoning to make conclusions about mathematical patterns Give
More informationdef: An axiom is a statement that is assumed to be true, or in the case of a mathematical system, is used to specify the system.
Section 1.5 Methods of Proof 1.5.1 1.5 METHODS OF PROOF Some forms of argument ( valid ) never lead from correct statements to an incorrect. Some other forms of argument ( fallacies ) can lead from true
More informationLecture Notes in Discrete Mathematics. Marcel B. Finan Arkansas Tech University c All Rights Reserved
Lecture Notes in Discrete Mathematics Marcel B. Finan Arkansas Tech University c All Rights Reserved 2 Preface This book is designed for a one semester course in discrete mathematics for sophomore or junior
More informationCHAPTER 2. Logic. 1. Logic Definitions. Notation: Variables are used to represent propositions. The most common variables used are p, q, and r.
CHAPTER 2 Logic 1. Logic Definitions 1.1. Propositions. Definition 1.1.1. A proposition is a declarative sentence that is either true (denoted either T or 1) or false (denoted either F or 0). Notation:
More informationalternate interior angles
alternate interior angles two non-adjacent angles that lie on the opposite sides of a transversal between two lines that the transversal intersects (a description of the location of the angles); alternate
More informationNumber Sense and Operations
Number Sense and Operations representing as they: 6.N.1 6.N.2 6.N.3 6.N.4 6.N.5 6.N.6 6.N.7 6.N.8 6.N.9 6.N.10 6.N.11 6.N.12 6.N.13. 6.N.14 6.N.15 Demonstrate an understanding of positive integer exponents
More informationDISCRETE MATH: LECTURE 3
DISCRETE MATH: LECTURE 3 DR. DANIEL FREEMAN 1. Chapter 2.2 Conditional Statements If p and q are statement variables, the conditional of q by p is If p then q or p implies q and is denoted p q. It is false
More informationLikewise, we have contradictions: formulas that can only be false, e.g. (p p).
CHAPTER 4. STATEMENT LOGIC 59 The rightmost column of this truth table contains instances of T and instances of F. Notice that there are no degrees of contingency. If both values are possible, the formula
More informationBeyond Propositional Logic Lukasiewicz s System
Beyond Propositional Logic Lukasiewicz s System Consider the following set of truth tables: 1 0 0 1 # # 1 0 # 1 1 0 # 0 0 0 0 # # 0 # 1 0 # 1 1 1 1 0 1 0 # # 1 # # 1 0 # 1 1 0 # 0 1 1 1 # 1 # 1 Brandon
More informationCurriculum Map by Block Geometry Mapping for Math Block Testing 2007-2008. August 20 to August 24 Review concepts from previous grades.
Curriculum Map by Geometry Mapping for Math Testing 2007-2008 Pre- s 1 August 20 to August 24 Review concepts from previous grades. August 27 to September 28 (Assessment to be completed by September 28)
More informationPropositional Logic. A proposition is a declarative sentence (a sentence that declares a fact) that is either true or false, but not both.
irst Order Logic Propositional Logic A proposition is a declarative sentence (a sentence that declares a fact) that is either true or false, but not both. Are the following sentences propositions? oronto
More informationIntermediate Math Circles October 10, 2012 Geometry I: Angles
Intermediate Math Circles October 10, 2012 Geometry I: Angles Over the next four weeks, we will look at several geometry topics. Some of the topics may be familiar to you while others, for most of you,
More informationA Second Course in Mathematics Concepts for Elementary Teachers: Theory, Problems, and Solutions
A Second Course in Mathematics Concepts for Elementary Teachers: Theory, Problems, and Solutions Marcel B. Finan Arkansas Tech University c All Rights Reserved First Draft February 8, 2006 1 Contents 25
More information2.5 If-Then Statements and
Page 1 of 6 2.5 If-Then Statements and Deductive Reasoning Goal Use if-then statements. Apply laws of logic. An if-then statement has two parts. The if part contains the hypothesis. The then part contains
More informationMathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson
Mathematics for Computer Science/Software Engineering Notes for the course MSM1F3 Dr. R. A. Wilson October 1996 Chapter 1 Logic Lecture no. 1. We introduce the concept of a proposition, which is a statement
More informationGeometry 1. Unit 3: Perpendicular and Parallel Lines
Geometry 1 Unit 3: Perpendicular and Parallel Lines Geometry 1 Unit 3 3.1 Lines and Angles Lines and Angles Parallel Lines Parallel lines are lines that are coplanar and do not intersect. Some examples
More informationHigh School Geometry Test Sampler Math Common Core Sampler Test
High School Geometry Test Sampler Math Common Core Sampler Test Our High School Geometry sampler covers the twenty most common questions that we see targeted for this level. For complete tests and break
More informationPerformance Based Learning and Assessment Task Triangles in Parallelograms I. ASSESSSMENT TASK OVERVIEW & PURPOSE: In this task, students will
Performance Based Learning and Assessment Task Triangles in Parallelograms I. ASSESSSMENT TASK OVERVIEW & PURPOSE: In this task, students will discover and prove the relationship between the triangles
More informationLesson 18: Looking More Carefully at Parallel Lines
Student Outcomes Students learn to construct a line parallel to a given line through a point not on that line using a rotation by 180. They learn how to prove the alternate interior angles theorem using
More informationSemester Exam Review. Multiple Choice Identify the choice that best completes the statement or answers the question.
Semester Exam Review Multiple Choice Identify the choice that best completes the statement or answers the question. 1. Are O, N, and P collinear? If so, name the line on which they lie. O N M P a. No,
More information2.1. Inductive Reasoning EXAMPLE A
CONDENSED LESSON 2.1 Inductive Reasoning In this lesson you will Learn how inductive reasoning is used in science and mathematics Use inductive reasoning to make conjectures about sequences of numbers
More informationRevised Version of Chapter 23. We learned long ago how to solve linear congruences. ax c (mod m)
Chapter 23 Squares Modulo p Revised Version of Chapter 23 We learned long ago how to solve linear congruences ax c (mod m) (see Chapter 8). It s now time to take the plunge and move on to quadratic equations.
More informationGEOMETRY CONCEPT MAP. Suggested Sequence:
CONCEPT MAP GEOMETRY August 2011 Suggested Sequence: 1. Tools of Geometry 2. Reasoning and Proof 3. Parallel and Perpendicular Lines 4. Congruent Triangles 5. Relationships Within Triangles 6. Polygons
More informationWHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?
WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? introduction Many students seem to have trouble with the notion of a mathematical proof. People that come to a course like Math 216, who certainly
More informationSelected practice exam solutions (part 5, item 2) (MAT 360)
Selected practice exam solutions (part 5, item ) (MAT 360) Harder 8,91,9,94(smaller should be replaced by greater )95,103,109,140,160,(178,179,180,181 this is really one problem),188,193,194,195 8. On
More informationGeometry Module 4 Unit 2 Practice Exam
Name: Class: Date: ID: A Geometry Module 4 Unit 2 Practice Exam Multiple Choice Identify the choice that best completes the statement or answers the question. 1. Which diagram shows the most useful positioning
More informationKEANSBURG SCHOOL DISTRICT KEANSBURG HIGH SCHOOL Mathematics Department. HSPA 10 Curriculum. September 2007
KEANSBURG HIGH SCHOOL Mathematics Department HSPA 10 Curriculum September 2007 Written by: Karen Egan Mathematics Supervisor: Ann Gagliardi 7 days Sample and Display Data (Chapter 1 pp. 4-47) Surveys and
More informationBoolean Design of Patterns
123 Boolean Design of Patterns Basic weave structures interlacement patterns can be described in many ways, but they all come down to representing the crossings of warp and weft threads. One or the other
More informationGeometry Chapter 2 Study Guide
Geometry Chapter 2 Study Guide Short Answer ( 2 Points Each) 1. (1 point) Name the Property of Equality that justifies the statement: If g = h, then. 2. (1 point) Name the Property of Congruence that justifies
More informationConsumer Math 15 INDEPENDENT LEAR NING S INC E 1975. Consumer Math
Consumer Math 15 INDEPENDENT LEAR NING S INC E 1975 Consumer Math Consumer Math ENROLLED STUDENTS ONLY This course is designed for the student who is challenged by abstract forms of higher This math. course
More informationMATH STUDENT BOOK. 8th Grade Unit 6
MATH STUDENT BOOK 8th Grade Unit 6 Unit 6 Measurement Math 806 Measurement Introduction 3 1. Angle Measures and Circles 5 Classify and Measure Angles 5 Perpendicular and Parallel Lines, Part 1 12 Perpendicular
More information37 Basic Geometric Shapes and Figures
37 Basic Geometric Shapes and Figures In this section we discuss basic geometric shapes and figures such as points, lines, line segments, planes, angles, triangles, and quadrilaterals. The three pillars
More informationApplied Liberal Arts Mathematics MAT-105-TE
Applied Liberal Arts Mathematics MAT-105-TE This TECEP tests a broad-based overview of mathematics intended for non-math majors and emphasizes problem-solving modeled on real-life applications. Topics
More informationbrighten up cloud over clear up freeze over cool down
Example Dialogues Alicia : Leo when are we going on a picnic? You promised we d go today! Leo : I m sorry Alicia, we can t go today. It s so clouded over! It might rain. Alicia : Okay... But if it clears
More information/27 Intro to Geometry Review
/27 Intro to Geometry Review 1. An acute has a measure of. 2. A right has a measure of. 3. An obtuse has a measure of. 13. Two supplementary angles are in ratio 11:7. Find the measure of each. 14. In the
More informationG C.3 Construct the inscribed and circumscribed circles of a triangle, and prove properties of angles for a quadrilateral inscribed in a circle.
Performance Assessment Task Circle and Squares Grade 10 This task challenges a student to analyze characteristics of 2 dimensional shapes to develop mathematical arguments about geometric relationships.
More informationMath 166 - Week in Review #4. A proposition, or statement, is a declarative sentence that can be classified as either true or false, but not both.
Math 166 Spring 2007 c Heather Ramsey Page 1 Math 166 - Week in Review #4 Sections A.1 and A.2 - Propositions, Connectives, and Truth Tables A proposition, or statement, is a declarative sentence that
More informationAngles that are between parallel lines, but on opposite sides of a transversal.
GLOSSARY Appendix A Appendix A: Glossary Acute Angle An angle that measures less than 90. Acute Triangle Alternate Angles A triangle that has three acute angles. Angles that are between parallel lines,
More information2. If C is the midpoint of AB and B is the midpoint of AE, can you say that the measure of AC is 1/4 the measure of AE?
MATH 206 - Midterm Exam 2 Practice Exam Solutions 1. Show two rays in the same plane that intersect at more than one point. Rays AB and BA intersect at all points from A to B. 2. If C is the midpoint of
More informationGeometry of 2D Shapes
Name: Geometry of 2D Shapes Answer these questions in your class workbook: 1. Give the definitions of each of the following shapes and draw an example of each one: a) equilateral triangle b) isosceles
More informationLesson #13 Congruence, Symmetry and Transformations: Translations, Reflections, and Rotations
Math Buddies -Grade 4 13-1 Lesson #13 Congruence, Symmetry and Transformations: Translations, Reflections, and Rotations Goal: Identify congruent and noncongruent figures Recognize the congruence of plane
More information1.1 Identify Points, Lines, and Planes
1.1 Identify Points, Lines, and Planes Objective: Name and sketch geometric figures. Key Vocabulary Undefined terms - These words do not have formal definitions, but there is agreement aboutwhat they mean.
More informationLOGIC AND SETS CLAST MATHEMATICS COMPETENCIES
5 LOGIC AND SETS CLAST MATHEMATICS COMPETENCIES IE1: IIE1: IIE2: IIE3: IIE4: IIIE1: IIIE2: IVE1: Deduce facts of set inclusion or set non-inclusion from a diagram Identify statements equivalent to the
More informationMathematical Induction
Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,
More informationINCIDENCE-BETWEENNESS GEOMETRY
INCIDENCE-BETWEENNESS GEOMETRY MATH 410, CSUSM. SPRING 2008. PROFESSOR AITKEN This document covers the geometry that can be developed with just the axioms related to incidence and betweenness. The full
More informationPrentice Hall: Middle School Math, Course 1 2002 Correlated to: New York Mathematics Learning Standards (Intermediate)
New York Mathematics Learning Standards (Intermediate) Mathematical Reasoning Key Idea: Students use MATHEMATICAL REASONING to analyze mathematical situations, make conjectures, gather evidence, and construct
More informationSituation: Proving Quadrilaterals in the Coordinate Plane
Situation: Proving Quadrilaterals in the Coordinate Plane 1 Prepared at the University of Georgia EMAT 6500 Date Last Revised: 07/31/013 Michael Ferra Prompt A teacher in a high school Coordinate Algebra
More informationBasic Logic Gates Richard E. Haskell
BASIC LOGIC GATES 1 E Basic Logic Gates Richard E. Haskell All digital systems are made from a few basic digital circuits that we call logic gates. These circuits perform the basic logic functions that
More informationBaltic Way 1995. Västerås (Sweden), November 12, 1995. Problems and solutions
Baltic Way 995 Västerås (Sweden), November, 995 Problems and solutions. Find all triples (x, y, z) of positive integers satisfying the system of equations { x = (y + z) x 6 = y 6 + z 6 + 3(y + z ). Solution.
More informationp: I am elected q: I will lower the taxes
Implication Conditional Statement p q (p implies q) (if p then q) is the proposition that is false when p is true and q is false and true otherwise. Equivalent to not p or q Ex. If I am elected then I
More informationA Few Basics of Probability
A Few Basics of Probability Philosophy 57 Spring, 2004 1 Introduction This handout distinguishes between inductive and deductive logic, and then introduces probability, a concept essential to the study
More informationGrade 3 Core Standard III Assessment
Grade 3 Core Standard III Assessment Geometry and Measurement Name: Date: 3.3.1 Identify right angles in two-dimensional shapes and determine if angles are greater than or less than a right angle (obtuse
More informationScope and Sequence KA KB 1A 1B 2A 2B 3A 3B 4A 4B 5A 5B 6A 6B
Scope and Sequence Earlybird Kindergarten, Standards Edition Primary Mathematics, Standards Edition Copyright 2008 [SingaporeMath.com Inc.] The check mark indicates where the topic is first introduced
More informationMMLA Student Test/MathAssessments.MSCenters.Org. MMLA Mathematics Assessment Items
Page 1 of 42 MMLA Mathematics Assessment Items Name: Date: Multiple Choice Questions Select the one best answer for each question. 1. Which of the following sets of numbers are all of the factors of 24?
More informationDear Grade 4 Families,
Dear Grade 4 Families, During the next few weeks, our class will be exploring geometry. Through daily activities, we will explore the relationship between flat, two-dimensional figures and solid, three-dimensional
More informationInvestigating Quadrilaterals Grade Four
Ohio Standards Connection Geometry and Spatial Sense Benchmark A Provide rationale for groupings and comparisons of two-dimensional figures and three-dimensional objects. Indicator 3 Identify similarities
More information1.2 Forms and Validity
1.2 Forms and Validity Deductive Logic is the study of methods for determining whether or not an argument is valid. In this section we identify some famous valid argument forms. Argument Forms Consider
More informationPreparation Prepare a set of standard triangle shapes for each student. The shapes are found in the Guess My Rule Cards handout.
Classifying Triangles Student Probe How are triangles A, B, and C alike? How are triangles A, B, and C different? A B C Answer: They are alike because they each have 3 sides and 3 angles. They are different
More informationCourse 2 Summer Packet For students entering 8th grade in the fall
Course 2 Summer Packet For students entering 8th grade in the fall The summer packet is comprised of important topics upcoming eighth graders should know upon entering math in the fall. Please use your
More informationClock Arithmetic and Modular Systems Clock Arithmetic The introduction to Chapter 4 described a mathematical system
CHAPTER Number Theory FIGURE FIGURE FIGURE Plus hours Plus hours Plus hours + = + = + = FIGURE. Clock Arithmetic and Modular Systems Clock Arithmetic The introduction to Chapter described a mathematical
More informationConditional Sentences Third Condition (Past Time - Unreal/ Contrary to Fact)
Conditional Sentences Third Condition (Past Time - Unreal/ Contrary to Fact) Complete the following sentences using the correct form of the verbs provided. Ex. Annie failed her history test, but if she
More information1.3. DOT PRODUCT 19. 6. If θ is the angle (between 0 and π) between two non-zero vectors u and v,
1.3. DOT PRODUCT 19 1.3 Dot Product 1.3.1 Definitions and Properties The dot product is the first way to multiply two vectors. The definition we will give below may appear arbitrary. But it is not. It
More informationIncenter Circumcenter
TRIANGLE: Centers: Incenter Incenter is the center of the inscribed circle (incircle) of the triangle, it is the point of intersection of the angle bisectors of the triangle. The radius of incircle is
More informationWeek 1 Chapter 1: Fundamentals of Geometry. Week 2 Chapter 1: Fundamentals of Geometry. Week 3 Chapter 1: Fundamentals of Geometry Chapter 1 Test
Thinkwell s Homeschool Geometry Course Lesson Plan: 34 weeks Welcome to Thinkwell s Homeschool Geometry! We re thrilled that you ve decided to make us part of your homeschool curriculum. This lesson plan
More informationConjunction is true when both parts of the statement are true. (p is true, q is true. p^q is true)
Mathematical Sentence - a sentence that states a fact or complete idea Open sentence contains a variable Closed sentence can be judged either true or false Truth value true/false Negation not (~) * Statement
More informationCSL105: Discrete Mathematical Structures. Ragesh Jaiswal, CSE, IIT Delhi
Propositional Logic: logical operators Negation ( ) Conjunction ( ) Disjunction ( ). Exclusive or ( ) Conditional statement ( ) Bi-conditional statement ( ): Let p and q be propositions. The biconditional
More informationChapter 3.1 Angles. Geometry. Objectives: Define what an angle is. Define the parts of an angle.
Chapter 3.1 Angles Define what an angle is. Define the parts of an angle. Recall our definition for a ray. A ray is a line segment with a definite starting point and extends into infinity in only one direction.
More informationGeometry 8-1 Angles of Polygons
. Sum of Measures of Interior ngles Geometry 8-1 ngles of Polygons 1. Interior angles - The sum of the measures of the angles of each polygon can be found by adding the measures of the angles of a triangle.
More information5.1 Midsegment Theorem and Coordinate Proof
5.1 Midsegment Theorem and Coordinate Proof Obj.: Use properties of midsegments and write coordinate proofs. Key Vocabulary Midsegment of a triangle - A midsegment of a triangle is a segment that connects
More informationWRITING PROOFS. Christopher Heil Georgia Institute of Technology
WRITING PROOFS Christopher Heil Georgia Institute of Technology A theorem is just a statement of fact A proof of the theorem is a logical explanation of why the theorem is true Many theorems have this
More information39 Symmetry of Plane Figures
39 Symmetry of Plane Figures In this section, we are interested in the symmetric properties of plane figures. By a symmetry of a plane figure we mean a motion of the plane that moves the figure so that
More informationTennessee Mathematics Standards 2009-2010 Implementation. Grade Six Mathematics. Standard 1 Mathematical Processes
Tennessee Mathematics Standards 2009-2010 Implementation Grade Six Mathematics Standard 1 Mathematical Processes GLE 0606.1.1 Use mathematical language, symbols, and definitions while developing mathematical
More informationTrigonometric Functions and Equations
Contents Trigonometric Functions and Equations Lesson 1 Reasoning with Trigonometric Functions Investigations 1 Proving Trigonometric Identities... 271 2 Sum and Difference Identities... 276 3 Extending
More informationNEW MEXICO Grade 6 MATHEMATICS STANDARDS
PROCESS STANDARDS To help New Mexico students achieve the Content Standards enumerated below, teachers are encouraged to base instruction on the following Process Standards: Problem Solving Build new mathematical
More informationOnline LEI Lesson 4. Lesson 4 Why Do People Go to School? LEARNING, EARNING
Online LEI Lesson 4 Lesson 4 Why Do People Go to School? On l i n e L E I 39 4 Why Do People Go to School? LESS 4 WHY DO PEOPLE GO TO SCHOOL? Lesson Description The students look at a simple chart relating
More informationTHREE DIMENSIONAL GEOMETRY
Chapter 8 THREE DIMENSIONAL GEOMETRY 8.1 Introduction In this chapter we present a vector algebra approach to three dimensional geometry. The aim is to present standard properties of lines and planes,
More information101 Roulette Winning tips
101 Roulette Winning tips The truth about the most popular roulette systems sold online and which ones to avoid... I have been playing and buying roulette systems for many years and I am often asked for
More informationGrade 8 Mathematics Geometry: Lesson 2
Grade 8 Mathematics Geometry: Lesson 2 Read aloud to the students the material that is printed in boldface type inside the boxes. Information in regular type inside the boxes and all information outside
More information+ 4θ 4. We want to minimize this function, and we know that local minima occur when the derivative equals zero. Then consider
Math Xb Applications of Trig Derivatives 1. A woman at point A on the shore of a circular lake with radius 2 miles wants to arrive at the point C diametrically opposite A on the other side of the lake
More informationDay 1. 1. What number is five cubed? 2. A circle has radius r. What is the formula for the area of the circle?
Mental Arithmetic Questions 1. What number is five cubed? KS3 MATHEMATICS 10 4 10 Level 7 Questions Day 1 2. A circle has radius r. What is the formula for the area of the circle? 3. Jenny and Mark share
More informationVISUAL GUIDE to. RX Scripting. for Roulette Xtreme - System Designer 2.0
VISUAL GUIDE to RX Scripting for Roulette Xtreme - System Designer 2.0 UX Software - 2009 TABLE OF CONTENTS INTRODUCTION... ii What is this book about?... iii How to use this book... iii Time to start...
More informationYOU CAN COUNT ON NUMBER LINES
Key Idea 2 Number and Numeration: Students use number sense and numeration to develop an understanding of multiple uses of numbers in the real world, the use of numbers to communicate mathematically, and
More informationInductive Reasoning. Definition. Basing a conclusion on specific examples. Examples: All crows are black. The sun will rise tomorrow.
Inductive Reasoning Definition. Basing a conclusion on specific examples. Examples: All crows are black. The sun will rise tomorrow. All Islamic people are terrorists. Gravity: Things fall down. Scientific
More informationRules of Inference Friday, January 18, 2013 Chittu Tripathy Lecture 05
Rules of Inference Today s Menu Rules of Inference Quantifiers: Universal and Existential Nesting of Quantifiers Applications Old Example Re-Revisited Our Old Example: Suppose we have: All human beings
More informationMath BINGO MOST POPULAR. Do you have the lucky card? B I N G O
MOST POPULAR Math BINGO Do you have the lucky card? Your club members will love this MATHCOUNTS reboot of a classic game. With the perfect mix of luck and skill, this is a game that can be enjoyed by students
More informationLAKE ELSINORE UNIFIED SCHOOL DISTRICT
LAKE ELSINORE UNIFIED SCHOOL DISTRICT Title: PLATO Algebra 1-Semester 2 Grade Level: 10-12 Department: Mathematics Credit: 5 Prerequisite: Letter grade of F and/or N/C in Algebra 1, Semester 2 Course Description:
More informationEXAM. Exam #3. Math 1430, Spring 2002. April 21, 2001 ANSWERS
EXAM Exam #3 Math 1430, Spring 2002 April 21, 2001 ANSWERS i 60 pts. Problem 1. A city has two newspapers, the Gazette and the Journal. In a survey of 1, 200 residents, 500 read the Journal, 700 read the
More informationMathematical Induction
Mathematical Induction In logic, we often want to prove that every member of an infinite set has some feature. E.g., we would like to show: N 1 : is a number 1 : has the feature Φ ( x)(n 1 x! 1 x) How
More informationDeductive reasoning is the application of a general statement to a specific instance.
Section1.1: Deductive versus Inductive Reasoning Logic is the science of correct reasoning. Websters New World College Dictionary defines reasoning as the drawing of inferences or conclusions from known
More informationPredicate Logic. Example: All men are mortal. Socrates is a man. Socrates is mortal.
Predicate Logic Example: All men are mortal. Socrates is a man. Socrates is mortal. Note: We need logic laws that work for statements involving quantities like some and all. In English, the predicate is
More informationParallel and Perpendicular. We show a small box in one of the angles to show that the lines are perpendicular.
CONDENSED L E S S O N. Parallel and Perpendicular In this lesson you will learn the meaning of parallel and perpendicular discover how the slopes of parallel and perpendicular lines are related use slopes
More information12. Parallels. Then there exists a line through P parallel to l.
12. Parallels Given one rail of a railroad track, is there always a second rail whose (perpendicular) distance from the first rail is exactly the width across the tires of a train, so that the two rails
More informationAlgebra Geometry Glossary. 90 angle
lgebra Geometry Glossary 1) acute angle an angle less than 90 acute angle 90 angle 2) acute triangle a triangle where all angles are less than 90 3) adjacent angles angles that share a common leg Example:
More informationMaking Inferences Picture #1
Making Inferences Picture #1 Casey and Josie are standing in front of East Moore Middle School. Making Inferences Picture #2 Sue surprised her friend with a gift. Making Inferences Picture #3 Angela isn
More information