Section 1.3 Implications. Vocabulary Words conditional operation ( ⇒ or →) conditional proposition conditional statement (implication statement) hypothesis.

Slides:



Advertisements
Similar presentations
3.4 More on the Conditional
Advertisements

Logic The study of correct reasoning.
Logic Day Two.
Logic ChAPTER 3.
TRUTH TABLES The general truth tables for each of the connectives tell you the value of any possible statement for each of the connectives. Negation.
CSE 20 DISCRETE MATH Prof. Shachar Lovett Clicker frequency: CA.
1. Propositions A proposition is a declarative sentence that is either true or false. Examples of propositions: The Moon is made of green cheese. Trenton.
The Conditional & Biconditional MATH 102 Contemporary Math S. Rook.
Types of Conditionals Geometry. The converse of a conditional statement is formed by switching the hypothesis and conclusion. p: x is prime. q: x is odd.
John Rosson Thursday February 15, 2007 Survey of Mathematical Ideas Math 100 Chapter 3, Logic.
CS128 – Discrete Mathematics for Computer Science
2.2 Conditional Statements. Goals Identify statements which are conditional Identify the antecedent and consequent of a conditional statement Negate conditional.
Logic 2 The conditional and biconditional
Logic Chapter 2. Proposition "Proposition" can be defined as a declarative statement having a specific truth-value, true or false. Examples: 2 is a odd.
Discrete Mathematics Lecture 1 Logic of Compound Statements Harper Langston New York University.
Logic: Connectives AND OR NOT P Q (P ^ Q) T F P Q (P v Q) T F P ~P T F
1 Section 1.1 Logic. 2 Proposition Statement that is either true or false –can’t be both –in English, must contain a form of “to be” Examples: –Cate Sheller.
Conditional Statements
Adapted from Discrete Math
3.2 – Truth Tables and Equivalent Statements
TRUTH TABLES. Introduction Statements have truth values They are either true or false but not both Statements may be simple or compound Compound statements.
Logic ChAPTER 3.
The Foundations: Logic and Proofs
Propositions and Truth Tables
Chapter 1 Section 1.4 More on Conditionals. There are three statements that are related to a conditional statement. They are called the converse, inverse.
Conditional Statements M Deductive Reasoning Proceeds from a hypothesis to a conclusion. If p then q. p  q hypothesis  conclusion.
Section 1.5 Implications. Implication Statements If Cara has a piano lesson, then it is Friday. If it is raining, then I need to remember my umbrella.
1 Introduction to Abstract Mathematics The Logic of Compound Statements 2.1 and 2.2 Instructor: Hayk Melikya
Section 1-4 Logic Katelyn Donovan MAT 202 Dr. Marinas January 19, 2006.
Discrete Maths 2. Propositional Logic Objective
BY: MISS FARAH ADIBAH ADNAN IMK. CHAPTER OUTLINE: PART III 1.3 ELEMENTARY LOGIC INTRODUCTION PROPOSITION COMPOUND STATEMENTS LOGICAL.
2.3 Analyze Conditional Statements. Objectives Analyze statements in if-then form. Analyze statements in if-then form. Write the converse, inverse, and.
Conditional Statements CS 2312, Discrete Structures II Poorvi L. Vora, GW.
Chapter 5 – Logic CSNB 143 Discrete Mathematical Structures.
(CSC 102) Lecture 3 Discrete Structures. Previous Lecture Summary Logical Equivalences. De Morgan’s laws. Tautologies and Contradictions. Laws of Logic.
Conditional. Conditional Statements Vocabulary Conditional: A compound sentence formed by using the words if….then. Given the simple sentences p and q,
Chapter 3 section 3. Conditional pqpqpq TTT TFF FTT FFT The p is called the hypothesis and the q is called the conclusion.
CSNB143 – Discrete Structure LOGIC. Learning Outcomes Student should be able to know what is it means by statement. Students should be able to identify.
Chapter 2: The Logic of Compound Statements 2.2 Conditional Statements
Lecture 4. CONDITIONAL STATEMENTS: Consider the statement: "If you earn an A in Math, then I'll buy you a computer." This statement is made up of two.
Lecture Propositional Equivalences. Compound Propositions Compound propositions are made by combining existing propositions using logical operators.
1 CMSC 250 Discrete Structures CMSC 250 Lecture 1.
LOGIC Lesson 2.1. What is an on-the-spot Quiz  This quiz is defined by me.  While I’m having my lectures, you have to be alert.  Because there are.
Chapter 7 Logic, Sets, and Counting
Section 2-1 Conditional Statements. Conditional statements Have two parts: 1. Hypothesis (p) 2. Conclusion (q)
Conditional Statements
Chapter 3: Introduction to Logic. Logic Main goal: use logic to analyze arguments (claims) to see if they are valid or invalid. This is useful for math.
MADAM SITI AISYAH ZAKARIA. CHAPTER OUTLINE: PART III 1.3 ELEMENTARY LOGIC LOGICAL CONNECTIVES CONDITIONAL STATEMENT.
MAIN TOPIC : Statement, Open Sentences, and Truth Values Negation Compound Statement Equivalency, Tautology, Contradiction, and Contingency Converse, Inverse,
Section 3.3 Using Laws of Logic. Using contrapositives  The negation of a hypothesis or of a conclusion is formed by denying the original hypothesis.
How do I show that two compound propositions are logically equivalent?
Chapter 7 Logic, Sets, and Counting Section 1 Logic.
Propositional Logic ITCS 2175 (Rosen Section 1.1, 1.2)
Section 1.1. Section Summary Propositions Connectives Negation Conjunction Disjunction Implication; contrapositive, inverse, converse Biconditional Truth.
CSNB143 – Discrete Structure Topic 4 – Logic. Learning Outcomes Students should be able to define statement. Students should be able to identify connectives.
Joan Ridgway. If a proposition is not indeterminate then it is either true (T) or false (F). True and False are complementary events. For two propositions,
Mathematics for Comter I Lecture 2: Logic (1) Basic definitions Logical operators Translating English sentences.
Section 1.1. Propositions A proposition is a declarative sentence that is either true or false. Examples of propositions: a) The Moon is made of green.
Conditional Statements Lecture 2 Section 1.2 Fri, Jan 20, 2006.
Discrete Mathematics Lecture # 4. Conditional Statements or Implication  If p and q are statement variables, the conditional of q by p is “If p then.
Conditional statement or implication IF p then q is denoted p ⇒ q p is the antecedent or hypothesis q is the consequent or conclusion ⇒ means IF…THEN.
Logic and Truth Tables Winter 2012 COMP 1380 Discrete Structures I Computing Science Thompson Rivers University.
Chapter 1. Chapter Summary  Propositional Logic  The Language of Propositions (1.1)  Logical Equivalences (1.3)  Predicate Logic  The Language of.
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.
Chapter 1 Logic and proofs
2. The Logic of Compound Statements Summary
Discrete Mathematics Lecture 1 Logic of Compound Statements
Information Technology Department
Logic and Reasoning.
Conditional Statements Section 2.3 GEOMETRY
Presentation transcript:

