11.1 The Logic of Making conclusions

Size: px
Start display at page:

Download "11.1 The Logic of Making conclusions"

Transcription

1 11.1 The Logic of Making conclusions Mar 21 10:12 AM 1

2 Postulates, definitions and Theorems. Dec 5 12:51 PM 2

3 Each justification for a conclusion is a true conditional with the conclusion as the consequence conclusion justification p m t 2 1 m 1 = m 2 // line => corr. 's = if // line impies corr. = then m 1 = m 2 Dec 5 12:52 PM 3

4 4) Law of Detachment Dec 5 12:52 PM 4

5 5) Another way to think of the Law of Detachment q is detached from p => q It is a generalization of the common sense idea that when p => q is a true conditional and p is true, then q also must be true. Dec 5 12:53 PM 5

6 6) Law of Transitivity Dec 5 12:52 PM 6

7 m: measure is between 0 and 90 degrees a: angle is acute m => a and m X is an acute angle Nov 28 4:25 PM 7

8 7) Study Example 1 8) Now try the following problem: p: go to camp b: buy a computer a: make an A a => p p => b Law of Transitivity or Law of Detachment a => b If you make an A, then we will buy you a computer Dec 5 12:53 PM 8

9 9) Study Example 2 10) Now try the following problem: p: Perp. Bis of the bases of an isos trap is symmetry line of an isos. trap. i: a figure is an isos Trap r: a figure is a rectangle (1) r => i (3) i => p (4) If a figure is a rectangle then the perp. bis. of the bases is a sym. line of the rectangle and (2) ABCD is a rectanlge The perp. bis. of the bases of ABCD is the sym. line of ABCD Dec 5 12:53 PM 9

