# Definition of Statement: A group words or symbols that can be classified as true or false.

Save this PDF as:

Size: px
Start display at page:

Download "Definition of Statement: A group words or symbols that can be classified as true or false."

## Transcription

1 Logic Math 116

2 Section 3.1 Logic and Statements Statements Definition of Statement: A group words or symbols that can be classified as true or false. Examples of statements Violets are blue Five is a natural number I like Algebra = 10 Examples of things that are not statements Get out of here! What s up! Don t worry, be happy Negations Example 1 Negate the statement: p = I like apples Negation: ~p (I don t like apples Note: The negation of all is some and the negation of some is all. Example 2 Negate the statement: All RU students love ice cream Negation: Some RU students do not like ice cream. Example 3 Negate the statement: Some students dislike geometry Negation: All students like geometry

3 Example 4 Negate the statement: Everyone loves Raymond Negation: Someone does love Raymond Example 6 Write a sentence that is the negation of each statement 1) All candy promotes tooth decay. Negation: Some candy does not promote tooth decay. 2) No lunch is free. Negation: Some lunches are free. Hint: Rewrite the statement as All lunches are not free, and then negate the statement which gives you Some lunches are free. Conditional Statements Conditional: A B Converse: B A Inverse ~ A ~ B Contrapositive: ~ B ~ A Logical Symbols Connector Symbol And Or If-then Negation ~

4 Example 7 Determine if the following is a statement. 10) We call it the period from noon to sunset Not a statement 12) An obtuse angle is not an Statement 0 90 angle. 14) A pencil is a writing implement. Statement Negate each statement 20) My dog is a Dalmatian. Negation: My dog is not a Dalmatian. 22) The jokes are great. Negation: The jokes are not great. 33) All fish can live under water. Negation: Some fish can not live under water. 35) Some numbers are not prime numbers. Negation: All numbers are prime numbers

5 How to use the three types of connectors I) Using or as a connector Symbolic representation: p or q ( p q ) Examples 7 Write the following statement in symbol form: Either you need a 21 on the ACT, or you need a 1000 on the SAT p = you need a 21 on the ACT q = you need a 1000 on the SAT p q Example 8 Write the following statement in symbol form: Either I will play basketball or I will go for a swim p = I will play basketball q = I go for a swim p q II) Using and as a connector Symbolic representation: p and q ( p q ) Example 10 Write the following statement in symbol form: You need to get a 21 on the ACT, and you need to get a 1000 on the SAT p = you need to get a 21 on the ACT q = you need to get a 1000 on the SAT p q

6 Example 11 Write the following statement in symbol form: I like oranges and apples p = I like oranges q = I like apples p q III) Using the conditional Symbolic representation: If p, then q ( p q ) where p is the premise or hypothesis, and q is the conclusion. Example 12 Write the following statement in symbol form: If it rains tomorrow, then I will bring an umbrella to work. p = If it rains tomorrow (Hypothesis) q = I will bring an umbrella to work (Conclusion) p q Example 13 Write the following statement in symbol form: I will sell you my textbook, if you offer me a good price You can rewrite the statements as If you offer me a good price, then I will sell my textbook to help identify the hypothesis and conclusion p = If you offer me a good price (Hypothesis) q = I will sell you my textbook (Conclusion) p q

7 Example 14 Write the inverse, converse, and contrapositive of the condition statement: If you study the test, then you will pass the test. Inverse: If you will pass the test, then you will study for the test Converse: If you don t study for the test, then you will not pass the test Contrapositive: If you didn t pass the test, then you didn t study for the test. Example 15 Write the inverse, converse, and contrapositive of the conditional statement: If go to Florida for spring break, then you will get a nice tan. Inverse: If get a nice tan, then you when to Florida for spring break. Converse: If didn t go to Florida for spring break, then you didn t get a nice tan. Contrapositive: If you didn t get a nice tan, then you didn t go to Florida for spring break. Deductive and Induction Reasoning Deductive Reasoning is the process of reasoning in which conclusions are based on accepted premises. Deductive reasoning goes from general to specific Example 1 (Example of deductive reasoning) Triangle ABC is isosceles All isosceles triangles have two equal angles Therefore, triangle ABC has two equal angles

