WARM-UP. Conditional Statements

Size: px
Start display at page:

Download "WARM-UP. Conditional Statements"

Transcription

1 WARM-UP B A 4x + 33 C D 2x +81 ( ) + 33 ind the values of the three angles below m ABD 4x + = 33 4= 8 2x +81 m ABD +4x = 32 +4x + 33= = 6x + 81 m DBC 81 = 2( 8) m DBC 48 = 16 = 6x +81= m ABC 8 = 2= ( 65 x )=130 You need to begin by Now finding for the the angles! value of x Conditional Statements SECION 2.1 1

2 oday s opics Conditional Statements Definition & Shortcut Notations Re-writing a statement as an if-then Applying Negation to statements Related Statements Inverse Converse Contra-Positive Shorthand Symbols for Perpendicular & Parallel Biconditional Statements ruth ables Conditional Statement A logical statement that begins with a hypothesis you are in Portland that is followed you by are a conclusion. in Oregon hese statements are often referred hypothesis to as if-then statements conclusion Often times in mathematics the logic (not If words) you are are in more Portland, important thus then you are a in shorthand Oregon. p q p: he hypothesis & conclusion are q: broken up by the then p implies q Let s take a look at an example of an if-then statement 2

3 Exploration Write down three different if-then statements. Statement #1: A rue Statement Statement #2: A alse Statement Statement #3: One that is difficult to decide! Once If a finished month has please 30 days, share then them it with is ebruary. the person sitting next to you (your elbow partner). If See an if angle he (or is she) right, can then spot it has which a measure one is which!! of 90. No! Sept., Apr., Jun., & Nov. Yes! his is the definition. You If you have are 15 in minutes! Eugene, Be then prepared you are to in share Oregon. out to the class!! No! Indiana & Missouri. Re-writing a Statement You will be asked to re-write conditional statements that lack an if & a then as if-then statements All kitty cats have claws. If it s a cat, then it has claws. 4x + 5 = 13, if x = 2. If x = 2, then 4x + 5 = 13 3

4 Re-writing a Statement Your turn! Re-write the following conditional statements using if & then oday is riday, and tomorrow is the weekend! 2x + 7 = 1, because x = -3. Stop Being So Negative Often here times is a short we will hand want for the negation opposite just of like the there is for hypothesis hypothesis or conclusion. and the conclusion not p ~ p p his is achieved by using negation! Original Statements he balloon is red. he sky is not dark. Negated Statements he balloon is not red. he sky is dark. 4

5 Related Conditionals We achieve three more conditional statements based on the original if-then using order & negation Original Statement If it is raining outside, then you will be wet! Converse: Contra-Positive: Inverse: Re-ordering Negating Hypothesis Both When Hyp. hypothesis & conclusion Con. are & negated conclusion are negated & switched If If you it you is not are wet, raining wet, then then outside, it it is is not then raining you outside! will not get wet! Equivalent Statements hese Now If we decide: related organize if conditionals the these hypothesis into match a table was up we true, in see terms would the of their value the conclusion connections! or the logic be they true. express. If the stars are visible, then it is night. OR. Words Symbol Value rue Please Note: If Original it is night, then p q the stars are Write visible. Sometimes Equivalent CON. the following alse all statements will Converse q p conditional If the stars are not visible, then statement it is not be true, night. and IN. in the alse Inverse ~ p ~ q other times form of it s inverse, If it is not night, then the stars are converse, not visible. C.P. Contra-P. ~ q ~ p they Equivalent will all be & rue false. contra-positive. 5

6 Parallel & Perpendicular wo Did lines you notice are parallel the link between wo lines the are hypothesis perpendicular & conclusion if and only in these if definitions? if (If and and only only if if) they do not intersect. they form a right angle. m n m n linem / / linen linem linen Biconditional Statements A statement BU what that about represents a shortcut the original for these and converse statements?! in one statement Original p q q p p iff q p q If a shape is a triangle, then it has three sides. Converse hese types of statements are popular both If a because shape A shape has they is three a can triangle sides, be read iff then it both has it is forwards three a triangle. sides. & backwards, but often times definitions in math Biconditional are written using biconditional statements. A shape is a triangle if and only if it has three sides. 6