10 about the dish p: pudding n: nice w: wholesome 1) If a dish is pudding then it is nice p => n 3) If a dish is nice then the dish is not wholesome n => not w from 1) and 3) by the Law of Transitivity { p => not w p the dish is pudding by Law of Detachment the dish is not wholesome p => not w Dec 5 12:52 PM 10

11 If a person enters before May 1st then the person meets the deadline. m = enter by May 1st d = meet deadline m => d and m Jack met the deadline Dec 5 12:52 PM 11

12 about people Law of Transitivity or Law of Detachment If a little knowledge is dangerous, then no one is out of danger L: a little knowledge is dangerous N: no one is out of danger L => N and L No one is out of danger. Dec 5 12:52 PM 12

13 5t 11 = 24 5t = 35 Addition Property of Equality t = 7 Multiplication Property of Equality If 5t 11 = 24 then 5t = 35 If 5t = 35 then t = 7 If 5t 11 =24 then t 7 Dec 5 12:53 PM 13

14 RECALL: Hypothesis / Antecedent: Conclusion / Consequent: "if" part of a conditional "then" part of a conditional Instance of the conditional: Both "if" & "then" parts are true! Counterexample: Keep"if" part true, make "then" part false! Mar 21 10:27 AM 14

15 1. Conclusions are derived by common sense and logic. We make conclusions daily without even thinking about it. Mar 21 10:33 AM 15

16 Law of Detachment From a true conditional p=>q and a statement or given information that p is true, you may conclude q. Dec 4 10:20 PM 16

17 2. If p implies q and if p is true, what do you know about q? q IS TRUE! notation "implies" Mar 21 10:35 AM 17

18 Law of Detachment: Mar 21 10:38 AM 18

19 Law of Transitivity: If p implies q and q implies r then p implies r. notation If and then Mar 21 10:43 AM 19

20 Dec 4 12:04 PM 20

21 If you want to be successful, you must work hard. If you work hard, you must make sacrifices. What conclusion can you make from this? If you want to be successful, you must make sacrifices. Mar 21 10:45 AM 21

22 Consider this statement: If the moon is made of green cheese, then the sun is made of salsa. Is this a true statement? NO! Is it possible to show that this is an instance? Why/why not? No, because neither the antecedent nor consequent are true! Mar 21 10:46 AM 22

23 Dec 4 12:06 PM 23

24 What must we conclude about a statement when the hypothesis is not true? The statement (conditional) will not be true. Mar 21 10:49 AM 24

25 Dec 4 12:14 PM 25

26 Dec 4 12:14 PM 26

27 Dec 4 12:14 PM 27

28 Assume this statement is true: If a tennis player has won Wimbledon, then the player is world class. Using the Law of Detachment only, what (if anything) can you conclude if you also know the given statement is true? a. Steffi Graf won Wimbledon. b. Pete Sampras has won Wimbledon. c. Anna Kournikova has not won Wimbledon. d. Arthur Ashe has won the U.S. Open Tennis Tournament. Mar 21 10:50 AM 28

29 In some states if a person has a driver s license, then the person s age is greater than or equal to 16. What can you conclude in those states (if anything) if you know the following. a.tom has a driver s license. b. Mary is 18 years old. c. Carrie drives a car legally. d. Billy does not drive a car. Mar 21 10:50 AM 29

30 Determine the final conclusion. Determine if it s Law of Detachment or Law of Transitivity. 1. You want to be successful, so you must study. When you study you take notes. 2. Pizzas are good. Meat lovers are a pizza. 3. All students at AHS love Geometry Class. Becky Homecie is an AHS student. Mar 21 10:54 AM 30

31 Chapter 11 WS A's pdf Dec 4 10:33 PM 31

32 Dec 9 12:14 PM 32

33 If the day begins with the letter T then Maria practices the cello. Today begins with T If Jaime pitches for Friday's game, they will win the championship The Cougars will win the championship Dec 9 12:14 PM 33

34 Dec 9 12:15 PM 34

35 Chapter 11 WS A's KEY.pdf Dec 4 10:35 PM 35

36 Dec 2 2:21 PM 36

37 Dec 2 2:21 PM 37

38 Dec 2 2:21 PM 38

39 Dec 2 2:21 PM 39

40 Dec 2 2:21 PM 40

41 Dec 2 2:22 PM 41

42 Dec 2 2:22 PM 42

43 Dec 2 2:23 PM 43

44 Dec 2 2:24 PM 44

45 Dec 2 2:24 PM 45

46 Dec 8 3:05 PM 46

47 Oct 18 1:54 PM 47

48 Dec 2 2:25 PM 48

49 Dec 4 10:36 PM 49

50 Dec 4 10:36 PM 50

51 Dec 4 10:37 PM 51

52 Dec 4 10:37 PM 52

53 Dec 4 10:37 PM 53

54 Dec 4 10:37 PM 54

55 Dec 4 10:39 PM 55

56 Dec 2 2:17 PM 56

57 Dec 2 2:17 PM 57

58 WSB 11 1 and 11 2.pdf Oct 24 7:07 AM 58

59 Oct 24 7:26 AM 59

60 Oct 24 7:06 AM 60

61 Attachments Chapter 11 WS A's pdf Chapter 11 WS A's KEY.pdf WSB 11 1 and 11 2.pdf

Unit 2: Geometric Reasoning Section 1: Inductive Reasoning

Unit 2: Geometric Reasoning Section 1: Inductive Reasoning Unit 2: Geometric Reasoning Section 1: Inductive Reasoning Ex #1: Find the next item in the pattern. January, March, May,... Ex #2: Find the next item in the pattern. 7, 14, 21, 28, Ex #3: Find the next

More information

Inductive Reasoning. Inductive Reasoning. Inductive Reasoning. Inductive Reasoning. Logic (with Truth Tables) If-Then Statements

Inductive Reasoning. Inductive Reasoning. Inductive Reasoning. Inductive Reasoning. Logic (with Truth Tables) If-Then Statements Intro to Proofs (t-charts and paragraph) www.njctl.org Table of Contents When asked a question you don't know the answer to: 1) You can take a known to be true. Using conjecture is Contents Bob is taller

More information

Truth Table Definitions of Logical Connectives

Truth Table Definitions of Logical Connectives Truth Table Definitions of Logical Connectives 1. Truth Functions: Logicians DEFINE logical operators in terms of their relation to the truth or falsehood of the statement(s) that they are operating on.

More information

Warm Up Lesson Presentation Lesson Quiz. Holt McDougal Geometry

Warm Up Lesson Presentation Lesson Quiz. Holt McDougal Geometry 2-3 Warm Up Lesson Presentation Lesson Quiz Geometry Warm Up Identify the hypothesis and conclusion of each conditional. 1. A mapping that is a reflection is a type of transformation. H: A mapping is a

More information

G E O M E T R Y CHAPTER 2 REASONING AND PROOF. Notes & Study Guide CHAPTER 2 NOTES

G E O M E T R Y CHAPTER 2 REASONING AND PROOF. Notes & Study Guide CHAPTER 2 NOTES G E O M E T R Y CHAPTER 2 REASONING AND PROOF Notes & Study Guide 2 TABLE OF CONTENTS CONDITIONAL STATEMENTS... 3 DEFINTIONS & BICONDITIONAL STATEMENTS... 6 DEDUCTIVE REASONING... 9 REASONING WITH PROPERTIES

More information

DISCRETE MATHEMATICS BA202

DISCRETE MATHEMATICS BA202 TOPIC 1 BASIC LOGIC This topic deals with propositional logic, logical connectives and truth tables and validity. Predicate logic, universal and existential quantification are discussed 1.1 PROPOSITION

More information

2. If a rectangle has four sides the same length, then it is a square. 3. If you do not study, then you do not earn good grades.

2. If a rectangle has four sides the same length, then it is a square. 3. If you do not study, then you do not earn good grades. Name: Period: Geometry Unit 2: Reasoning and Proof Homework Section 2.1: Conditional and Biconditional Statements Write the converse of each conditional. 1. If you eat spinach, then you are strong. 2.

More information

Math 1312 Lesson 1: Sets, Statements, and Reasoning. A set is any collection of objects. These objects are called the elements of the set.

Math 1312 Lesson 1: Sets, Statements, and Reasoning. A set is any collection of objects. These objects are called the elements of the set. Math 1312 Lesson 1: Sets, Statements, and Reasoning A set is any collection of objects. hese objects are called the elements of the set. A is a subset of B, if A is "contained" inside B, that is, all elements

More information

Conditional Statements

Conditional Statements Conditional Statements nalyze statements in if-then form. Write the converse, inverse, and contrapositive of if-then statements. Vocabulary conditional statement if-then statement hypothesis conclusion

More information

Reasoning and Proof Unit

Reasoning and Proof Unit Reasoning and Proof Unit 1 2 2 Conditional Statements Conditional Statement if, then statement the if part is hypothesis the then part is conclusion Conditional Statement How? if, then Example If an angle

More information

Lesson: Slope. Warm Up. Unit #2: Linear Equations. 2) If f(x) = 7x 5, find the value of the following: f( 2) f(3) f(0)

Lesson: Slope. Warm Up. Unit #2: Linear Equations. 2) If f(x) = 7x 5, find the value of the following: f( 2) f(3) f(0) Warm Up 1) 2) If f(x) = 7x 5, find the value of the following: f( 2) f(3) f(0) Oct 15 10:21 AM Unit #2: Linear Equations Lesson: Slope Oct 15 10:05 AM 1 Students will be able to find the slope Oct 16 12:19

More information

Chapter 2. Reasoning and Proof

Chapter 2. Reasoning and Proof Chapter 2 Reasoning and Proof 2.1 Use Inductive Reasoning Objective: Describe patterns and use deductive reasoning. Essential Question: How do you use inductive reasoning in mathematics? Common Core: CC.9-12.G.CO.9

More information

2/13/2012. Logic: Truth Tables. CS160 Rosen Chapter 1. Logic?

2/13/2012. Logic: Truth Tables. CS160 Rosen Chapter 1. Logic? Logic: Truth Tables CS160 Rosen Chapter 1 Logic? 1 What is logic? Logic is a truth-preserving system of inference Truth-preserving: If the initial statements are true, the inferred statements will be true

More information

SUBAREA I MATHEMATIC REASONING AND COMMUNICATION Understand reasoning processes, including inductive and deductive logic and symbolic logic.

SUBAREA I MATHEMATIC REASONING AND COMMUNICATION Understand reasoning processes, including inductive and deductive logic and symbolic logic. SUBAREA I MATHEMATIC REASONING AND COMMUNICATION 0001. Understand reasoning processes, including inductive and deductive logic and symbolic logic. Conditional statements are frequently written in "if-then"

More information

Geometry - Chapter 2 Earn-A-Try Test

Geometry - Chapter 2 Earn-A-Try Test Name: Geometry - Chapter 2 Earn-A-Try Test Multiple Choice Identify the choice that best completes the statement or answers the question. Use CAPITAL letters only!! Ex: A,B,C,D; Not a,b,c,d. 1. Write a

More information

1. Grab board/marker for your group 2. Do WarmUp below

1. Grab board/marker for your group 2. Do WarmUp below 1. Grab board/marker for your group 2. Do WarmUp below TP bisects VS and MR. VM is congruent to SR. MP = 9, VT = 6 Perimeter of MRSV = 62 V T S Find VM. M P R Paragraph Proof D (2x) x 60 A B C Given: Diagram

More information

the plant on day 10 of the experiment

the plant on day 10 of the experiment Lesson 2-1 Patterns Find the next two terms in each sequence. 1. 12, 17, 22, 27, 32,... 2. 1, 1.1, 1.11, 1.111, 1.1111,... 3. 5000, 1000, 200, 40,... 4. 1, 12, 123, 1234,... 5. 3, 0.3, 0.03, 0.003,...

More information

Read ahead and use your textbook to fill in the blanks. We will work the examples together.

Read ahead and use your textbook to fill in the blanks. We will work the examples together. Math 1312 Section 1.1 : Sets, Statements, and Reasoning Read ahead and use your textbook to fill in the blanks. We will work the examples together. A set is any. hese objects are called the of the set.

More information

Name: Geometry. Chapter 2 Reasoning and Proof

Name: Geometry. Chapter 2 Reasoning and Proof Name: Geometry Chapter 2 Reasoning and Proof ***In order to get full credit for your assignments they must me done on time and you must SHOW ALL WORK. *** 1. (2-1) Inductive Reasoning and Conjecture Pg

More information

1.2 Inductive Reasoning

1.2 Inductive Reasoning 1.2 Inductive Reasoning Goal Use inductive reasoning to make conjectures. Key Words conjecture inductive reasoning counterexample Scientists and mathematicians look for patterns and try to draw conclusions

More information

2/18/14. What is logic? Proposi0onal Logic. Logic? Propositional Logic, Truth Tables, and Predicate Logic (Rosen, Sections 1.1, 1.2, 1.

2/18/14. What is logic? Proposi0onal Logic. Logic? Propositional Logic, Truth Tables, and Predicate Logic (Rosen, Sections 1.1, 1.2, 1. Logic? Propositional Logic, Truth Tables, and Predicate Logic (Rosen, Sections 1.1, 1.2, 1.3) TOPICS Propositional Logic Logical Operations Equivalences Predicate Logic CS160 - Spring Semester 2014 2 What

More information

Test Review: Geometry L2 Period 1 and 3 Test Date: Friday November 6

Test Review: Geometry L2 Period 1 and 3 Test Date: Friday November 6 Test Review: Geometry L2 Period 1 and 3 Test Date: Friday November 6 Things it would be a good idea to know: 1) All terms, definitions, properties, postulates, theorems from Unit 1 and Unit 2 2) How to

More information

AdvAlg5.1InequalitiesAndCompoundSentences.notebook February 22, 2018

AdvAlg5.1InequalitiesAndCompoundSentences.notebook February 22, 2018 Nov 12 12:23 PM 1 1) When is a mathematical sentence called an inequality? A mathematical sentence which uses at least one of the following symbols: is less than is less than or equal to is greater than