8 Syllogism: An argument composed to two statements, or premise, which is followed by a conclusion. Example 2 (Example of deductive reasoning) Molly is a dog Dogs are very friendly Therefore, Molly is very friendly Inductive Reasoning is the process of reasoning in which conclusions are based on experience and experimentation. Inductive reasoning goes from specific to general. In deductive reasoning the conclusion is guaranteed. In inductive reasoning the conclusion is probable, but not necessarily guaranteed Example 3 (Example of inductive reasoning) John sneezed around Jill s cat John sneezed around Jim s cat Therefore, John sneezes around all cats Example 4 (Example of inductive reasoning) Room 295 in Walker Hall is a technology classroom at RU Room 338 in Currie Hall is a technology classroom at RU Room 212 in Davis Hall is a technology classroom at RU Therefore, all classrooms at RU are technology classrooms

9 Examples 6 Determine if the following arguments use deductive reasoning or inductive reasoning 1) All math teachers are strange Jim Morrison is a math teacher Therefore, Jim Morrison is strange. (This is an example of a deductive argument) 2) Jimmy likes Mary Women whom Jimmy likes are pretty Thus, Mary is pretty (This is an example of a deductive argument) 3) In each of the last five years, the economy has grown by at least two percent. This year the economy is projected to grow by 2.5 % Therefore, the economy will always grow by at least 2 % (This is an example of an inductive argument)

10 Section 3.2 Truth Tables Logical Symbols Connector Symbol And Or If-then Negation ~ Truth Tables A truth table is a chart consisting of all possible combinations of the clauses in the statement. To full understand truth tables, you must first understand the basic truth table for the basic connectors Basic Truth Tables Or A B A B T T T T F T F T T F F F If you let A = John likes apples and B = John likes oranges, then the statement A B or Either John likes apples or John likes oranges is always true except when both A and B are false. And A B A B T T T T F F F T F F F F If you let A = John likes apples and B = John likes oranges, then the statement A B or John likes apples and John likes oranges is only true when both A and B are true.

11 If then A B A B T T T T F F F T T F F T Let A B be then conditional statement If you study for the test, then you will pass the test. The only time this statement is false is if you would study for the test and not pass the test, which is T F Negation A ~A T F F T More Truth Tables Use the results from the four above truth tables. 1) A B A A B B A B T T T T T F F T F T F F F F F F 2) A B ~ B A A A B ~B B A B ~ T T F T T T F F F F F T T F T F F T F T A B

12 3) A B ~ A A B ~A B A A B ~ A T T F T T T F F F F F T T T T F F T T T 4) ~ B ~ A A B ~A ~B ~ B ~ A T T F F T T F F T F F T T F T F F T T T 5) A B A A B ~A ~B ~ A ~ B (~ A ~ B) A T T F F T T T F F T T T F T T F F T F F T T T F 6) B A A B B A T T T T F T F T F F F T If the last column of an argument result in all true statements, then the argument is a tautology.

13 Equivalent statements Two statements are equivalent if they have the same result in last column of their truth tables. Examples Show that the following arguments are equivalent: A B and ~ B ~ A A B A B T T T T F F F T T F F T A B ~A ~B ~ B ~ A T T F F T T F F T F F T T F T F F T T T Show that the following arguments are equivalent: ~ A B and B A A B B A T T T T F T F T F F F T A B ~A ~B ~ A ~ B T T F F T T F F T T F T T F F F F T T T

14 De Morgan s Law Negation of compound Statements De Morgan s Law ~ ( A B) ~ ( A B) A ~ B A ~ B Proof: Compare the truth tables for ~ ( A B) and ~ A ~ B Truth table for ~ ( A B) A B A B ~ ( A B) T T T F T F T F F T T F F F F T Truth table for ~ A ~ B A B ~A ~B ~ A ~ B T T F F F T F F T F F T T F F F F T T T Notice that the last columns of each table are identical. Thus, the arguments are equivalent. Compare the truth tables for ~ ( A B) and ~ A ~ B Truth table for ~ ( A B) A B A B ~ ( A B) T T T F T F F T F T F T F F F T

