Statements and Quantifiers

Slides:



Advertisements
Similar presentations
Inverses, Contrapositives, and Indirect Reasoning
Advertisements

12.2: And and Or in Logic 1/17/ : And, Or and Not in Logic Expectations: L3.2.1:Know and use the terms of basic logic (e.g., proposition, negation,
Inverses, Contrapositives, and Indirect Reasoning
Write the negation of “ABCD is not a convex polygon.”
Notes on Logic Continued
2.2 Conditional Statements Goal: Students will be able:  To recognize conditional statements and their parts.  To write converses, inverses, and contrapositives.
1.2 – Open Sentences and Graphs
Conditional Statements
What is logic? Logic is the science of how to evaluate arguments and reasoning. Critical thinking is a process of evaluation which uses logic to separate.
Logic Geometry Unit 11, Lesson 5 Mrs. Reed. Definition Statement – a sentence that is either true or false. Example: There are 30 desks in the room.
2.2 Statements, Connectives, and Quantifiers
L OGIC Sol: G.1 b, c Sec: A conjecture is an educated guess that can be either true or false. A statement is a sentence that is either true or.
Logic Disjunction A disjunction is a compound statement formed by combining two simple sentences using the word “OR”. A disjunction is true when at.
2.2 Definition and Biconditional Statements Use definitions and biconditional statements.
Basics of Logic in Geometry. Section 2.1 – Conditionals and Converses.
Geometry - Section 2.1: Conditional Statements Conditional Statements Section 2.1 A logical statement with two parts: a hypothesis and a conclusion. Ex.
 What are conditionals & biconditionals?  How do you write converses, inverses, and contrapositives?
Sections 1.7 & 1.8  Deductive Structures  Statements of Logic.
Sets and Sentences Open Sentences Foundations of Real Analysis.
2.2.1 Analyze Conditional Statements and Proof Chapter 2: Reasoning and Proof.
Unit 01 – Lesson 07 – Conditional Statements
Logic and Reasoning Conditional Statements. Logic The use and study of valid reasoning. When studying mathematics it is important to have the ability.
Thinking Mathematically
4.1 Proofs and Counterexamples. Even Odd Numbers Find a property that describes each of the following sets E={…, -4, -2, 0, 2, 4, 6, …} O={…, -3, -1,
Logic Eric Hoffman Advanced Geometry PLHS Sept
MATHEMATICAL REASONING MATHEMATICAL REASONING. STATEMENT A SENTENCE EITHER TRUE OR FALSE BUT NOT BOTH A SENTENCE EITHER TRUE OR FALSE BUT NOT BOTH.
Review Find a counter example for the conjecture Given: JK = KL = LM = MJ Conjecture: JKLM forms a square.
Aim 1.4: To work with conditionals and biconditionals Do Now: Determine the truth value of the following sentences: 1.9 is a prime number and New York.
PROJECT Inequalities in Geometry Chapter 6 - beginning on page 202 Student Notes.
Conditional Statements
Conditional Statements
Introduction to Deductive Proofs
2-1 Vocabulary conditional statement hypothesis/conclusion
Conditional Statements
Chapter 3: Introduction to Logic
Geometry Pre-AP BOMLA LacyMath 10/6.
Conditional Statements
Objectives Identify, write, and analyze the truth value of conditional statements. Write the inverse, converse, and contrapositive of a conditional statement.
Chapter 3 Introduction to Logic 2012 Pearson Education, Inc.
Conditional Statements
Conditional Statements
Conditional Statements
Conditional Statements
Conditional Statements
Lesson 2.6 Subsets of Space pp
Copyright © 2014 Pearson Education, Inc.
(1.4) An Introduction to Logic
A Framework with Definitions
Conditional Statements
Conditional Statements
Polygons: Triangles and Quadrilaterals
Conditional Statements
Conditional Statements
Lesson 4.2 Angle Measure pp
Algebra 1 Section 4.5.
Conditional Statements
Truth Values and Connectives
And represent them using Venn Diagrams.
An Ideal Euclidean Model
Lesson 3.1 Real Numbers pp
Lesson 6.7 Congruent Triangles pp
Lesson 10.4 Parallels in Space pp
Polygons: Inscribed and Circumscribed
Algebra: Variables and Expressions
Conditional Statements
5.6 Inequalities in Two Triangles and Indirect Proof
Lesson 2.3 Subsets of planes pp
Logic Ch. 2.2.
2-2 Logic Vocab Statement: A sentence that is either true or false
Conditional Statements
Presentation transcript:

Statements and Quantifiers Lesson 5.2 Statements and Quantifiers pp. 166-168

Objectives: 1. To define statement as used in logic. 2. To apply quantifiers to statements. 3. To form negations of statements and symbolize them.

Definition A statement is a sentence that is either true or false, but not both.

Determine whether each of the following are statements, and if so, whether each is true or false. x + 7 = 4 1. Not a statement 2. True statement 3. False statement

Determine whether each of the following are statements, and if so, whether each is true or false. 3 + 5 = 6 1. Not a statement 2. True statement 3. False statement

Determine whether each of the following are statements, and if so, whether each is true or false. This sentence is false. 1. Not a statement 2. True statement 3. False statement

Determine whether each of the following are statements, and if so, whether each is true or false. 3x - 9 = 3(x - 3) 1. Not a statement 2. True statement 3. False statement

In mathematical logic, statements are usually symbolized by letters such as p or q. p: Dogs have fleas. q: Baseball is fun.

The negation of the statement Geometry is fun The negation of the statement Geometry is fun! (which is a true statement) is Geometry is not fun! (a false statement). In symbolic logic if the first statement is p, then the negation is ~p.

In logical reasoning the words all and every are represented by an upside down A (). All is called the universal quantifier.

To negate a universal quantifier you must just show the statement is not true for all. p: All flowers are pretty. ~p: There exist flowers that are not pretty.

To negate a universal quantifier you must just show the statement is not true for all. p: All flowers are pretty. ~p: Not all flowers are pretty.

To negate a universal quantifier you must just show the statement is not true for all. p: All flowers are pretty. ~p: Some flowers are not pretty.

Another type of quantifier is the existential quantifier (), which implies “one or more.”

To negate the existential quantifier the statement cannot be true for any. p: There exists dogs that have fleas. ~p: No dogs have fleas.

Examples p: Girls are logical. p: ~p: p: ~p: All girls are logical. Not all girls are logical. Some girls are logical. No girls are logical.

Examples p: Cars are expensive. p: ~p: p: ~p: All cars are expensive. Not all cars are expensive. Some cars are expensive. No cars are expensive.

Homework pp. 167-168

►B. Exercises Write the following symbolizations in words given: p: Ben Franklin was an inventor. q: Prime numbers are divisible by 2. r: Men are bald. s: Students should study mathematics. 13.  r

►B. Exercises Write the following symbolizations in words given: p: Ben Franklin was an inventor. q: Prime numbers are divisible by 2. r: Men are bald. s: Students should study mathematics. 15. ~q

►B. Exercises Write the following symbolizations in words given: p: Ben Franklin was an inventor. q: Prime numbers are divisible by 2. r: Men are bald. s: Students should study mathematics. 17.  s

►B. Exercises Write the following symbolizations in words given: p: Ben Franklin was an inventor. q: Prime numbers are divisible by 2. r: Men are bald. s: Students should study mathematics. 19. ~ r

■ Cumulative Review True/False 26. All obtuse triangles are scalene.

■ Cumulative Review True/False 27. A rhombus is a trapezoid.

■ Cumulative Review True/False 28. Some triangles are not convex.

■ Cumulative Review True/False 29. No cones are polyhedra.

■ Cumulative Review True/False 30. Some half-planes intersect.