More information

Independent Events. The multiplication rule for independent events says that if A and B are independent, P (A and B) = P (A) P (B).

Independent Events. The multiplication rule for independent events says that if A and B are independent, P (A and B) = P (A) P (B). Independent Events Two events are said to be independent if the outcome of one of them does not influence the other. For example, in sporting events, the outcomes of different games are usually considered

More information

2.3 Deductive Reasoning Review NCSCOS: (2.01, 2.02)

2.3 Deductive Reasoning Review NCSCOS: (2.01, 2.02) 2.3 Deductive Reasoning Review 2.1-2.2 NCSCOS: (2.01, 2.02) Example If the sun is out, then the weather is good. p is the hypothesis: the sun is out q is the conclusion: the weather is good Conditional

More information

CHAPTER 1 - LOGIC OF COMPOUND STATEMENTS

CHAPTER 1 - LOGIC OF COMPOUND STATEMENTS CHAPTER 1 - LOGIC OF COMPOUND STATEMENTS 1.1 - Logical Form and Logical Equivalence Definition. A statement or proposition is a sentence that is either true or false, but not both. ex. 1 + 2 = 3 IS a statement

More information

LOGIC. 11 Converse, Inverse, Contrapositve. 12/13 Quiz Biconditional Statements

LOGIC. 11 Converse, Inverse, Contrapositve. 12/13 Quiz Biconditional Statements Name Period GP LOGIC I can define, identify and illustrate the following terms Conditional Statement Hypothesis Conclusion Inductive Reasoning Deductive Reasoning Inverse Converse Contrapositive Biconditional