15 Truth table for ~ A ~ B A B ~A ~B ~ A ~ B T T F F F T F F T T F T T F T F F T T T Again the truth tables have the same last column. Thus, the statements are equivalent. Using De Morgan s Law to negate compound statements Examples Negate each statement using De Morgan Law 1) ~ A ~ B Negation: ~ (~ A ~ B) (~ A) ~ (~ B) A B 2) ~ p q Negation: ~ (~ p q) (~ p) ~ q p ~ q 3) r ~ s Negation: ~ ( r ~ s) r ~ (~ s) r s 4) r s Negation: ~ ( r s) r ~ s r ~ s

16 Section 3.5 Validity An argument is valid if the truth table of the argument in symbolic form is a tautology 1) Determine if the following argument is valid If it rains on Friday, then I will bring my umbrella to work on Friday I didn t bring my umbrella to work on Friday Therefore, it didn t rain on Friday. Let: A = It rains on Friday B = I will bring my umbrella to work. If it rains on Friday, then I will bring my umbrella to work on Friday ( A B ) I didn t bring my umbrella to work on Friday ~ B Therefore, it didn t rain on Friday. ~ A Argument in symbol form: (( A B) ~ B) A A B ~A ~B ( A B) ( A B) ~ B (( A B) ~ B) A 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 Since the argument results in all true statements, the argument is a tautology Thus, the argument is valid

17 2) Determine if the following argument is valid A = It is raining B = the streets are wet If it is raining, then the streets are wet ( A B) It is raining A Therefore, the streets are wet. B Argument: (( A B) A) B A B ( A B) (( A B) A) (( A B) A) B T T T T T T F F F T F T T F T F F T F T This is a tautology. Therefore, the argument is valid. 3) P: You exercise regularly Q: You are healthy If you exercise regularly, then you are healthy ( P Q) You are healthy Q Therefore, you exercise regularly P Argument: (( P Q) Q) P P Q ( P Q) (( P Q) Q) (( P Q) Q) P T T T T T T F F F T F T T T F F F T F T This argument is not a tautology. Thus, the argument is invalid

18 4) The senator is not reelected, if she supports new taxes The senator does not support new taxes Therefore, the senator is reelected A = the senator support new taxes B = the senator is reelected The senator is not reelected, if she supports new taxes The senator does not support new taxes ~ A Therefore, the senator is reelected B A ~ B Argument: (( A ~ B) ~ A) B A B ~A ~B ( A B) ( A B) ~ A (( A ~ B) ~ A) B T T F F F F T T F F T T F T F T T F T T T F F T T T T F 5) If you practice hard, you will improve your skills You didn t improve your skills Therefore, you did not practice hard. P = you practice hard Q = you will improve your skills If you practice hard, you will improve your skills ( P Q) You didn t improve your skills ~ Q Therefore, you did not practice hard. ~ P Argument: (( P Q) ~ Q) P P Q ~P ~Q ( P Q) ( P Q) ~ Q (( P Q) ~ Q) P 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 Valid Argument

### Chapter 2 Logic Unit Math 114

Chapter 2 Logic Unit Math 114 Section 2.1 Deductive and Induction Reasoning Statements Definition: A statement is a group of words or symbols that can be classified as true or false. Examples of statements

### 1. Use the following truth table to answer the questions.

Topic 3: Logic 3.3 Introduction to Symbolic Logic Negation and Conjunction Disjunction and Exclusive Disjunction 3.4 Implication and Equivalence Disjunction and Exclusive Disjunction Truth Tables 3.5 Inverse,

### Objectives. 2-2 Conditional Statements

Geometry Warm Up Determine if each statement is true or false. 1. The measure of an obtuse angle is less than 90. F 2. All perfect-square numbers are positive. 3. Every prime number is odd. F 4. Any three

### conditional statement conclusion Vocabulary Flash Cards Chapter 2 (p. 66) Chapter 2 (p. 69) Chapter 2 (p. 66) Chapter 2 (p. 76)

