Conditional Statements

Slides:



Advertisements
Similar presentations
Geometry Chapter 02 A BowerPoint Presentation
Advertisements

Geometry 2.2 Big Idea: Analyze Conditional Statements
Conditional Statements Geometry Chapter 2, Section 1.
 Writing conditionals  Using definitions as conditional statements  Writing biconditionals  Making truth tables.
Contrapositive and Inverse
Conditional Statements
Logic 2 The conditional and biconditional
Conditional Statements
Propositions and Truth Tables
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.3, Slide Logic The Study of What’s True or False or Somewhere in Between.
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.3, Slide Logic The Study of What’s True or False or Somewhere in Between.
Section 1-4 Logic Katelyn Donovan MAT 202 Dr. Marinas January 19, 2006.
Conditional Statements
Lesson 2.2 Analyze Conditional Statements Goal: The learner will write definitions as conditional statements.
Conditional Statements Conditional Statement: “If, then” format. Converse: “Flipping the Logic” –Still “if, then” format, but we switch the hypothesis.
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.
Wednesday, October 24 th Aim: In what other ways can we potentially change the truth value of a conditional statement? Do Now: Write a TRUE conditional.
Conditional Statements
 What are conditionals & biconditionals?  How do you write converses, inverses, and contrapositives?
Conditional Statement A conditional statement has two parts, a hypothesis and a conclusion. When conditional statements are written in if-then form, the.
Unit 2 Part 1 Conditional, Converse, Inverse, and Contra- Positive Statements.
Section 2-1 Conditional Statements. Conditional statements Have two parts: 1. Hypothesis (p) 2. Conclusion (q)
Conditional Statements Section 2-3 Conditional Statements If-then statements are called conditional statements. The portion of the sentence following.
Conditional Statements
Conditional Statements Chapter 2 Section 2. Conditional Statement A statement where a condition has to be met for a particular outcome to take place More.
Section 2-2: Conditional Statements. Conditional A statement that can be written in If-then form symbol: If p —>, then q.
Unit 01 – Lesson 07 – Conditional Statements
Lesson Aim: How do we recognize converses, inverses, contrapositive & conditional statements? Lesson Objectives: SWBAT Recognize converses, inverses, contrapositive.
Chapter 2 Section 2-1: Conditional Statements
Logical Form and Logical Equivalence Lecture 1 Section 1.1 Wed, Jan 12, 2005.
Conditional Statements Geometry Chapter 2, Section 1.
GEOMETRIC PROOFS A Keystone Geometry Mini-Unit. Geometric Proofs – An Intro Why do we have to learn “Proofs”? A proof is an argument, a justification,
Inverse, Contrapositive & indirect proofs Sections 6.2/6.3.
Lesson 2.2 Analyze Conditional Statements Goal: The learner will write definitions as conditional statements.
Section 2.3: Deductive Reasoning
Section 2.1 Geometric Statements. Definitions: Conditionals, Hypothesis, & Conclusions: A conditional statement is a logical statement that has two parts:
Conditional Statements Lecture 2 Section 1.2 Fri, Jan 20, 2006.
Lesson 2-1 Conditional Statements 1 Lesson 2-3 Conditional Statements.
Section 2.2 Homework Quiz Question Put the following Conditional Statement into If Then Form: All birds have feathers.
Simple Logic.
Chapter 1 Logic and Proof.
If – Then Statements Lesson 1.5.
Conditional Statements
1.8 Statements of LOGIC Conditional Statement Form “If……then…….”
Conditional Statements
Conditional Statements
What do you need more work on from the last unit?
Basic Logical Operations (Fascinating)
Warm Up:.
The Foundations: Logic and Proofs
If-Then Statements/Converses
Chapter 3 Introduction to Logic © 2008 Pearson Addison-Wesley.
Copyright © 2014 Pearson Education, Inc.
Chapter 3 Introduction to Logic 2012 Pearson Education, Inc.
Conditional Statements
Conditional Statements
MAT 3100 Introduction to Proof
Conditional Statements
Conditional Statements
Chapter 2.2 Notes: Analyze Conditional Statements
More Conditional Statements
CHAPTER 3 Logic.
Logic and Reasoning.
2-3 Conditional Statements
Conditional Statements
Math Humor Teacher: Which month has 28 days? Student: All of them!!
Conditional Statements Section 2.3 GEOMETRY
Conditional Statements
Different Forms of Conditional Statements
Interpreting Truth tables (biconditional statements)
Presentation transcript:

Conditional Statements Lecture 2 Section 1.2 Thu, Jan 13, 2005

The Conditional A conditional statement is a statement of the form p  q p is the hypothesis. q is the conclusion. Read p  q as “p implies q.”

Truth Table for the Conditional p  q is true if p is false or q is true. p  q is false if p is true and q is false. p q p  q T F

Example: Conditional Statements “If it is raining, then I am carrying an umbrella.” This statement is true when I am carrying an umbrella (whether or not it is raining), and when it is not raining (whether or not I am carrying an umbrella).

The Contrapositive The contrapositive of p  q is q  p. The statements p  q and q  p are logically equivalent.

The Converse and the Inverse The converse of p  q is q  p. The inverse of p  q is p  q. converses p  q q  p p  q q  p inverses contra positives

Is this logical?

The Biconditional The statement p  q is the biconditional of p and q. p  q is logically equivalent to (p  q)  (q  p). p q p  q T F

Exclusive-Or The statement p  q is the exclusive-or of p and q. p  q is defined by p q p  q T F

Exclusive-Or p  q means “one or the other, but not both.” p  q is logically equivalent to (p  q)  (q  p) p  q is also logically equivalent to (p  q) (p  q)  (q  p)

The NAND Operator The statement p | q means not both p and q. The operator | is also called the Scheffer stroke or NAND. NAND stands for “Not AND.” p | q is logically equivalent to (p  q).

The NAND Operator p | q is defined by p q p | q T F

The NAND Operator The three basic operators may be defined in terms of NAND. p  p | p. p  q  (p | q) | (p | q). p  q  (p | p) | (q | q).

The NOR Operator The statement p  q means neither p nor q. The operator  is also called the Pierce arrow or NOR. NOR stands for “Not OR.” p  q is logically equivalent to (p  q).

The NOR Operator p  q is defined by p q p  q T F

The NOR Operator The three basic operators may be defined in terms of NOR. p  p  p. p  q  (p  q)  (p  q). p  q  (p  p)  (q  q).