More information

UNIT 1. Basics of Geometry. What is a pattern? Aug 20 11:14 AM. Jun 8 2:09 PM. Aug 20 10:46 AM. Aug 20 11:08 AM. 1.1 Finding and Describing Patterns

UNIT 1. Basics of Geometry. What is a pattern? Aug 20 11:14 AM. Jun 8 2:09 PM. Aug 20 10:46 AM. Aug 20 11:08 AM. 1.1 Finding and Describing Patterns UNIT 1 Basics of Geometry 1.1 Finding and Describing Patterns What is a pattern? Jun 8 2:09 PM Aug 20 11:00 AM Aug 20 10:46 AM Aug 20 11:04 AM Let's Practice! Making predictions! Describe a pattern. 3.

More information

Chapter 2. Reasoning and Proof

Chapter 2. Reasoning and Proof Chapter 2 Reasoning and Proof 2.1 Use Inductive Reasoning Objective: Describe patterns and use deductive reasoning. Essential Question: How do you use inductive reasoning in mathematics? Common Core: CC.9-12.G.CO.9

More information

Unit 2 Definitions and Proofs

Unit 2 Definitions and Proofs 2.1-2.4 Vocabulary Unit 2 efinitions and Proofs Inductive reasoning- reasoning based on examples, experience, or patterns to show that that a rule or statement is true Conjecture a statement you believe

More information

Geometry. Unit 2- Reasoning and Proof. Name:

Geometry. Unit 2- Reasoning and Proof. Name: Geometry Unit 2- Reasoning and Proof Name: 1 Geometry Chapter 2 Reasoning and Proof ***In order to get full credit for your assignments they must me done on time and you must SHOW ALL WORK. *** 1. (2-1)

More information

Chapter 4 Reasoning and Proof Geometry

Chapter 4 Reasoning and Proof Geometry Chapter 4 Reasoning and Proof Geometry Name For 1 & 2, determine how many dots there would be in the 4 th and the 10 th pattern of each figure below. 1. 2. 3. Use the pattern below to answer the following:

More information

Objective Apply the Law of Detachment and the Law of Syllogism in logical reasoning.

Objective Apply the Law of Detachment and the Law of Syllogism in logical reasoning. Objective Apply the Law of Detachment and the Law of Syllogism in logical reasoning. Vocabulary deductive reasoning Deductive reasoning is the process of using logic to draw conclusions from given facts,

More information

Lecture Overview. 2 Weak Induction

Lecture Overview. 2 Weak Induction COMPSCI 30: Discrete Mathematics for Computer Science February 18, 019 Lecturer: Debmalya Panigrahi Lecture 11 Scribe: Kevin Sun 1 Overview In this lecture, we study mathematical induction, which we often

More information

The following are steps to an algorithm. Determine what that algorithm is. Hint: it is a formula from your AIMS reference sheet.

The following are steps to an algorithm. Determine what that algorithm is. Hint: it is a formula from your AIMS reference sheet. Purposes of Algorithms : Algorithms can be used for a variety of purposes. They can be used to simplify expressions, solve equations and inequalities, and evaluate expressions. You have already used algorithms

More information

Ella failed to drop the class. Ella dropped the class.

Ella failed to drop the class. Ella dropped the class. Propositional logic In many cases, a sentence is built up from one or more simpler sentences. To see what follows from such a complicated sentence, it is helpful to distinguish the simpler sentences from

More information

NAME DATE PERIOD. Inductive Reasoning and Conjecture , 5, 9 2 2, 4

NAME DATE PERIOD. Inductive Reasoning and Conjecture , 5, 9 2 2, 4 2-1 Skills Practice Inductive Reasoning and Conjecture Make a conjecture about the next item in each sequence. 1. 2. 4, 1, 2, 5, 8 3. 6, 1 1, 5, 9 2 2, 4 4. 2, 4, 8, 16, 32 Make a conjecture based on the

More information

Example 1A: Media Application

Example 1A: Media Application Deductive reasoning is the process of using logic to draw conclusions from given facts, definitions, and properties. Example 1A: Media Application Is the conclusion a result of inductive or deductive reasoning?

More information

Ch 1. The Language of Algebra

Ch 1. The Language of Algebra Ch 1 The Language of Algebra 1-1 Writing Expressions and Equations Writing Expressions Buying CDs: 1 CD = $15 2 CD = $15 x 2 3 CD = $15 x 3 n number of CDs? $15 x n Algebraic Expression Writing Expressions

More information

How to determine if a statement is true or false. Fuzzy logic deal with statements that are somewhat vague, such as: this paint is grey.

How to determine if a statement is true or false. Fuzzy logic deal with statements that are somewhat vague, such as: this paint is grey. Major results: (wrt propositional logic) How to reason correctly. How to reason efficiently. How to determine if a statement is true or false. Fuzzy logic deal with statements that are somewhat vague,

More information

