On Monday, we’ll work on Chapter 2, sections 4 and 5. Exam #1 is one week from today. It covers Chapters 1 and 2 (except for chapter 2, section 6). On.

Slides:



Advertisements
Similar presentations
Intermediate 1 ESOL Grammar Verbs: The Correct Tense
Advertisements

CSE 20 DISCRETE MATH Prof. Shachar Lovett Clicker frequency: CA.
04 March 2009Instructor: Tasneem Darwish1 University of Palestine Faculty of Applied Engineering and Urban Planning Software Engineering Department Introduction.
Unit 11_New Headway_Upper-Intermediate
Copyright © Cengage Learning. All rights reserved. CHAPTER 2 THE LOGIC OF COMPOUND STATEMENTS THE LOGIC OF COMPOUND STATEMENTS.
The Foundation: Logic Conditional Statements Muhammad Arief download dari
2.2 Conditional Statements. Goals Identify statements which are conditional Identify the antecedent and consequent of a conditional statement Negate conditional.
Ceng Operating Systems i-1 Course Title : Ceng 334 Operating Systems Lecturer : Prof. F. Payidar Genç Room A-409
Logic 2 The conditional and biconditional
Chapter 3 Introduction to Logic © 2008 Pearson Addison-Wesley.
For Wednesday, read chapter 2, sections 3 and 4. As nongraded homework, do the problems at the end each section. Also try exercises 7.1, C, D, and E on.
Propositional Logic. Negation Given a proposition p, negation of p is the ‘not’ of p.
For Wed, read Chapter 3, section 3. Nongraded Homework: Exercises the end of the section. Even better, do Power of Logic, 7.3, A and B. Graded homework.
For Friday, read chapter 2, sections 1-2 (pp ). As nongraded homework, do the problems on p. 19. Graded homework #1 is due at the beginning of class.
From Chapter 4 Formal Specification using Z David Lightfoot
Reading: Chapter 4, section 4 Nongraded Homework: Problems at the end of section 4. Graded Homework #4 is due at the beginning of class on Friday. You.
No new reading for Monday or Wednesday Exam #2 is next Friday, and we’ll review and work on proofs on Monday and Wed.
Exam 3 Material Formulas, Proportions, Linear Inequalities
Basics On Logic.
Basics On Logic. A PROPOSITION is a statement that is either true (T) or false (F). Propositions are represented by letters p, q, r, P, Q, etc. The negation.
Welcome to Interactive Chalkboard 2.3 Conditional Statements.
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.
Discrete Mathematics and Its Applications
Subordinating Conjunctions Transitions 7 Unit 7 – Page 78.
No new reading for Wednesday. Exam #1 will be given in class on Friday. It covers Chapters 1 and 2 (except for chapter 2, section 6). On Monday, I’ll give.
Conditional Statements and Material Implication. The Conditional: The Fourth Connective Conditional statement: when two statements are combined by placing.
2.3 Analyze Conditional Statements. Objectives Analyze statements in if-then form. Analyze statements in if-then form. Write the converse, inverse, and.
Chapter 3 Introduction to Logic © 2008 Pearson Addison-Wesley. All rights reserved.
© 2014 Cengage Learning. All Rights Reserved. Do Now: ●Turn & Talk: What would one use to analyze the success of a sports team at a certain time during.
Copyright 2013, 2010, 2007, Pearson, Education, Inc. Objectives 1. Statements, quantifiers, and compound statements 2. Statements involving the words not,
For Wednesday, read chapter 2, sections 3 and 4. As nongraded homework, do the problems at the end each section. Also try exercises 7.1, C, D, and E on.
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.
Transposition (p > q) : : ( ~ q > ~ p) Negate both statements when switching order of antecedent and consequent If the car starts, there’s gas in the tank.
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.
Bell Work If I was President, then…. If I can change the world, then…. If I have a lot of money, then…..
Argument Diagramming Part I
REVIEW : Quantifiers A key to predicate logic we have been ignoring is the inclusion of quantifiers You should recall from discrete that you can also write.
NOTETAKING Adapted by Jane Luddy MEd.
Chapter 17: Missing Premises and Conclusions. Enthymemes (p. 168) An enthymeme is an argument with an unstated premise or conclusion. There are systematic.
Section 2.2 Analyze Conditional Statements. What is an if-then statement? If-then statements can be used to clarify statements that may seem confusing.
Formal Proofs & F PHIL /31/2001. Outline Homework Problems The FOL of F and Fitch notation Formal Proofs Assignment.
Mathematics for Comter I Lecture 2: Logic (1) Basic definitions Logical operators Translating English sentences.
Copyright 2008, Scott Gray1 Propositional Logic 2) The Formal Language.
Introduction to Logic Lecture 13 An Introduction to Truth Tables By David Kelsey.
Thinking Mathematically Logic 3.4 Truth Tables for the Conditional and Biconditional.
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.
Lesson 2-1 Conditional Statements 1 Lesson 2-3 Conditional Statements.
3.3 – The Conditional A conditional statement is a compound statement that uses the connective if…then. The conditional is written with an arrow, so “if.
For Friday, read Chapter 2, section 5. As nongraded homework, do the problems at the end of the section. I sent out graded HW#2 yesterday. It’s due on.
AND.
Chapter 3 Introduction to Logic 2012 Pearson Education, Inc.
Critical Reasoning Lecture 16 An Introduction to Truth Tables
Discrete Mathematics Lecture # 6.
MTH 209 Education for Service/snaptutorial.com
Reading Summary /next exam
For Friday, read Chapter 4, section 4.
Chapter 3 Introduction to Logic 2012 Pearson Education, Inc.
Lecture Notes – Week 3 Lecture-2
FIRST CONDITIONAL We use the FIRST CONDITIONAL to talk about things which might happen in the future. Of course, we can't know what will happen in the.
Chapter 3 Introduction to Logic © 2008 Pearson Addison-Wesley.
Chapter 1 Logic and Proof.
Discrete Mathematics Lecture # 3.
CHAPTER 3 Logic.
CHAPTER 3 Logic.
For Wednesday, read Chapter 4, section 3 (pp )
Transposition (p > q) : : ( ~ q > ~ p) Negate both statements
Truth Tables for Conditional and Biconditional Statements
Presentation transcript:

