12.2: And and Or in Logic 1/17/2014 12.2: And, Or and Not in Logic Expectations: L3.2.1:Know and use the terms of basic logic (e.g., proposition, negation,

Slides:

Advertisements

Similar presentations

1/15/ : Truth and Validity in Logical Arguments Expectations: L3.2.1: Know and use the terms of basic logic L3.3.3: Explain the difference between.

Advertisements

Honors Geometry Section 4.6 (1) Conditions for Special Quadrilaterals

SUPPLEMENTARY ANGLES. 2-angles that add up to 180 degrees.

Unit 3 Special Quadrilaterals

Notes on Logic Continued

Propositional Logic. Negation Given a proposition p, negation of p is the ‘not’ of p.

Discrete Mathematics Math 6A Instructor: M. Welling.

(7.6) Geometry and spatial reasoning. The student compares and classifies shapes and solids using geometric vocabulary and properties. The student is expected.

Logic A statement is a sentence that is either true or false (its truth value). Logically speaking, a statement is either true or false. What are the values.

Logic, Conditional statements and deductive reasoning

Propositions and Truth Tables

2.2: An Introduction to Logic

2-2 Logic You found counterexamples for false conjectures. Determine truth values of negations, conjunctions, and disjunctions, and represent them using.

Discrete Mathematics and Its Applications

Quadrilaterals.

BASKETBALL Questions….

2.3 Analyze Conditional Statements. Objectives Analyze statements in if-then form. Analyze statements in if-then form. Write the converse, inverse, and.

Logic The study of critical thinking. Mathematical Sentence A statement of fact…called a statement Can be judged as true or false Not a question, command,

L OGIC. A conjecture is an educated guess that can be either true or false. A statement is a sentence that is either true or false but not both. Often.

Ch.2 Reasoning and Proof Pages Inductive Reasoning and Conjecture (p.62) - A conjecture is an educated guess based on known information.

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.

Lesson 2-3 Conditional Statements. 5-Minute Check on Lesson 2-2 Transparency 2-3 Use the following statements to write a compound statement for each conjunction.

Ex. 1 Identifying Hypothesis and Conclusion A conditional is an If, then statement Made of two parts Hypothesis and conclusion Hypothesis follows the.

Warm Up Write a conditional statement from each of the following. 1. The intersection of two lines is a point. 2. An odd number is one more than a multiple.

Conditional Statements Learning Target: I can write converses, inverses, and contrapositives of conditionals.

Warm up 1.Re-write the following statements as an if-then statement. 2.State the converse of the statement. a.The midpoint of a segment is a point that.

Geometric Figures: Polygons.

Picturing Polygons Review. Definitions:  What is a polygon?  A. A shape with lines  B. A closed figure made up of at least 3 straight sides  C. A.

Thinking Mathematically

2.3 CONDITIONAL STATEMENTS Geometry R/H. A Conditional statement is a statement that can be written in the form: If P, then Q. The hypothesis is the P.

Success Criteria:  I can write good definitions  I can identify good definitions Today 1.Do Now 2.Check HW #13 3.Lesson HW # 14 Do Now Write a.

Logic Eric Hoffman Advanced Geometry PLHS Sept

Review #2 for Sem 1 Quiz 5. IF THE DOORBELL RINGS, THEN THE DOG WILL BARK. What conclusion can you draw? THE DOORBELL RINGS. THE DOG BARKS.

Conditional Statments. Warm Up What is the fourth point of plane XUR Name the intersection of planes QUV and QTX Are point U and S collinear?

Classifying Quadrilaterals Tutorial 4a Introduction A polygon is a geometric figure that is made up of a union of segments that meet only at endpoints.

2.1 CONDITIONAL STATEMENTS 10/2. Learning Targets I can find the truth value given a conditional and a converse I can rewrite a statement as a conditional.

Properties of Quadrilaterals SOL 6.13

BELL RINGER (THINK, PAIR, SHARE) 1. List as many properties as you can about the sides, angles, and diagonals of a square and a rectangle.

2.1, 2.2 and 5.4: Statements and Reasoning. Conditional is an if-then statement that contains two parts. The part following the if is the Hypothesis.

3/15/ : Deductive Reasoning1 Expectations: L3.1.1: Distinguish between inductive and deductive reasoning, identifying and providing examples of each.

Classifying Quadrilaterals

2.1 Inductive Reasoning and Conjecture 2.2 Logic 2.3 Conditional Statements 2.8 Angle Relationships Chapter 2: Reasoning & Proof.

 Statement - sentence that can be proven true or false  Truth value – true or false  Statements are often represented using letters such as p and q.

What will we accomplish? We will review the naming of polygons. We will classify quadrilaterals by their characteristics.

House Fire House. Can you find one or more acute angles? An acute angle is an angle with a measure of less than 90 degrees.

Objective Write and analyze biconditional statements.

Lesson 2-2 Logic A statement is a sentence that can either be true or false. The truth or falsity of a statement can be called its truth value. Compound.

CSNB 143 Discrete Mathematical Structures

Truth Tables and Equivalent Statements

Chapter 8 Logic Topics

A logic statement written in if-then form.

2 Chapter Introduction to Logic and Sets

A Parade of Four-Sided Polygons

(1.4) An Introduction to Logic

Chapter 3 Introduction to Logic 2012 Pearson Education, Inc.

Discrete Mathematics Lecture 2: Propositional Logic

Biconditional Statements and Definitions 2-2

Logical Sequencing & Conditional Statements

MAT 3100 Introduction to Proof

Inductive Reasoning and Conjecture, and Logic

Conditional Statements

Pearson Unit 1 Topic 2: Reasoning and Proof 2-3: Biconditionals and Definitions Pearson Texas Geometry ©2016 Holt Geometry Texas ©2007.

Discrete Mathematics Lecture 2: Propositional Logic

And represent them using Venn Diagrams.

2-2 Logic Vocab Statement: A sentence that is either true or false

Interpreting Truth tables (biconditional statements)

Presentation transcript:

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, truth and falsity, implication, if and only if, contrapositive, and converse). L3.2.2:Use the connectives not, and, or, and if..., then, in mathematical and everyday settings. Know the truth table of each connective and how to logically negate statements involving these connectives. L3.2.3:Use the quantifiers there exists and all in mathematical and everyday settings and know how to logically negate statements involving them.