biconditional statement conclusion Chapter 2 (p. 69) conditional statement conjecture Chapter 2 (p. 76) contrapositive converse Chapter 2 (p. 67) Chapter 2 (p. 67) counterexample deductive reasoning Chapter

### Logic Appendix. Section 1 Truth Tables CONJUNCTION EXAMPLE 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 5 7 12 is a true statement, whereas

### Propositional Logic. Definition: A proposition or statement is a sentence which is either true or false.

Propositional Logic Definition: A proposition or statement is a sentence which is either true or false. Definition:If a proposition is true, then we say its truth value is true, and if a proposition is

### Geometry - Chapter 2 Review

Name: Class: Date: Geometry - Chapter 2 Review Multiple Choice Identify the choice that best completes the statement or answers the question. 1. Determine if the conjecture is valid by the Law of Syllogism.

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

### Geometry: 2.1-2.3 Notes

Geometry: 2.1-2.3 Notes NAME 2.1 Be able to write all types of conditional statements. Date: Define Vocabulary: conditional statement if-then form hypothesis conclusion negation converse inverse contrapositive

### CS 441 Discrete Mathematics for CS Lecture 5. Predicate logic. CS 441 Discrete mathematics for CS. Negation of quantifiers

CS 441 Discrete Mathematics for CS Lecture 5 Predicate logic Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square Negation of quantifiers English statement: Nothing is perfect. Translation: x Perfect(x)

### In the examples above, you used a process called inductive reasoning to continue the pattern. Inductive reasoning is.

Lesson 7 Inductive ing 1. I CAN understand what inductive reasoning is and its importance in geometry 3. I CAN show that a conditional statement is false by finding a counterexample Can you find the next

### Quantifiers are used to describe variables in statements. - The universal quantifier means for all. - The existential quantifier means there exists.

11 Quantifiers are used to describe variables in statements. - The universal quantifier means for all. - The existential quantifier means there exists. The phrases, for all x in R if x is an arbitrary

### Discrete Mathematics Lecture 1 Logic of Compound Statements. Harper Langston New York University

Discrete Mathematics Lecture 1 Logic of Compound Statements Harper Langston New York University Administration Class Web Site http://cs.nyu.edu/courses/summer05/g22.2340-001/ Mailing List Subscribe at

### CK-12 Geometry Conditional Statements

CK-12 Geometry Conditional Statements Learning Objectives Identify the hypothesis and conclusion of an if-then or conditional statement. Write the converse, inverse, and contrapositive of an if-then statement.

### 3. Logical Reasoning in Mathematics

3. Logical Reasoning in Mathematics Many state standards emphasize the importance of reasoning. We agree disciplined mathematical reasoning is crucial to understanding and to properly using mathematics.

### 2.) 5000, 1000, 200, 40, 3.) 1, 12, 123, 1234, 4.) 1, 4, 9, 16, 25, Draw the next figure in the sequence. 5.)

Chapter 2 Geometry Notes 2.1/2.2 Patterns and Inductive Reasoning and Conditional Statements Inductive reasoning: looking at numbers and determining the next one Conjecture: sometimes thought of as an

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

### CHAPTER 1. Logic, Proofs Propositions

CHAPTER 1 Logic, Proofs 1.1. Propositions A proposition is a declarative sentence that is either true or false (but not both). For instance, the following are propositions: Paris is in France (true), London

### What is logic? Propositional Logic. Negation. Propositions. This is a contentious question! We will play it safe, and stick to:

Propositional Logic This lecture marks the start of a new section of the course. In the last few lectures, we have had to reason formally about concepts. This lecture introduces the mathematical language

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

### Exam 2 Review Problems

MATH 1630 Exam 2 Review Problems Name Decide whether or not the following is a statement. 1) 8 + 5 = 14 A) Statement B) Not a statement 1) 2) My favorite baseball team will win the pennant. A) Statement

### CCGPS UNIT 6 Semester 2 COORDINATE ALGEBRA Page 1 of 33. Connecting Algebra and Geometry Through Coordinates

GPS UNIT 6 Semester 2 OORDINTE LGER Page 1 of 33 onnecting lgebra and Geometry Through oordinates Name: Date: M9-12.G.GPE.4 Use coordinates to prove simple geometric theorems algebraically. For example,