7 ruth ables Handy little device we use to compare the value of conditional statements & all of the possible scenarios. Let s consider the following p Which Let s q two seem take statements: reasonable? his a look is the at each truth I am of these in Paris, options I table am in from for rance the the Could both of these be lens of the conditional original true? Both alse? I am in conditional Paris, p statement. : I am I am not stance. in in Paris rance OR Could one or the other I am When not in the q Paris, : ALL hypothesis is I am I am original in in rance be true? Let s organize true what do conditional you expect these choices by a table the conclusion statements!! to be? I am not in Paris, I am not in rance ruth ables Any easy trick for these is to remember that the ry your only hand time at a truth statement tables. is Please false is complete the following if it starts table true, for the but converse ends false & inverse. p q ~p ~q q p ~p ~q 7

8 Homework!! Perfect!! Pg #10-12, 14-15, 17-18, 34-35, 39-40, 47,

GEOMETRY. Chapter 2: LOGIC. Name: Teacher: Pd:

GEOMETRY. Chapter 2: LOGIC. Name: Teacher: Pd: GEOMERY Chapter 2: LOGIC Name: eacher: Pd: able of Contents DAY 1: SWBA: Identify, write and analyze the different types of logical statements. Pgs: 2-8 Homework: Pgs 6 8 (EVEN ONLY) DAY 2: SWBA: Write

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

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

Unit 2: Logic and Reasoning. start of unit

Unit 2: Logic and Reasoning. start of unit Unit 2: Logic and Reasoning Prior Unit: Introduction to Geometry Next Unit: Transversals By the end of this unit I will be able to: Skill Self-Rating start of unit Date(s) covered Self-Rating end of unit

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

Example. Logic. Logical Statements. Outline of logic topics. Logical Connectives. Logical Connectives

Example. Logic. Logical Statements. Outline of logic topics. Logical Connectives. Logical Connectives Logic Logic is study of abstract reasoning, specifically, concerned with whether reasoning is correct. Logic focuses on relationship among statements as opposed to the content of any particular statement.

More information

2.2 Analyze Conditional

2.2 Analyze Conditional 2.2 Analyze Conditional Statements Goal p Write definitions as conditional statements. Your Notes VOCABULARY Conditional statement If-then form Hypothesis Conclusion Negation Converse Inverse Contrapositive

More information

Formal Geometry. Conditional Statements

Formal Geometry. Conditional Statements Formal Geometry Conditional Statements Objectives Can you analyze statements in if then form? Can you write the converse, inverse, and contrapositive of if then statements? Inductive Reasoning Inductive

More information

GEOMETRY. 2.1 Conditional Statements

GEOMETRY. 2.1 Conditional Statements GEOMETRY 2.1 Conditional Statements ESSENTIAL QUESTION When is a conditional statement true or false? WHAT YOU WILL LEARN owrite conditional statements. ouse definitions written as conditional statements.

More information

CSE 240 Logic and Discrete Mathematics

CSE 240 Logic and Discrete Mathematics CSE 240 Logic and Discrete Mathematics Instructor: odd Sproull Department of Computer Science and Engineering Washington University in St. Louis 1Extensible - CSE 240 Logic Networking and Discrete Platform

More information

Section 1.2: Conditional Statements

Section 1.2: Conditional Statements Section 1.2: Conditional Statements In this section, we study one of the most important tools in logic - conditional statements. Loosely speaking, conditional statements are statements of the form if p

More information

Sec$on Summary. Propositions Connectives. Truth Tables. Negation Conjunction Disjunction Implication; contrapositive, inverse, converse Biconditional

Sec$on Summary. Propositions Connectives. Truth Tables. Negation Conjunction Disjunction Implication; contrapositive, inverse, converse Biconditional Section 1.1 Sec$on Summary Propositions Connectives Negation Conjunction Disjunction Implication; contrapositive, inverse, converse Biconditional ruth ables 2 Proposi$ons A proposition is a declarative