12.2: And and Or in Logic 1/17/2014 Statements Statement in Logic: Sentence that is either true or false. Compound Statement: 2 or more statements connected together usually by and or or.

12.2: And and Or in Logic 1/17/2014 Conjunction: Compound statement using _____ as the connector. p ____ q

12.2: And and Or in Logic 1/17/2014 Ex: A square is a rhombus and it is a rectangle. p: a square is a rhombus q: a square is a rectangle

12.2: And and Or in Logic 1/17/2014 A conjunction is true iff p and q are ___________.

12.2: And and Or in Logic 1/17/2014 Truth table for conjunctions. pqtrue truefalse falsetruefalse p and q

12.2: And and Or in Logic 1/17/2014 Is the following conjunction true or false? Parallel lines do not intersect and perpendicular lines do intersect.

12.2: And and Or in Logic 1/17/2014 Disjunction: Compound statement using ____ as the connector. p ____ q

12.2: And and Or in Logic 1/17/2014 Exclusive or: one or the other but not both. Betty is right handed or she is left handed. Inclusive or: one or the other or both. It may be cloudy or cool tomorrow.

12.2: And and Or in Logic 1/17/2014 Disjunctions use the ________ or.

12.2: And and Or in Logic 1/17/2014 Truth table for disjunctions. pqtrue truefalse falsetruefalse p or q

12.2: And and Or in Logic 1/17/2014 Is the following disjunction true or false? A rectangle has at least 2 right angles or a square is a closed 3 sided figure.

12.2: And and Or in Logic 1/17/2014 Quantifiers Three common geometric quantifiers are there exists, all and every. There exists just means ______________ of something exists. All and every basically mean the same thing: each and every thing must satisfy the condition.

12.2: And and Or in Logic 1/17/2014 Given a plane and a line in the plane, there exists a point in the plane that is not on the line.

12.2: And and Or in Logic 1/17/2014 All lines contain at least 2 points.

12.2: And and Or in Logic 1/17/2014 Negating Quantifiers What is the negation of this statement? There exists an angle whose measure is less than 90 degrees.

12.2: And and Or in Logic 1/17/2014 What is the negation of this statement? All angles have 2 sides.

12.2: And and Or in Logic 1/17/2014 What can you say about the negation of a there exists statement?

12.2: And and Or in Logic 1/17/2014 What can you say about the negation of an all or every statement.

12.2: And and Or in Logic 1/17/2014 Write the negations of the statements below. There exists a smallest real number. There exists a 2 sided polygon.

12.2: And and Or in Logic 1/17/2014 Write the negations of the statements below. All triangles are polygons. Every mammal is a dog.

Identify the negation of the statement below. No quadrilaterals have congruent angles and congruent sides. A. All quadrilaterals have congruent angles and congruent sides. B. Squares have congruent angles and congruent sides. C. Rectangles have congruent angles but not congruent sides. D. There exists a quadrilateral with congruent sides and congruent angles. E. There does not exist a quadrilateral with congruent sides and angles. 12.2: And and Or in Logic 1/17/2014

12.2: And and Or in Logic 1/17/2014 Construct a truth table for (p and q) or r

12.2: And and Or in Logic 1/17/2014 Complete a truth table for ~(p and q) and a separate truth table for ~p or ~q

12.2: And and Or in Logic 1/17/2014 ~(p and q) is truth functionally equivalent to ~p or ~q.

12.2: And and Or in Logic 1/17/2014 Assignment: pages , # (all).