### Discrete Mathematics, Chapter : Propositional Logic

Discrete Mathematics, Chapter 1.1.-1.3: Propositional Logic Richard Mayr University of Edinburgh, UK Richard Mayr (University of Edinburgh, UK) Discrete Mathematics. Chapter 1.1-1.3 1 / 21 Outline 1 Propositions

### Ex 1: For points A, B, and C, AB = 10, BC = 8, and AC = 5. Make a conjecture and draw a figure to illustrate your conjecture.

Geometry 2-1 Inductive Reasoning and Conjecturing A. Definitions 1. A conjecture is an guess. 2. Looking at several specific situations to arrive at a is called inductive reasoning. Ex 1: For points A,

### 14 add 3 to preceding number 35 add 2, then 4, then 6,...

Geometry Definitions, Postulates, and Theorems hapter 2: Reasoning and Proof Section 2.1: Use Inductive Reasoning Standards: 1.0 Students demonstrate understanding by identifying and giving examples of

### CS 441 Discrete Mathematics for CS Lecture 2. Propositional logic. CS 441 Discrete mathematics for CS. Course administration

CS 441 Discrete Mathematics for CS Lecture 2 Propositional logic Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square Course administration Homework 1 First homework assignment is out today will be posted

### Chapter I Logic and Proofs

MATH 1130 1 Discrete Structures Chapter I Logic and Proofs Propositions A proposition is a statement that is either true (T) or false (F), but or both. s Propositions: 1. I am a man.. I am taller than

### Geometry. Unit 1. Transforming and Congruence. Suggested Time Frame 1 st Six Weeks 22 Days

Geometry Unit 1 Transforming and Congruence Title Suggested Time Frame 1 st Six Weeks 22 Days Big Ideas/Enduring Understandings Module 1 Tools of geometry can be used to solve real-world problems. Variety

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

### Statements, negations, connectives, truth tables, equivalent statements, De Morgan s Laws, arguments, Euler diagrams

Logic Statements, negations, connectives, truth tables, equivalent statements, De Morgan s Laws, arguments, Euler diagrams Part 1: Statements, Negations, and Quantified Statements A statement is a sentence

### 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:

### HUMN-218 COURSE SYLLABUS FOR LOGIC AND CRITICAL THINKING. Jill R. Wood Instructor

Coffeyville Community College HUMN-218 COURSE SYLLABUS FOR LOGIC AND CRITICAL THINKING Jill R. Wood Instructor COURSE NUMBER: HUMN-218 COURSE TITLE: Logic and Critical Thinking CREDIT HOURS: 3 INSTRUCTOR:

### 1.5 Arguments & Rules of Inference

1.5 Arguments & Rules of Inference Tools for establishing the truth of statements Argument involving a seuence of propositions (premises followed by a conclusion) Premises 1. If you have a current password,

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

### Boolean or Propositional Logic

Boolean or Propositional Logic SET07106 Mathematics for Software Engineering School of Computing Edinburgh Napier University Module Leader: Uta Priss 2010 Copyright Edinburgh Napier University Boolean

### Inference Rules and Proof Methods

Inference Rules and Proof Methods Winter 2010 Introduction Rules of Inference and Formal Proofs Proofs in mathematics are valid arguments that establish the truth of mathematical statements. An argument

### Module 3 Congruency can be used to solve real-world problems. What happens when you apply more than one transformation to

Transforming and Congruence *CISD Safety Net Standards: G.3C, G.4C Title Big Ideas/Enduring Understandings Module 1 Tools of geometry can be used to solve real-world problems. Variety of representations

### Midterm Examination 1 with Solutions - Math 574, Frank Thorne Thursday, February 9, 2012

Midterm Examination 1 with Solutions - Math 574, Frank Thorne (thorne@math.sc.edu) Thursday, February 9, 2012 1. (3 points each) For each sentence below, say whether it is logically equivalent to the sentence

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

### 2.1 Use Inductive Reasoning

2.1 Use Inductive Reasoning Obj.: Describe patterns and use inductive reasoning. Key Vocabulary Conjecture - A conjecture is an unproven statement that is based on observations. Inductive reasoning - You