Section 1.3 Implications

Vocabulary Words conditional operation ( ⇒ or →) conditional proposition conditional statement (implication statement) hypothesis (antecedent) conclusion (consequent) converse contrapositive inverse biconditional operation ( ⇔ or ↔)

One more time… Last time I showed the following order of precedence: ¬highest   lowest And today we will add in these even lower , 

But… But, we discussed that some sources say: ~highest ,  ,  lowest

Who is “right” I searched several discrete textbooks on my bookshelf and found nearly a 50/50 split

Who is “right” Several programming languages agree with your textbook (Python, Java, C++) But other’s disagree (Smalltalk, Ruby, and, to some extent, Ada)

Who is “right” Even wikipedia can’t decide… Wikipedia - First Order LogicWikipedia - Logical Connectives

The bottom line(s) I will follow your book’s rules to keep things consistent. BUT, use parentheses to clear up confusion. AND, pay attention when you pick up a new language

Conditional Statements (aka Implication) “If I go to Fareway I will buy Diet Mountain Dew” This sort of statement is known as a conditional statement (or an implication statement).

Conditional/Implication In logic this is written in the form: p  q And we read this as: –If p then q –p implies q (“Going to Fareway implies that I will buy Diet Mountain Dew”)

Conditional/Implication In logic this is written in the form: p  q We state that p is the hypotheses or the antecedent (or assumption or premise) We state that q is the conclusion or the consequent