More information

Mathematical Logic Part One

Mathematical Logic Part One Mathematical Logic Part One An Important Question How do we formalize the logic we've been using in our proofs? Where We're Going Propositional Logic (oday) Basic logical connectives. ruth tables. Logical

More information

13.3 Truth Tables for the Conditional and the Biconditional

13.3 Truth Tables for the Conditional and the Biconditional ruthablesconditionalbiconditional.nb 1 13.3 ruth ables for the Conditional and the Biconditional Conditional Earlier, we mentioned that the statement preceding the conditional symbol is called the antecedent

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 Mathematical Structures. Chapter 1 The Foundation: Logic

Discrete Mathematical Structures. Chapter 1 The Foundation: Logic Discrete Mathematical Structures Chapter 1 he oundation: Logic 1 Lecture Overview 1.1 Propositional Logic 1.2 Propositional Equivalences 1.3 Quantifiers l l l l l Statement Logical Connectives Conjunction

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

Logic and Truth Tables

Logic and Truth Tables Logic and ruth ables What is a ruth able? A truth table is a tool that helps you analyze statements or arguments in order to verify whether or not they are logical, or true. here are five basic operations

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

right angle an angle whose measure is exactly 90ᴼ

right angle an angle whose measure is exactly 90ᴼ right angle an angle whose measure is exactly 90ᴼ m B = 90ᴼ B two angles that share a common ray A D C B Vertical Angles A D C B E two angles that are opposite of each other and share a common vertex two

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

(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

Propositional Logic. Propositional Equivalences. Agenda. Yutaka HATA, IEEE Fellow. Ch1.1 Propositional Logic. Ch1.2 Propositional Equivalences

Propositional Logic. Propositional Equivalences. Agenda. Yutaka HATA, IEEE Fellow. Ch1.1 Propositional Logic. Ch1.2 Propositional Equivalences Discrete Mathematic Chapter 1: Logic and Proof 1.1 Propositional Logic 1.2 Propositional Equivalences Yutaka HAA, IEEE ellow University of Hyogo, JAPAN his material was made by Dr. Patrick Chan School

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

Compound Propositions

Compound Propositions Discrete Structures Compound Propositions Producing new propositions from existing propositions. Logical Operators or Connectives 1. Not 2. And 3. Or 4. Exclusive or 5. Implication 6. Biconditional Truth

More information

DeMorgan s Laws and the Biconditional. Philosophy and Logic Sections 2.3, 2.4 ( Some difficult combinations )

DeMorgan s Laws and the Biconditional. Philosophy and Logic Sections 2.3, 2.4 ( Some difficult combinations ) DeMorgan s aws and the Biconditional Philosophy and ogic Sections 2.3, 2.4 ( Some difficult combinations ) Some difficult combinations Not both p and q = ~(p & q) We won t both sing and dance. A negation

More information

Truth Tables for Arguments

Truth Tables for Arguments ruth ables for Arguments 1. Comparing Statements: We ve looked at SINGLE propositions and assessed the truth values listed under their main operators to determine whether they were tautologous, self-contradictory,

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.1 Start Thinking. 2.1 Warm Up. 2.1 Cumulative Review Warm Up

2.1 Start Thinking. 2.1 Warm Up. 2.1 Cumulative Review Warm Up 2.1 Start Thinking The statement If you are able to open the door, then the door is unlocked is always true. Write a statement you know to be true in the same if-then form. Support your statement with

More information

Section 2-1. Chapter 2. Make Conjectures. Example 1. Reasoning and Proof. Inductive Reasoning and Conjecture

Section 2-1. Chapter 2. Make Conjectures. Example 1. Reasoning and Proof. Inductive Reasoning and Conjecture Chapter 2 Reasoning and Proof Section 2-1 Inductive Reasoning and Conjecture Make Conjectures Inductive reasoning - reasoning that uses a number of specific examples to arrive at a conclusion Conjecture

More information

Mathematical Logic Part One

Mathematical Logic Part One Mathematical Logic Part One Question: How do we formalize the definitions and reasoning we use in our proofs? Where We're Going Propositional Logic (oday) Basic logical connectives. ruth tables. Logical

More information

TRUTH TABLES LOGIC (CONTINUED) Philosophical Methods

TRUTH TABLES LOGIC (CONTINUED) Philosophical Methods TRUTH TABLES LOGIC (CONTINUED) Philosophical Methods Here s some Vocabulary we will be talking about in this PowerPoint. Atomic Sentences: Statements which express one proposition Connectives: These are

More information

Chapter 2 Practice Test

Chapter 2 Practice Test Name: Class: Date: ID: A Chapter 2 Practice Test 1. What is a counterexample for the conjecture? Conjecture: Any number that is divisible by 4 is also divisible by 8. 2. What is the conclusion of the following

More information

AMTH140 Lecture 8. Symbolic Logic

AMTH140 Lecture 8. Symbolic Logic AMTH140 Lecture 8 Slide 1 Symbolic Logic March 10, 2006 Reading: Lecture Notes 6.2, 6.3; Epp 1.1, 1.2 Logical Connectives Let p and q denote propositions, then: 1. p q is conjunction of p and q, meaning

More information

To reason to a correct conclusion, we must build our arguments on true statements. Sometimes it is helpful to use truth tables. Simple Truth Table p

To reason to a correct conclusion, we must build our arguments on true statements. Sometimes it is helpful to use truth tables. Simple Truth Table p Geometry Week 9 Sec 5.3 and 5.4 section 5.3 To reason to a correct conclusion, we must build our arguments on true statements. Sometimes it is helpful to use truth tables. Simple Truth Table p T F p F

More information

2-4. Holt McDougal Geometry

2-4. Holt McDougal Geometry Warm Up Write a conditional statement from each of the following. 1. The intersection of two lines is a point. If two lines intersect, then they intersect in a point. 2. An odd number is one more than

More information

3) x -7 4) 3 < x. When multiplying or dividing by a NEGATIVE number, we SWITCH the inequality sign!