### 2-3 Conditional Statements. Identify the hypothesis and conclusion of each conditional statement. 1. If today is Friday, then tomorrow is Saturday.

Identify the hypothesis and conclusion of each conditional statement. 1. If today is Friday, then tomorrow is Saturday. 2. Hypothesis: Today is Friday. Conclusion: Tomorrow is Saturday. Hypothesis: 2x

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

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

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

### Chapter 1. Reasoning in Geometry. Section 1-1 Inductive Reasoning

Chapter 1 Reasoning in Geometry Section 1-1 Inductive Reasoning Inductive Reasoning = Conjecture = Make a conjecture from the following information. 1. Eric was driving his friends to school when his car

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

### Geometry Chapter 2: Geometric Reasoning Lesson 1: Using Inductive Reasoning to Make Conjectures Inductive Reasoning:

Geometry Chapter 2: Geometric Reasoning Lesson 1: Using Inductive Reasoning to Make Conjectures Inductive Reasoning: Conjecture: Advantages: can draw conclusions from limited information helps us to organize

### Fourth Grade. Order the following numbers from smallest to largest: 576, 543, 562, A: 461.5, 543, 562, 576

Standard for Excellence: Number Sense Fourth Grade Mathematics Content Standard Performance Standard SAT 9 Number Sense 1.0 Students understand the place value of whole numbers and decimals to two decimal

### Geometric Structures

Geometric Structure Activity: TEKS: Overview: Materials: Mad as a Hatter (G.1) Geometric structure. The student understands the structure of, and relationships within, an axiomatic system. The student

### Geometry Unit 1. Basics of Geometry

Geometry Unit 1 Basics of Geometry Using inductive reasoning - Looking for patterns and making conjectures is part of a process called inductive reasoning Conjecture- an unproven statement that is based

### Propositional Logic and Methods of Inference SEEM

Propositional Logic and Methods of Inference SEEM 5750 1 Logic Knowledge can also be represented by the symbols of logic, which is the study of the rules of exact reasoning. Logic is also of primary importance

### n logical not (negation) n logical or (disjunction) n logical and (conjunction) n logical exclusive or n logical implication (conditional)

Discrete Math Review Discrete Math Review (Rosen, Chapter 1.1 1.6) TOPICS Propositional Logic Logical Operators Truth Tables Implication Logical Equivalence Inference Rules What you should know about propositional

### Assessment For The California Mathematics Standards Grade 1

Introduction: Summary of Goals GRADE ONE By the end of grade one, students learn to understand and use the concept of ones and tens in the place value number system. Students add and subtract small numbers

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

### 1. Squares are faster than circles, hexagons are slower than triangles, and hexagons are faster than squares. Which of these shapes is the slowest?

1. WARM UP PROBLEMS Try the following problems to see how many you are able to solve. If you have trouble to solve some, read the following section to learn some skills. Then come back to working on these

### Page : 17, 19, 21, 31, 33. Conditional/Biconditional/Inverse/Converse/Contrapositive Page 109-: odd, odd, 47, 48

Geometry UNIT 2 Reasoning and Proof Day 1 Day 2 Day 3 Day 4 Day 5 Day 6 Day 7 Day 8 Day 9 Day 11 Inductive Reasoning and Conjecture Page 93-95: 15-25 odds, 31-34, 36, 38, 47a Logic Page 101-102: 17, 19,

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

### Chapter 1 LOGIC AND PROOF

Chapter 1 LOGIC AND PROOF To be able to understand mathematics and mathematical arguments, it is necessary to have a solid understanding of logic and the way in which known facts can be combined to prove

### Patterns and Inductive Reasoning

2-1 Reteaching Patterns and Inductive Reasoning Inductive reasoning is a type of reasoning in which you look at a pattern and then make some type of prediction based on the pattern. These predictions are

### Let U = {Sun., Mon., Tue., Wed., Thur., Fri., Sat.} A = {Mon., Wed., Fri., Sat.}