Find the next item in the pattern below. The red square moves in the counterclockwise direction. The next figure is.

Find the next item in the pattern below. The red square moves in the counterclockwise direction. The next figure is. CHAPTER 2 Study Guide: Review Organizer Objective: Help students organize and review key concepts and skills presented in Chapter 2. Online Edition Multilingual Glossary Countdown Week 4 Vocabulary biconditional

More information

Your quiz in recitation on Tuesday will cover 3.1: Arguments and inference. Your also have an online quiz, covering 3.1, due by 11:59 p.m., Tuesday.

Your quiz in recitation on Tuesday will cover 3.1: Arguments and inference. Your also have an online quiz, covering 3.1, due by 11:59 p.m., Tuesday. Friday, February 15 Today we will begin Course Notes 3.2: Methods of Proof. Your quiz in recitation on Tuesday will cover 3.1: Arguments and inference. Your also have an online quiz, covering 3.1, due

More information

The following statements are conditional: Underline each hypothesis and circle each conclusion.

The following statements are conditional: Underline each hypothesis and circle each conclusion. Geometry Unit 2 Reasoning and Proof 2-1 Conditional Statements Conditional Statement a statement which has a hypothesis and conclusion, often called an if-then statement. Conditional statements are contain

More information

Graphic Organizer: Reasoning and Proof Unit Essential Quetions

Graphic Organizer: Reasoning and Proof Unit Essential Quetions Start Here Page 1 Graphic Organizer: Reasoning and Proof Unit Essential Quetions Right Side of Page Right Sight Page 2 Unit 2 Reasoning and Proof (handout: orange sheet) Right side Right Sight Page 3 Proof

More information

2 Conditional and Biconditional Propositions

2 Conditional and Biconditional Propositions 18 FUNDAMENTALS OF MATHEMATICAL LOGIC 2 Conditional and Biconditional Propositions Let p and q be propositions. The implication p! q is the proposition that is false only when p is true and q is false;

More information

CS100: DISCRETE STRUCTURES. Lecture 5: Logic (Ch1)

CS100: DISCRETE STRUCTURES. Lecture 5: Logic (Ch1) CS100: DISCREE SRUCURES Lecture 5: Logic (Ch1) Lecture Overview 2 Statement Logical Connectives Conjunction Disjunction Propositions Conditional Bio-conditional Converse Inverse Contrapositive Laws of

More information

Example 1: Identifying the Parts of a Conditional Statement

Example 1: Identifying the Parts of a Conditional Statement "If p, then q" can also be written... If p, q q, if p p implies q p only if q Example 1: Identifying the Parts of a Conditional Statement Identify the hypothesis and conclusion of each conditional. A.

More information

Conditional Statements

Conditional Statements 2.1 TEXAS ESSENTIAL KNOWLEDGE AND SKILLS G.4.B Conditional Statements Essential Question When is a conditional statement true or false? A conditional statement, symbolized by p q, can be written as an

More information

Chapter 1: The Logic of Compound Statements. January 7, 2008

Chapter 1: The Logic of Compound Statements. January 7, 2008 Chapter 1: The Logic of Compound Statements January 7, 2008 Outline 1 1.1 Logical Form and Logical Equivalence 2 1.2 Conditional Statements 3 1.3 Valid and Invalid Arguments Central notion of deductive

More information

Full file at

Full file at 1 Logic and Proofs 1.1 Propositions and Connectives 1. (a) true (b) false (c) true (d) false (e) false (f) false (g) false (h) false 2. (a) Not a proposition (b) False proposition (c) Not a proposition.

More information

Geometry Test Unit 2 Logic, Reasoning and Proof

Geometry Test Unit 2 Logic, Reasoning and Proof Geometry Test Unit 2 Logic, Reasoning and Proof Name: Date: Pd: Definitions (1-4) 1) Conditional Statement 2) Inductive Reasoning 3) Contrapositive 4) Logically equivalent statements 5) State the hypothesis

More information

HOMEWORK 1: SOLUTIONS - MATH 215 INSTRUCTOR: George Voutsadakis

HOMEWORK 1: SOLUTIONS - MATH 215 INSTRUCTOR: George Voutsadakis HOMEWORK 1: SOLUTIONS - MATH 215 INSTRUCTOR: George Voutsadakis Problem 1 Make truth tables for the propositional forms (P Q) (P R) and (P Q) (R S). Solution: P Q R P Q P R (P Q) (P R) F F F F F F F F

More information

Geometry Unit 1 Segment 3 Practice Questions

Geometry Unit 1 Segment 3 Practice Questions Name: Class: _ Date: _ Geometry Unit 1 Segment 3 Practice Questions Multiple Choice Identify the choice that best completes the statement or answers the question. 1. Based on the pattern, what are the

More information

Implications, Quantifiers, and Venn Diagrams. Implications Logical Quantifiers Venn Diagrams. Different Ways of Stating Implications

Implications, Quantifiers, and Venn Diagrams. Implications Logical Quantifiers Venn Diagrams. Different Ways of Stating Implications E6 PPENDIX E Introduction to Logic E.2 Implications, Quantifiers, and Venn Diagrams Implications Logical Quantifiers Venn Diagrams Implications statement of the form If p, then q is called an implication

More information

10/5/2012. Logic? What is logic? Propositional Logic. Propositional Logic (Rosen, Chapter ) Logic is a truth-preserving system of inference

10/5/2012. Logic? What is logic? Propositional Logic. Propositional Logic (Rosen, Chapter ) Logic is a truth-preserving system of inference Logic? Propositional Logic (Rosen, Chapter 1.1 1.3) TOPICS Propositional Logic Truth Tables Implication Logical Proofs 10/1/12 CS160 Fall Semester 2012 2 What is logic? Logic is a truth-preserving system