3) x -7 4) 3 < x. When multiplying or dividing by a NEGATIVE number, we SWITCH the inequality sign! Name: Date: / / WARM UP 1) What is the difference between an inequality and an equation.? QUIZ DAY! 2) One must be at least 35 years old in order to be president of the United States. If x represents age,

More information

LOGIC CONNECTIVES. Students who have an ACT score of at least 30 OR a GPA of at least 3.5 can receive a college scholarship.

LOGIC CONNECTIVES. Students who have an ACT score of at least 30 OR a GPA of at least 3.5 can receive a college scholarship. LOGIC In mathematical and everyday English language, we frequently use logic to express our thoughts verbally and in writing. We also use logic in numerous other areas such as computer coding, probability,

More information

Proposition/Statement. Boolean Logic. Boolean variables. Logical operators: And. Logical operators: Not 9/3/13. Introduction to Logical Operators

Proposition/Statement. Boolean Logic. Boolean variables. Logical operators: And. Logical operators: Not 9/3/13. Introduction to Logical Operators Proposition/Statement Boolean Logic CS 231 Dianna Xu A proposition is either true or false but not both he sky is blue Lisa is a Math major x == y Not propositions: Are you Bob? x := 7 1 2 Boolean variables

More information

2.2 Day 1: Date: Geometry

2.2 Day 1: Date: Geometry 2.2 Day 1: Date: Geometry A Conditional Statement is an statement. The is the part following if. The is the part following then. Ex 1). What are the hypothesis and the conclusion of the conditional statement?

More information

Functions. Lecture 4: Truth functions, evaluating compound statements. Arithmetic Functions. x y x+y

Functions. Lecture 4: Truth functions, evaluating compound statements. Arithmetic Functions. x y x+y Lecture 4: ruth functions, evaluating compound statements 1. unctions, arithmetic functions, and truth functions 2. Definitions of truth functions unctions A function is something that takes inputs and

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

