Logic Appendix. Section 1 Truth Tables CONJUNCTION EXAMPLE 1

Size: px
Start display at page:

Download "Logic Appendix. Section 1 Truth Tables CONJUNCTION EXAMPLE 1"

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

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 information

Reasoning and Proof Review Questions

Reasoning 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 information

Math 3000 Section 003 Intro to Abstract Math Homework 2

Math 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 information

Vocabulary. Term Page Definition Clarifying Example. biconditional statement. conclusion. conditional statement. conjecture.

Vocabulary. 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 information

Show all work for credit. Attach paper as needed to keep work neat & organized.

Show 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 information

CHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs

CHAPTER 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 information

Geometry Course Summary Department: Math. Semester 1

Geometry 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 information

def: 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.

def: 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 information

Lecture 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 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 information

CHAPTER 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. 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 information

alternate interior angles

alternate 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 information

Number Sense and Operations

Number 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 information

DISCRETE MATH: LECTURE 3

DISCRETE 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 information

Likewise, we have contradictions: formulas that can only be false, e.g. (p p).

Likewise, 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 information

Beyond Propositional Logic Lukasiewicz s System

Beyond 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 information

Curriculum Map by Block Geometry Mapping for Math Block Testing 2007-2008. August 20 to August 24 Review concepts from previous grades.

Curriculum 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 information

Propositional Logic. A proposition is a declarative sentence (a sentence that declares a fact) that is either true or false, but not both.

Propositional 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 information

Intermediate Math Circles October 10, 2012 Geometry I: Angles

Intermediate 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 information

A 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 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 information

2.5 If-Then Statements and

2.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 information

Mathematics 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 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 information

Geometry 1. Unit 3: Perpendicular and Parallel Lines

Geometry 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 information

High School Geometry Test Sampler Math Common Core Sampler Test

High 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 information

Performance 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 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 information

Lesson 18: Looking More Carefully at Parallel Lines

Lesson 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 information

Semester 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. 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 information

2.1. Inductive Reasoning EXAMPLE A

2.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 information

Revised Version of Chapter 23. We learned long ago how to solve linear congruences. ax c (mod m)

Revised 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 information

GEOMETRY CONCEPT MAP. Suggested Sequence:

GEOMETRY 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 information

WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?

WHAT 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 information

Selected practice exam solutions (part 5, item 2) (MAT 360)

Selected 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 information

Geometry Module 4 Unit 2 Practice Exam

Geometry 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 information

KEANSBURG SCHOOL DISTRICT KEANSBURG HIGH SCHOOL Mathematics Department. HSPA 10 Curriculum. September 2007

KEANSBURG 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 information

Boolean Design of Patterns

Boolean 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 information

Geometry Chapter 2 Study Guide

Geometry 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 information

Consumer 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 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 information

MATH STUDENT BOOK. 8th Grade Unit 6

MATH 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 information

37 Basic Geometric Shapes and Figures

37 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 information

Applied Liberal Arts Mathematics MAT-105-TE

Applied 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 information

brighten up cloud over clear up freeze over cool down

brighten 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 /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 information

G C.3 Construct the inscribed and circumscribed circles of a triangle, and prove properties of angles for a quadrilateral inscribed in a circle.

G 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 information

Math 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 - 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 information

Angles that are between parallel lines, but on opposite sides of a transversal.

Angles 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 information

2. 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?

2. 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 information

Geometry of 2D Shapes

Geometry 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 information

Lesson #13 Congruence, Symmetry and Transformations: Translations, Reflections, and Rotations

Lesson #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 information

1.1 Identify Points, Lines, and Planes

1.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 information

LOGIC AND SETS CLAST MATHEMATICS COMPETENCIES

LOGIC 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 information

Mathematical Induction

Mathematical 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 information

INCIDENCE-BETWEENNESS GEOMETRY

INCIDENCE-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 information

Prentice Hall: Middle School Math, Course 1 2002 Correlated to: New York Mathematics Learning Standards (Intermediate)