More information

Computer Science 280 Spring 2002 Homework 2 Solutions by Omar Nayeem

Computer Science 280 Spring 2002 Homework 2 Solutions by Omar Nayeem Computer Science 280 Spring 2002 Homework 2 Solutions by Omar Nayeem Part A 1. (a) Some dog does not have his day. (b) Some action has no equal and opposite reaction. (c) Some golfer will never be eated

More information

Vocabulary 11/15/13. deductive reasoning Law of Syllogism Law of Detachment CN#3 USING DEDUCTIVE REASONING TO VERIFY CONJECTURES

Vocabulary 11/15/13. deductive reasoning Law of Syllogism Law of Detachment CN#3 USING DEDUCTIVE REASONING TO VERIFY CONJECTURES CN#3 USING DEDUCTIVE REASONING TO VERIFY CONJECTURES Deductive reasoning is the process of using logic to draw conclusions from given facts, definitions, and properties. Vocabulary deductive reasoning

More information

CLICKERS!!!!! Multiply.

CLICKERS!!!!! Multiply. CLICKERS!!!!! Multiply. 1. 95 x 10 6 2. 8.23 x 10 5 3. 864 x 10-5 4. 7.8 x 10-3 5. 5 x 10 8 6. 1.5 x 10 9 7. 54 x 10-3 8. 6.7 x 10-4 CLICKERS!!!!! Multiply. 1. 95 x 10 6 2. 8.23 x 10 5 3. 864 x 10-5 4.

More information

Name Class Date. Determine whether each number is a solution of the given inequality.

Name Class Date. Determine whether each number is a solution of the given inequality. 3-1 Practice Form G Inequalities and Their Graphs Write an inequality that represents each verbal expression. 1. v is greater 10. 2. b is less than or equal to 1. 3. the product of g and 2 is less than

More information

Project Instructions Please Read Thoroughly!