MATH 102 Final Exam Practice Fall 2012 Use the information below to answer questions 1-4. Let U = {Sun., Mon., Tue., Wed., Thur., Fri., Sat.} A = {Mon., Wed., Fri., Sat.} B = {Sat., Sun.} C = {Tue., Wed.,

### WUCT121. Discrete Mathematics. Logic

WUCT121 Discrete Mathematics Logic 1. Logic 2. Predicate Logic 3. Proofs 4. Set Theory 5. Relations and Functions WUCT121 Logic 1 Section 1. Logic 1.1. Introduction. In developing a mathematical theory,

### Revision Grids Level 5

Revision Grids Level 5 How well you remember something vs How well you remember something Revision Revision Time Time No Revision With Revision By Great Maths Teaching Ideas Revision Grids Level 5 Welcome

### A Subject (tells you who or what the sentence is about)

Sentence Fragments A sentence requires A Subject (tells you who or what the sentence is about) A Verb (expresses action, tells what the subject does, or links the subject to other descriptive words, or

### MATHEMATICAL REASONING

Chapter 14 MATHEMATICAL REASONING 14.1 Overview If an object is either black or white, and if it is not black, then logic leads us to the conclusion that it must be white. Observe that logical reasoning

### Chapter 1: Essentials of Geometry

Section Section Title 1.1 Identify Points, Lines, and Planes 1.2 Use Segments and Congruence 1.3 Use Midpoint and Distance Formulas Chapter 1: Essentials of Geometry Learning Targets I Can 1. Identify,

### Inductive and Deductive Reasoning Sample Syllabus

Inductive and Deductive Reasoning Sample Syllabus DAY 1 WHAT (skills, goals, HOW (activities) knowledge, concepts, readings) Recursive Formulas and Inductive Reasoning 1. Cake cutting problem 2. Introductions,

### 1.2 Truth and Sentential Logic

Chapter 1 Mathematical Logic 13 69. Assume that B has m left parentheses and m right parentheses and that C has n left parentheses and n right parentheses. How many left parentheses appear in (B C)? How

### 1.5 Rules of Inference

1.5 Rules of Inference (Inference: decision/conclusion by evidence/reasoning) Introduction Proofs are valid arguments that establish the truth of statements. An argument is a sequence of statements that

### 31 is a prime number is a mathematical statement (which happens to be true).

Chapter 1 Mathematical Logic In its most basic form, Mathematics is the practice of assigning truth to welldefined statements. In this course, we will develop the skills to use known true statements to

### Jeff Wickstrom Jason Slattery Discrete Mathematics - Logic. Lesson Plans. Discrete Mathematics

Jeff Wickstrom Jason Slattery Discrete Mathematics - Logic Lesson Plans Discrete Mathematics Discrete mathematics, also called finite mathematics, is the study of mathematical structures that are fundamentally

### (subject) (predicate) Example identify the hypothesis and the conclusion and write it in if-then form:

Name Date Conditional Practice Conditional Statement logical statement with 2 parts (subject) (predicate) Can be written in If-then form If, then Example identify the hypothesis and the conclusion and

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

### The Foundations: Logic and Proofs. Chapter 1, Part III: Proofs

The Foundations: Logic and Proofs Chapter 1, Part III: Proofs Rules of Inference Section 1.6 Section Summary Valid Arguments Inference Rules for Propositional Logic Using Rules of Inference to Build Arguments

### Problems on Discrete Mathematics 1

Problems on Discrete Mathematics 1 Chung-Chih Li 2 Kishan Mehrotra 3 L A TEX at July 18, 2007 1 No part of this book can be reproduced without permission from the authors 2 Illinois State University, Normal,

### Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics. Introductory Notes in Discrete Mathematics

Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics Introductory Notes in Discrete Mathematics Marcel B. Finan c All Rights Reserved Last Updated April 6, 2016 Preface

### CSE 191, Class Note 01 Propositional Logic Computer Sci & Eng Dept SUNY Buffalo

Propositional Logic CSE 191, Class Note 01 Propositional Logic Computer Sci & Eng Dept SUNY Buffalo c Xin He (University at Buffalo) CSE 191 Discrete Structures 1 / 37 Discrete Mathematics What is Discrete

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

### 22C:19 Discrete Math. So. What is it? Why discrete math? Fall 2009 Hantao Zhang

22C:19 Discrete Math Fall 2009 Hantao Zhang So. What is it? Discrete mathematics is the study of mathematical structures that are fundamentally discrete, in the sense of not supporting or requiring the

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

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

### DISCRETE MATH: LECTURE 4

DISCRETE MATH: LECTURE 4 DR. DANIEL FREEMAN 1. Chapter 3.1 Predicates and Quantified Statements I A predicate is a sentence that contains a finite number of variables and becomes a statement when specific

### Exam 1 Answers: Logic and Proof

Q250 FALL 2012, INDIANA UNIVERSITY Exam 1 Answers: Logic and Proof September 17, 2012 Instructions: Please answer each question completely, and show all of your work. Partial credit will be awarded where

### Logic and Reasoning Practice Final Exam Spring 2015. Section Number

Logic and Reasoning Practice Final Exam Spring 2015 Name Section Number The final examination is worth 100 points. 1. (5 points) What is an argument? Explain what is meant when one says that logic is the

### Student s Perception of Interactive Teaching Aids. In The Core Mathematics Classroom. Taylor Smoak. Georgia College. Senior Capstone Fall 2014

Student s Perception of Interactive Teaching Aids In The Core Mathematics Classroom Taylor Smoak Georgia College Senior Capstone Fall 2014 Smoak 2 Introduction Over the centuries, teaching techniques have

### Logic and Proofs. Chapter 1

Section 1.0 1.0.1 Chapter 1 Logic and Proofs 1.1 Propositional Logic 1.2 Propositional Equivalences 1.3 Predicates and Quantifiers 1.4 Nested Quantifiers 1.5 Rules of Inference 1.6 Introduction to Proofs

### A Correlation of Pearson Texas Geometry Digital, 2015

A Correlation of Pearson Texas Geometry Digital, 2015 To the Texas Essential Knowledge and Skills (TEKS) for Geometry, High School, and the Texas English Language Proficiency Standards (ELPS) Correlations

### 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)

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

### Section 1. Statements and Truth Tables. Definition 1.1: A mathematical statement is a declarative sentence that is true or false, but not both.

M3210 Supplemental Notes: Basic Logic Concepts In this course we will examine statements about mathematical concepts and relationships between these concepts (definitions, theorems). We will also consider

### Definition 10. A proposition is a statement either true or false, but not both.

Chapter 2 Propositional Logic Contrariwise, continued Tweedledee, if it was so, it might be; and if it were so, it would be; but as it isn t, it ain t. That s logic. (Lewis Carroll, Alice s Adventures

### 2. Methods of Proof Types of Proofs. Suppose we wish to prove an implication p q. Here are some strategies we have available to try.

2. METHODS OF PROOF 69 2. Methods of Proof 2.1. Types of Proofs. Suppose we wish to prove an implication p q. Here are some strategies we have available to try. Trivial Proof: If we know q is true then

### TImath.com. Geometry. Conditional Statements

Conditional Statements ID: 8744 Time required 40 minutes Activity Overview In this activity, students will write logical statements related to the given conditional statement. They will explore whether

### MATHEMATICS SAMPLE. 1.1 Writing Conditional, Converse, and Inverse Statements and Determining the Truth Value of these Statements

MATHEMATICS SAMPLE Copyright 2011 by North Farm Enterprises, LLC, 2405 North Hillfield Rd. Layton, Utah 84041 Chapter 1 1.1 Writing Conditional, Converse, and Inverse Statements and Determining the Truth

### 2. Propositional Equivalences

2. PROPOSITIONAL EQUIVALENCES 33 2. Propositional Equivalences 2.1. Tautology/Contradiction/Contingency. Definition 2.1.1. A tautology is a proposition that is always true. Example 2.1.1. p p Definition

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

### Teacher Annotated Edition Study Notebook

Teacher Annotated Edition Study Notebook Copyright by The McGraw-Hill Companies, Inc. All rights reserved. Except as permitted under the United States Copyright Act, no part of this publication may be

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