Prof. Girardi Exam 1 Math 300 MARK BOX

Prof. Girardi Exam 1 Math 300 MARK BOX NAME: Prof. Girardi 09.27.11 Exam 1 Math 300 problem MARK BOX points 1 40 2 5 3 10 4 5 5 10 6 10 7 5 8 5 9 8 10 2 total 100 Problem Inspiration (1) Quiz 1 (2) Exam 1 all 10 Number 3 (3) Homework and Study

More information

Logic and Proof. Aiichiro Nakano

Logic and Proof. Aiichiro Nakano Logic and Proof Aiichiro Nakano Collaboratory for Advanced Computing & Simulations Department of Computer Science Department of Physics & Astronomy Department of Chemical Engineering & Materials Science

More information

Logic of Sentences (Propositional Logic) is interested only in true or false statements; does not go inside.

Logic of Sentences (Propositional Logic) is interested only in true or false statements; does not go inside. You are a mathematician if 1.1 Overview you say to a car dealer, I ll take the red car or the blue one, but then you feel the need to add, but not both. --- 1. Logic and Mathematical Notation (not in the

More information

FUNDAMENTALS OF MATHEMATICS HANDOUT 1.3 DR. MCLOUGHLIN

FUNDAMENTALS OF MATHEMATICS HANDOUT 1.3 DR. MCLOUGHLIN 021 McLoughlin Handout 1.3, page 1 of 6 FUNDAMENTALS OF MATHEMATICS HANDOUT 1.3 DR. MCLOUGHLIN Truth Table for Not K K T F F T Truth Table for And B M B M T F F F T F F F F Truth Table for Or R S R S T

More information

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

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

More information

CHAPTER 1. MATHEMATICAL LOGIC 1.1 Fundamentals of Mathematical Logic

CHAPTER 1. MATHEMATICAL LOGIC 1.1 Fundamentals of Mathematical Logic CHAPER 1 MAHEMAICAL LOGIC 1.1 undamentals of Mathematical Logic Logic is commonly known as the science of reasoning. Some of the reasons to study logic are the following: At the hardware level the design

More information

Chapter 2: Reasoning and Proof

Chapter 2: Reasoning and Proof Name: Chapter 2: Reasoning and Proof Guided Notes Geometry Fall Semester 2.1 Use Inductive Reasoning CH. 2 Guided Notes, page 2 Term Definition Example conjecture An unproven statement that is based on

More information

PSU MATH RELAYS LOGIC & SET THEORY 2017

PSU MATH RELAYS LOGIC & SET THEORY 2017 PSU MATH RELAYS LOGIC & SET THEORY 2017 MULTIPLE CHOICE. There are 40 questions. Select the letter of the most appropriate answer and SHADE in the corresponding region of the answer sheet. If the correct

More information

PRACTICE PROBLEMS STD. XII Sci.

PRACTICE PROBLEMS STD. XII Sci. MAHEMAICS PRACICE PROBEMS SD. XII Sci. irst Edition: November 2015 Salient eatures : Adequate Problems for Practice in each sub-topic opic and sub-topic wise classification of Problems at the beginning

More information

tfrwsnyttareparal ~u#sntne

tfrwsnyttareparal ~u#sntne 0 f Converse tfrwsnyttareparal ~u#sntne * Types of statements: Conditional Converse Biconditional Negation - If. - I then statement - Statement in which the If and then are switched - when a conditional

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

Disproving Conjectures with Counterexamples

Disproving Conjectures with Counterexamples Disproving Conjectures with Counterexamples Consider the simple conjecture given below. If two lines are both intersected by a transversal, then they are parallel. This conjecture is false: two lines do

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

Lecture 2. Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits. Reading (Epp s textbook)

Lecture 2. Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits. Reading (Epp s textbook) Lecture 2 Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits Reading (Epp s textbook) 2.1-2.4 1 Logic Logic is a system based on statements. A statement (or

More information

Geometry: Notes

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

More information

HW1 graded review form? HW2 released CSE 20 DISCRETE MATH. Fall

HW1 graded review form? HW2 released CSE 20 DISCRETE MATH. Fall CSE 20 HW1 graded review form? HW2 released DISCRETE MATH Fall 2017 http://cseweb.ucsd.edu/classes/fa17/cse20-ab/ Today's learning goals Translate sentences from English to propositional logic using appropriate

More information

GENERAL MATHEMATICS 11

GENERAL MATHEMATICS 11 THE SEED MONTESSORI SCHOOL GENERAL MATHEMATICS 11 Operations on Propositions July 14, 2016 WORK PLAN Daily Routine Objectives Recall Lesson Proper Practice Exercises Exit Card DAILY DOSE On ¼ sheet of

More information

Definition 2. Conjunction of p and q

Definition 2. Conjunction of p and q Proposition Propositional Logic CPSC 2070 Discrete Structures Rosen (6 th Ed.) 1.1, 1.2 A proposition is a statement that is either true or false, but not both. Clemson will defeat Georgia in football

More information

CSE 311: Foundations of Computing I. Spring 2015 Lecture 1: Propositional Logic

CSE 311: Foundations of Computing I. Spring 2015 Lecture 1: Propositional Logic CSE 311: Foundations of Computing I Spring 2015 Lecture 1: Propositional Logic We will study the theory needed for CSE. about the course Logic: How can we describe ideas and arguments precisely? Formal

More information

Geometry Unit 2 Notes Logic, Reasoning and Proof

Geometry Unit 2 Notes Logic, Reasoning and Proof Geometry Unit 2 Notes Logic, Reasoning and Proof Review Vocab.: Complementary, Supplementary and Vertical angles. Syllabus Objective: 2.1 - The student will differentiate among definitions, postulates,

More information

Ch 2 Practice. Multiple Choice

Ch 2 Practice. Multiple Choice Ch 2 Practice Multiple Choice 1. For the conditional statement, write the converse and a biconditional statement. If a figure is a right triangle with sides a, b, and c, then a 2 + b 2 = c 2. a. Converse:

More information

Ě /DZ RI 6\OORJLVP p. 60. Ě 5HIOH[LYH 3URSHUW\ p. 65 Ě conclusion, p. 49. Ě QHJDWLRQ p. 49. Ě 6\PPHWULF 3URSHUW\ p. 65 Ě conditional, p.

Ě /DZ RI 6\OORJLVP p. 60. Ě 5HIOH[LYH 3URSHUW\ p. 65 Ě conclusion, p. 49. Ě QHJDWLRQ p. 49. Ě 6\PPHWULF 3URSHUW\ p. 65 Ě conditional, p. Topic 2 Review TOPIC VOCBULRY Ě biconditional, p. 55 Ě GHGXFWLYH UHDVRQLQJ p. 60 Ě /DZ RI 6\OORJLVP p. 60 Ě 5HIOH[LYH 3URSHUW\ p. 65 Ě conclusion, p. 49 Ě GLDPHWHU p. 44 Ě QHJDWLRQ p. 49 Ě 6\PPHWULF 3URSHUW\

More information

Warm Up Lesson Presentation Lesson Quiz. Holt McDougal Geometry

Warm Up Lesson Presentation Lesson Quiz. Holt McDougal Geometry 2-4 Warm Up Lesson Presentation Lesson Quiz Geometry Warm Up Write a conditional statement from each of the following. 1. The intersection of two lines is a point. If two lines intersect, then they intersect

More information

2. The Logic of Compound Statements Summary. Aaron Tan August 2017

2. The Logic of Compound Statements Summary. Aaron Tan August 2017 2. The Logic of Compound Statements Summary Aaron Tan 21 25 August 2017 1 2. The Logic of Compound Statements 2.1 Logical Form and Logical Equivalence Statements; Compound Statements; Statement Form (Propositional

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

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

Introduction. Applications of discrete mathematics:

Introduction. Applications of discrete mathematics: Introduction Applications of discrete mathematics: Formal Languages (computer languages) Compiler Design Data Structures Computability Automata Theory Algorithm Design Relational Database Theory Complexity

More information

Chapter 2 Test Review

Chapter 2 Test Review Chapter 2 Test Review 1. If then what are and The diagram is not to scale. A., C., B., D., 2. How are the two angles related? 60 120 Drawing not to scale A. supplementary C. vertical B. adjacent D. complementary

More information

MTH202 Discrete Mathematics

MTH202 Discrete Mathematics LATSEST MCQS FROM MIDTERM PAPERS 10 MAY 011 MC10040185 moaaz.pk@gmail.com Moaaz siddiq MTH0 Discrete Mathematics Question No. 1: If p= It is raining q = She will go to college "It is raining and she will

More information

1 The Foundations. 1.1 Logic. A proposition is a declarative sentence that is either true or false, but not both.

1 The Foundations. 1.1 Logic. A proposition is a declarative sentence that is either true or false, but not both. he oundations. Logic Propositions are building blocks of logic. A proposition is a declarative sentence that is either true or false, but not both. Example. Declarative sentences.. Ottawa is the capital

More information

Lecture 02: Propositional Logic

Lecture 02: Propositional Logic Lecture 02: Propositional Logic CSCI 358 Discrete Mathematics, Spring 2016 Hua Wang, Ph.D. Department of Electrical Engineering and Computer Science January 19, 2015 Propositional logic Propositional logic

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

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

Click the mouse button or press the Space Bar to display the answers.

Click the mouse button or press the Space Bar to display the answers. Click the mouse button or press the Space Bar to display the answers. Questions On yesterday s Assignment? 2-3 Objectives You will learn to: Write the converse, inverse, and contrapositive of if-then

More information

Inductive Reasoning. Courage is resistance to fear, mastery of fear, not absence of fear. Mark Twain

Inductive Reasoning. Courage is resistance to fear, mastery of fear, not absence of fear. Mark Twain Inductive Reasoning Courage is resistance to fear, mastery of fear, not absence of fear. Mark Twain Inductive Reasoning O Inductive Reasoning is the process of observing a pattern and making a conjecture

More information

Unit 1 Logic Unit Math 114

Unit 1 Logic Unit Math 114 Unit 1 Logic Unit Math 114 Section 1.1 Deductive and Induction Reasoning Deductive Reasoning: The application of a general statement to a specific instance. Deductive reasoning goes from general to specific

More information

Not Logical Statements!

Not Logical Statements! Project: An Intro to Logic A few years ago, I was observing a colleague s writing class at COCC. Near the end of the class, she told the students a story from her youth: How, as a senior year in high school,

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

Discrete Mathematics and Applications COT3100

Discrete Mathematics and Applications COT3100 Discrete Mathematics and Applications CO3100 Dr. Ungor Sources: Slides are based on Dr. G. Bebis material. uesday, January 7, 2014 oundations of Logic: Overview Propositional logic: (Sections 1.1-1.3)

More information

HOW TO WRITE PROOFS. Dr. Min Ru, University of Houston

HOW TO WRITE PROOFS. Dr. Min Ru, University of Houston HOW TO WRITE PROOFS Dr. Min Ru, University of Houston One of the most difficult things you will attempt in this course is to write proofs. A proof is to give a legal (logical) argument or justification

More information

Chapter 1 Logic Unit Math 114

Chapter 1 Logic Unit Math 114 Chapter 1 Logic Unit Math 114 Section 1.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

More information

September 27, =2. x={ -2,2}

September 27, =2. x={ -2,2} 2. 1 1=2 x={ -2,2} What is a conditional statement? An if - then statement Conditional Statement If 0you are not completely satisfied with your math education, then you can have your money back. - ^ hypothesis

More information

EECS 1028 M: Discrete Mathematics for Engineers

EECS 1028 M: Discrete Mathematics for Engineers EECS 1028 M: Discrete Mathematics for Engineers Suprakash Datta Office: LAS 3043 Course page: http://www.eecs.yorku.ca/course/1028 Also on Moodle S. Datta (York Univ.) EECS 1028 W 18 1 / 26 Why Study Logic?

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

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

Logical Agents. Knowledge based agents. Knowledge based agents. Knowledge based agents. The Wumpus World. Knowledge Bases 10/20/14

Logical Agents. Knowledge based agents. Knowledge based agents. Knowledge based agents. The Wumpus World. Knowledge Bases 10/20/14 0/0/4 Knowledge based agents Logical Agents Agents need to be able to: Store information about their environment Update and reason about that information Russell and Norvig, chapter 7 Knowledge based agents

More information

Solutions to Homework I (1.1)

Solutions to Homework I (1.1) Solutions to Homework I (1.1) Problem 1 Determine whether each of these compound propositions is satisable. a) (p q) ( p q) ( p q) b) (p q) (p q) ( p q) ( p q) c) (p q) ( p q) (a) p q p q p q p q p q (p

More information

Logic CHAPTER. 3.1 A Little Dash of Logic Two Methods of Logical Reasoning p. 101

Logic CHAPTER. 3.1 A Little Dash of Logic Two Methods of Logical Reasoning p. 101 CHAPTER Logic Riding a bicycle is a skill which, once learned, is rarely forgotten. What s more, bicycles are enough alike that if you can ride one bike, you can pretty much ride them all. This is an example

More information

IB MATH STUDIES. Summer Review Packet for Students. Richard Montgomery High School

IB MATH STUDIES. Summer Review Packet for Students. Richard Montgomery High School IB IB MAH SUDIES Summer Review Packet for Students he problems in the packet are designed to help you review topics from Algebra 2 and Pre-Calculus that are important to your success in IB Math Studies.

More information

CSE 311: Foundations of Computing I

CSE 311: Foundations of Computing I CSE 311: Foundations of Computing I Autumn 2015 Lecture 1: Propositional Logic Overload Request Link: http://tinyurl.com/p5vs5xb We will study the theory needed for CSE. about the course Logic: How can

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

Day 1 Inductive Reasoning and Conjectures

Day 1 Inductive Reasoning and Conjectures Formal Geometry Chapter 2 Logic and Proofs Day 1 Inductive Reasoning and Conjectures Objectives: SWBAT form a conjecture, and check it SWBAT use counterexamples to disprove a conjecture Logic the use of

More information

Logic and Propositional Calculus

Logic and Propositional Calculus CHAPTER 4 Logic and Propositional Calculus 4.1 INTRODUCTION Many algorithms and proofs use logical expressions such as: IF p THEN q or If p 1 AND p 2, THEN q 1 OR q 2 Therefore it is necessary to know

More information

CSC Discrete Math I, Spring Propositional Logic

CSC Discrete Math I, Spring Propositional Logic CSC 125 - Discrete Math I, Spring 2017 Propositional Logic Propositions A proposition is a declarative sentence that is either true or false Propositional Variables A propositional variable (p, q, r, s,...)

More information

Geometry CP Review WS

Geometry CP Review WS Geometry CP 2.1-2.5 Review WS Name 1. a) Use inductive reasoning to sketch the fourth figure in each pattern. Figure 4 b) How many squares are in the next object? 2. Use inductive reasoning to write the

More information

Unit 5: Congruency. Part 1 of 3: Intro to Congruency & Proof Pieces. Lessons 5-1 through 5-4

Unit 5: Congruency. Part 1 of 3: Intro to Congruency & Proof Pieces. Lessons 5-1 through 5-4 Name: Geometry Period Unit 5: Congruency Part 1 of 3: Intro to Congruency & Proof Pieces Lessons 5-1 through 5-4 In this unit you must bring the following materials with you to class every day: Please

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

Sun, Moon, and Stars. The Stars

Sun, Moon, and Stars. The Stars The Sun The Moon Sun, Moon, and Stars The Stars VOCABULARY *The sun is the star that rises in the morning, crosses the sky, and sets at night. *The cardinal directions are the four main points on a compass:

More information