Project Instructions Please Read Thoroughly! Project Instructions Please Read Thoroughly! For this assignment, you must attend an Observing Night at the Campus Teaching Observatory (http://www.astro.ufl.edu/outreach/publicnight.html), and then answer

More information

Discrete Mathematics for CS Fall 2003 Wagner Lecture 3. Strong induction

Discrete Mathematics for CS Fall 2003 Wagner Lecture 3. Strong induction CS 70 Discrete Mathematics for CS Fall 2003 Wagner Lecture 3 This lecture covers further variants of induction, including strong induction and the closely related wellordering axiom. We then apply these

More information

The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION THREE-YEAR SEQUENCE FOR HIGH SCHOOL MATHEMATICS COURSE II

The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION THREE-YEAR SEQUENCE FOR HIGH SCHOOL MATHEMATICS COURSE II The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION THREE-YEAR SEQUENCE FOR HIGH SCHOOL MATHEMATICS COURSE II Wednesday, June 19, 00 1:15 to 4:15 p.m., only Notice... Scientific calculators

More information

,525. Name: Primary 5-a-day Silver. 1st January. Round 3,541 to the nearest 100 Round 3,541 to the nearest 1,000

,525. Name: Primary 5-a-day Silver. 1st January. Round 3,541 to the nearest 100 Round 3,541 to the nearest 1,000 1st January 606 + 2,525 2 7 + 3 7 Round 3,541 to the nearest 100 Round 3,541 to the nearest 1,000 How many students are there in total in Year 4? How many more Year 4 children than Year 6 children play

More information

Homework assignment 1: Solutions

Homework assignment 1: Solutions Math 240: Discrete Structures I Due 4:30pm Friday 29 September 2017. McGill University, Fall 2017 Hand in to the mailbox at Burnside 1005. Homework assignment 1: Solutions Discussing the assignment with

More information

Discrete Mathematics Exam File Spring Exam #1

Discrete Mathematics Exam File Spring Exam #1 Discrete Mathematics Exam File Spring 2008 Exam #1 1.) Consider the sequence a n = 2n + 3. a.) Write out the first five terms of the sequence. b.) Determine a recursive formula for the sequence. 2.) Consider

More information

Chapter 2: The Logic of Quantified Statements. January 22, 2010

Chapter 2: The Logic of Quantified Statements. January 22, 2010 Chapter 2: The Logic of Quantified Statements January 22, 2010 Outline 1 2.1- Introduction to Predicates and Quantified Statements I 2 2.2 - Introduction to Predicates and Quantified Statements II 3 2.3

More information

Geometry Chapter 2 2-3: APPLY DEDUCTIVE REASONING

Geometry Chapter 2 2-3: APPLY DEDUCTIVE REASONING Geometry Chapter 2 2-3: APPLY DEDUCTIVE REASONING Warm-up Any Definition can be written as a Biconditional Statement. For Warm-up: Write some of our past vocabulary terms as Biconditional statements. Terms:

More information

Provide (write or draw) a counterexample to show that the statement is false.

Provide (write or draw) a counterexample to show that the statement is false. Geometry SOL G.1 G.3a Study Guide Name: Date: Block: SHOW ALL WORK. Use another piece of paper as needed. SECTION 1: G.1 1. Provide (write or draw) a counterexample to show that the statement is false.

More information

3/29/2017. Logic. Propositions and logical operations. Main concepts: propositions truth values propositional variables logical operations

3/29/2017. Logic. Propositions and logical operations. Main concepts: propositions truth values propositional variables logical operations Logic Propositions and logical operations Main concepts: propositions truth values propositional variables logical operations 1 Propositions and logical operations A proposition is the most basic element

More information

Chapter 2. Reasoning and Proof

Chapter 2. Reasoning and Proof Chapter 2 Reasoning and Proof 2.1 Inductive Reasoning 2.2 Analyze Conditional Statements 2.3 Apply Deductive Reasoning 2.4 Use Postulates and Diagrams 2.5 Algebraic Proofs 2.6 Segments and Angles Proofs

More information

T T F F T T F F T F F T T F T F F T T T

T T F F T T F F T F F T T F T F F T T T Project: Some Applications of Logic (and how to avoid some logical mistakes!) Part 5: Logical Equivalency For this next bit, we ll look at a pretty important component of logical reasoning how to tell

More information

Algebra 2 Level 2 Summer Packet

Algebra 2 Level 2 Summer Packet Algebra Level Summer Packet This summer packet is for students entering Algebra Level for the Fall of 01. The material contained in this packet represents Algebra 1 skills, procedures and concepts that

More information

Five-Minute Check (over Lesson 2 3) Then/Now New Vocabulary Example 1: Real-World Example: Inductive and Deductive Reasoning Key Concept: Law of

Five-Minute Check (over Lesson 2 3) Then/Now New Vocabulary Example 1: Real-World Example: Inductive and Deductive Reasoning Key Concept: Law of Five-Minute Check (over Lesson 2 3) Then/Now New Vocabulary Example 1: Real-World Example: Inductive and Deductive Reasoning Key Concept: Law of Detachment Example 2: Law of Detachment Example 3: Judge

More information

Over Lesson 2 3 Identify the hypothesis and conclusion. If 6x 5 = 19, then x = 4. Identify the hypothesis and conclusion. A polygon is a hexagon if it

Over Lesson 2 3 Identify the hypothesis and conclusion. If 6x 5 = 19, then x = 4. Identify the hypothesis and conclusion. A polygon is a hexagon if it Five-Minute Check (over Lesson 2 3) Then/Now New Vocabulary Example 1: Real-World Example: Inductive and Deductive Reasoning Key Concept: Law of Detachment Example 2: Law of Detachment Example 3: Judge

More information

Using Inductive and Deductive Reasoning

Using Inductive and Deductive Reasoning Big Idea 1 CHAPTER SUMMARY BIG IDEAS Using Inductive and Deductive Reasoning For Your Notebook When you make a conjecture based on a pattern, you use inductive reasoning. You use deductive reasoning to

More information

Problems and Solutions

Problems and Solutions TWENTY FOURTH IRISH MATHEMATICAL OLYMPIAD Saturday, 7 May 2011 Second Paper Problems and Solutions 6. Prove that is not an integer. 2 3 + 4 5 + 6 7 + + 2010 2011 Solution (Proposed by Gordon Lessells)

More information

CN#4 Biconditional Statements and Definitions

CN#4 Biconditional Statements and Definitions CN#4 s and Definitions OBJECTIVES: STUDENTS WILL BE ABLE TO WRITE AND ANALYZE BICONDITIONAL STATEMENTS. Vocabulary biconditional statement definition polygon triangle quadrilateral When you combine a conditional

More information

*JUN * GCSE 4370/03 MATHEMATICS LINEAR PAPER 1 FOUNDATION TIER. A.M. TUESDAY, 11 June hours. Centre Number

*JUN * GCSE 4370/03 MATHEMATICS LINEAR PAPER 1 FOUNDATION TIER. A.M. TUESDAY, 11 June hours. Centre Number Surname Centre Number Candidate Number Other Names 0 GCSE 4370/03 MATHEMATICS LINEAR PAPER 1 FOUNDATION TIER A.M. TUESDAY, 11 June 2013 3 1 hours 4 CALCULATORS ARE NOT TO BE USED FOR THIS PAPER ADDITIONAL

More information

Algebra Midyear Test What to Know

Algebra Midyear Test What to Know Algebra Midyear Test What to Know All topics and problems are for BOTH Algebra 8 and Algebra 8R students unless otherwise noted. Thinking with Mathematical Models Make a table and a graph to represent

More information

Adding and Subtracting Terms

Adding and Subtracting Terms Adding and Subtracting Terms 1.6 OBJECTIVES 1.6 1. Identify terms and like terms 2. Combine like terms 3. Add algebraic expressions 4. Subtract algebraic expressions To find the perimeter of (or the distance

More information

You must have: Ruler graduated in centimetres and millimetres, protractor, pair of compasses, pen, HB pencil, eraser. Tracing paper may be used.

You must have: Ruler graduated in centimetres and millimetres, protractor, pair of compasses, pen, HB pencil, eraser. Tracing paper may be used. Write your name here Surname Other names Pearson Edexcel GCSE Centre Number Mathematics A Paper 1 (Non-Calculator) Thursday 4 June 2015 Morning Time: 1 hour 45 minutes Candidate Number Higher Tier Paper

More information

Chapter 2 Section 2.1: Proofs Proof Techniques. CS 130 Discrete Structures

Chapter 2 Section 2.1: Proofs Proof Techniques. CS 130 Discrete Structures Chapter 2 Section 2.1: Proofs Proof Techniques CS 130 Discrete Structures Some Terminologies Axioms: Statements that are always true. Example: Given two distinct points, there is exactly one line that

More information

Recitation 5: Elementary Matrices

Recitation 5: Elementary Matrices Math 1b TA: Padraic Bartlett Recitation 5: Elementary Matrices Week 5 Caltech 2011 1 Random Question Consider the following two-player game, called Angels and Devils: Our game is played on a n n chessboard,

More information

Discrete Structures of Computer Science Propositional Logic I

Discrete Structures of Computer Science Propositional Logic I Discrete Structures of Computer Science Propositional Logic I Gazihan Alankuş (Based on original slides by Brahim Hnich) July 26, 2012 1 Use of Logic 2 Statements 3 Logic Connectives 4 Truth Tables Use

More information

Module 4 Linear Equations

Module 4 Linear Equations Module 4 Linear Equations Oct 20 9:19 PM Lesson 1 Writing Equations Using Symbols Dec 1 10:40 PM 1 5(b 6) Reviewing Distributive Property 10( 5 + x) 3(9 + a) = 54 Feb 23 10:31 PM Mathematical Statement

More information

Numerical and Algebraic Expressions and Equations

Numerical and Algebraic Expressions and Equations Numerical and Algebraic Expressions and Equations Sometimes it's hard to tell how a person is feeling when you're not talking to them face to face. People use emoticons in emails and chat messages to show

More information

Sec 3.3 The Conditional & Circuits

Sec 3.3 The Conditional & Circuits Sec 3.3 The Conditional & Circuits Conditional statement: connective if... then. a compound statement that uses the Conditional statements are also known as implications, and can be written as: p q (pronounced

More information

Problem Set 1. Due: Start of class on February 11.

Problem Set 1. Due: Start of class on February 11. Massachusetts Institute of Technology Handout 1 6.042J/18.062J: Mathematics for Computer Science February 4, 2003 Professors Charles Leiserson and Srini Devadas Problem Set 1 Due: Start of class on February

More information

Math 1126 Daily Calendar Based on 5 th edition of Beckmann text

Math 1126 Daily Calendar Based on 5 th edition of Beckmann text Math 1126 Daily Calendar Based on 5 th edition of Beckmann text Date Topic and Activity Text 8/21 Opening Day! Introduction to the course Reviewing mathematical explanations by others In Class: #1 Explanations

More information

Chapter 5: Section 5-1 Mathematical Logic

Chapter 5: Section 5-1 Mathematical Logic Chapter 5: Section 5-1 Mathematical Logic D. S. Malik Creighton University, Omaha, NE D. S. Malik Creighton University, Omaha, NE Chapter () 5: Section 5-1 Mathematical Logic 1 / 29 Mathematical Logic

More information

Classical Mechanics Lecture 4

Classical Mechanics Lecture 4 Classical Mechanics Lecture 4 Homework 3 and Midterm Exam 1 Today's Concepts: Newton s Laws a) Acceleration is caused by forces b) Force changes momentum c) Forces always come in pairs d) Good reference

More information

DRAFT. Mathematical Methods 2017 Sample paper. Question Booklet 1

DRAFT. Mathematical Methods 2017 Sample paper. Question Booklet 1 1 South Australian Certificate of Education Mathematical Methods 017 Sample paper Question Booklet 1 Part 1 Questions 1 to 10 Answer all questions in Part 1 Write your answers in this question booklet

More information

3.2: Compound Statements and Connective Notes

3.2: Compound Statements and Connective Notes 3.2: Compound Statements and Connective Notes 1. Express compound statements in symbolic form. _Simple_ statements convey one idea with no connecting words. _Compound_ statements combine two or more simple

More information

Introduction to Statistics

Introduction to Statistics MTH4106 Introduction to Statistics Notes 6 Spring 2013 Testing Hypotheses about a Proportion Example Pete s Pizza Palace offers a choice of three toppings. Pete has noticed that rather few customers ask

More information

VALIDITY IN SENTENTIAL LOGIC

VALIDITY IN SENTENTIAL LOGIC ITY IN SENTENTIAL LOGIC 1. Tautologies, Contradictions, And Contingent Formulas...66 2. Implication And Equivalence...68 3. Validity In Sentential Logic...70 4. Testing Arguments In Sentential Logic...71

More information

(b) Follow-up visits: December, May, October, March. (c ) 10, 4, -2, -8,..

(b) Follow-up visits: December, May, October, March. (c ) 10, 4, -2, -8,.. Geometry Honors - Chapter 2 Reasoning and Proof Section 2-1 Inductive Reasoning and Conjecture I can explore inductive and deductive reasoning. I can find counterexamples to disprove conjectures. I can

More information

Section Summary. Proof by Cases Existence Proofs

Section Summary. Proof by Cases Existence Proofs Section 1.8 1 Section Summary Proof by Cases Existence Proofs Constructive Nonconstructive Disproof by Counterexample Uniqueness Proofs Proving Universally Quantified Assertions Proof Strategies sum up

More information

Enhanced Instructional Transition Guide

Enhanced Instructional Transition Guide Enhanced Instructional Transition Guide High School Courses/ Unit 01: Suggested Duration: 6 days Unit 01: Foundations of (10 days) Possible Lesson 01 (4 days) Possible Lesson 02 (6 days) POSSIBLE LESSON

More information

Aquarius lottery horoscope

Aquarius lottery horoscope P ford residence southampton, ny Aquarius lottery horoscope you need!. We offer FREE Online Lottery Numbers, Lottery and Lotto Forecasts for every Lottery State and Country, Free Monthly Newsletter and

More information

2/2/2018. CS 103 Discrete Structures. Chapter 1. Propositional Logic. Chapter 1.1. Propositional Logic

2/2/2018. CS 103 Discrete Structures. Chapter 1. Propositional Logic. Chapter 1.1. Propositional Logic CS 103 Discrete Structures Chapter 1 Propositional Logic Chapter 1.1 Propositional Logic 1 1.1 Propositional Logic Definition: A proposition :is a declarative sentence (that is, a sentence that declares

More information