On Monday, we’ll work on Chapter 2, sections 4 and 5. Exam #1 is one week from today. It covers Chapters 1 and 2 (except for chapter 2, section 6). On Monday, I’ll give you a more detailed outline.

‘→’ is the arrow; it abbreviates “if...then...” and equivalent constructions If I win the lottery, then I’ll be rich. (W: Rob wins the lottery; R: Rob will be rich) use only one arrow; put the “if” condition (the antecedent) on the left, the “then” condition (the consequent) on the right: write W → R not → W → R

When ‘if’ appears alone (not ‘only if’ or ‘if and only if’) the statement(s) following it should be the antecedent (the left side) of your conditional. The same rule applies to ‘provided that’. Tammy will come to the party, if she’s invited. (P: Tammy will come to the party; I: Tammy is invited to the party) I → P

If she’s invited, Tammy will come to the party. I → P Tammy will come to the party only if she’s invited. (This is taken to mean that she won’t come if she’s not invited.) P → I

Also, sufficient condition = antecedent, necessary condition = consequent If you’re a human, then you’re a mammal. (H: You’re a human; M: You’re a mammal) Sufficient → necessary H → M but if someone says that being a mammal is sufficient for being a human, then write M → H, even though the statement is false.

‘↔’ is the double-arrow; it abbreviates ‘if and only if’ and equivalent phrases (such as ‘just in case’) Martha is brilliant if and only if she is a genius. (B: Martha is brilliant; G: Martha is a genius) B ↔ G

Exercises, pp