Conditional/Implication The original statement is False when p is true and q is false; otherwise it is true. pq p  q TTT TFF FTT FFT

Conditional/Implication A conditional statement that is true by virtue of the hypothesis being false is called vacuously true or true by default. (This situation always messes with students) pq p  q TTT TFF FTT FFT

Logical Equivalence: Conditional/Implication Notice that ( p  q)  ~p  q pq p  q ~p  q TTTT TFFF FTTT FFTT

In-Class Activity #1 If you study in this course you will get an A. Tomorrow is Friday if today is Thanksgiving. n is prime implies n is odd or n is 2. Tim is Ann’s father is sufficient for Jim being her uncle and Sue being her aunt. n is divisible by 6 only if n is divisible by 2 and n is divisible by 3. P being a rectangle is necessary for P being a square.

In-Class Activity #1 If you study in this course you will get an A. –Study  Get an A Tomorrow is Friday if today is Thanksgiving. –Today is Thanksgiving  Tomorrow is Friday n is prime implies n is odd or n is 2. –N is prime  n is odd or n is 2

In-Class Activity #1 Tim is Ann’s father is sufficient for Jim being her uncle and Sue being her aunt. –Tim is Ann’s father  Jim is her uncle and Sue is her aunt n is divisible by 6 only if n is divisible by 2 and n is divisible by 3. –N is divisible by 6  n is divisible by 2 and n is divisible by 3 P being a rectangle is necessary for P being a square. –P is a square  P is a rectangle

Order of Precedence ¬highest   ,  lowest

In-Class Activity #2 pq ¬ p  q  ¬q TT(1) TF(2) FT(3) FF(4)

What is the negation of an implication statement How do we write: ¬( p  q) Remember that: ( p  q)  ¬ p  q Therefore: ¬( p  q)  ¬ p  q)  p  ¬ q

Negation of an implication ¬( p  q)  p  ¬ q What is the negation of “If I go to Fareway I will buy Diet Mountain Dew” I will go to Fareway but I will NOT buy Diet Mountain Dew Notice that this does NOT start with an if.

Contrapositive of an Implication The contrapositive of the conditional statement “if p then q” is written as “if not q then not p” The contrapositive of p  q is written as ¬ q  ¬ p

So what… Is a conditional statement logically equivalent to it’s contrapositive? Build the truth table and you will see that it is!

The Converse of an Implication The converse of the conditional statement “if p then q” is written as “if q then p” The converse of p  q is written as q  p

So what… Is a conditional statement logically equivalent to it’s converse? Build the truth table and you will see that it is not! However, this is one of the most common logic errors made by beginning students.

The Inverse of an Implication The inverse of the conditional statement “if p then q” is written as “if not p then not q” The inverse of p  q is written as ¬ p  ¬ q

So what… Is a conditional statement logically equivalent to it’s inverse? Build the truth table and you will see that it is not! HOWEVER, the converse and the inverse are logically equivalent. –One is the contrapositive of the other

In-Class Activity #3 If my client is guilty, then the knife was in the drawer Write the: –Converse –Contrapositive –Inverse –Negation

Converse q  p If the knife was in the drawer then my client is guilty.

Contrapositive ¬ q  ¬ p If the knife was not in the drawer then my client is not guilty.

Inverse ¬ p  ¬ q If my client is not guilty than the knife is not in the drawer.

Negation p ^ ¬ q My client is guilty but the knife is not in the drawer. Notice that the negation of implication is NOT an implication.