Prentice 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 information

Situation: Proving Quadrilaterals in the Coordinate Plane

Situation: 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 information

Basic Logic Gates Richard E. Haskell

Basic 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 information

Baltic Way 1995. Västerås (Sweden), November 12, 1995. Problems and solutions

Baltic 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 information

p: I am elected q: I will lower the taxes

p: 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 information

A Few Basics of Probability

A 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 information

Grade 3 Core Standard III Assessment

Grade 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 information

Scope and Sequence KA KB 1A 1B 2A 2B 3A 3B 4A 4B 5A 5B 6A 6B

Scope 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 information

MMLA Student Test/MathAssessments.MSCenters.Org. MMLA Mathematics Assessment Items

MMLA 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 information

Dear Grade 4 Families,

Dear 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 information

Investigating Quadrilaterals Grade Four

Investigating 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 information

1.2 Forms and Validity

1.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 information

Preparation Prepare a set of standard triangle shapes for each student. The shapes are found in the Guess My Rule Cards handout.

Preparation 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 information

Course 2 Summer Packet For students entering 8th grade in the fall

Course 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 information

Clock Arithmetic and Modular Systems Clock Arithmetic The introduction to Chapter 4 described a mathematical system

Clock 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 information

Conditional Sentences Third Condition (Past Time - Unreal/ Contrary to Fact)

Conditional 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 information

1.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. 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 information

Incenter Circumcenter

Incenter 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 information

Week 1 Chapter 1: Fundamentals of Geometry. Week 2 Chapter 1: Fundamentals of Geometry. Week 3 Chapter 1: Fundamentals of Geometry Chapter 1 Test

Week 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 information

Conjunction is true when both parts of the statement are true. (p is true, q is true. p^q is true)

Conjunction 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 information

CSL105: Discrete Mathematical Structures. Ragesh Jaiswal, CSE, IIT Delhi

CSL105: 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 information

Chapter 3.1 Angles. Geometry. Objectives: Define what an angle is. Define the parts of an angle.

Chapter 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 information

Geometry 8-1 Angles of Polygons

Geometry 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 information

5.1 Midsegment Theorem and Coordinate Proof

5.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 information

WRITING PROOFS. Christopher Heil Georgia Institute of Technology

WRITING 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 information

39 Symmetry of Plane Figures

39 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 information

Tennessee 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 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 information

Trigonometric Functions and Equations

Trigonometric 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 information

NEW MEXICO Grade 6 MATHEMATICS STANDARDS

NEW 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 information

Online 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? 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 information

THREE DIMENSIONAL GEOMETRY

THREE 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 information

101 Roulette Winning tips

101 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 information

Grade 8 Mathematics Geometry: Lesson 2

Grade 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

+ 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 information

Day 1. 1. What number is five cubed? 2. A circle has radius r. What is the formula for the area of the circle?

Day 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 information

VISUAL GUIDE to. RX Scripting. for Roulette Xtreme - System Designer 2.0

VISUAL 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 information

YOU CAN COUNT ON NUMBER LINES

YOU 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 information

Inductive 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. 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 information

Rules of Inference Friday, January 18, 2013 Chittu Tripathy Lecture 05

Rules 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 information

Math BINGO MOST POPULAR. Do you have the lucky card? B I N G O

Math 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 information

LAKE ELSINORE UNIFIED SCHOOL DISTRICT

LAKE 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 information

EXAM. Exam #3. Math 1430, Spring 2002. April 21, 2001 ANSWERS

EXAM. 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 information

Mathematical Induction

Mathematical 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 information

Deductive reasoning is the application of a general statement to a specific instance.

Deductive 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 information

Predicate 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. 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 information

Parallel and Perpendicular. We show a small box in one of the angles to show that the lines are perpendicular.

Parallel 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 information

12. Parallels. Then there exists a line through P parallel to l.

12. 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 information

Algebra Geometry Glossary. 90 angle

Algebra 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 information

Making Inferences Picture #1

Making 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