Chapter 2: The Logic of Compound Statements 2.1 Logical Forms and Equivalence 12.1 Logical Forms and Equivalences Logic is a science of the necessary laws.

Slides:



Advertisements
Similar presentations
TRUTH TABLES Section 1.3.
Advertisements

Propositional Equivalences. L32 Agenda Tautologies Logical Equivalences.
Goals Determine the true value of statements with AND, OR, IF..THEN. Negate statements with the connectives above Construct truth tables Understand when.
CS128 – Discrete Mathematics for Computer Science
Chapter 3 Introduction to Logic © 2008 Pearson Addison-Wesley.
1 Section 1.2 Propositional Equivalences. 2 Equivalent Propositions Have the same truth table Can be used interchangeably For example, exclusive or and.
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.
1 Math 306 Foundations of Mathematics I Math 306 Foundations of Mathematics I Goals of this class Introduction to important mathematical concepts Development.
The Language of Propositional Logic The Syntax and Semantics of PL.
Chapter 3 Introduction to Logic © 2008 Pearson Addison-Wesley. All rights reserved.
Copyright © Cengage Learning. All rights reserved.
Satisfiability & Logical Truth PHIL /16/2001.
Adapted from Discrete Math
Chapter 3 Introduction to Logic © 2008 Pearson Addison-Wesley. All rights reserved.
3.2 – Truth Tables and Equivalent Statements
Propositions and Truth Tables
Chapter 3 Section 4 – Slide 1 Copyright © 2009 Pearson Education, Inc. AND.
The Foundations: Logic and Proofs
Discrete Mathematics and Its Applications
COS 150 Discrete Structures Assoc. Prof. Svetla Boytcheva Fall semester 2014.
Mathematical Structures A collection of objects with operations defined on them and the accompanying properties form a mathematical structure or system.
BY: MISS FARAH ADIBAH ADNAN IMK. CHAPTER OUTLINE: PART III 1.3 ELEMENTARY LOGIC INTRODUCTION PROPOSITION COMPOUND STATEMENTS LOGICAL.
Propositional Equivalences
Chapter 2: The Logic of Compound Statements 2.2 Conditional Statements
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 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.
Propositional Logic. Propositions Any statement that is either True (T) or False (F) is a proposition Propositional variables: a variable that can assume.
Thinking Mathematically
Section 1.2: Propositional Equivalences In the process of reasoning, we often replace a known statement with an equivalent statement that more closely.
Propositional Logic ITCS 2175 (Rosen Section 1.1, 1.2)
Logical Form and Logical Equivalence M Logical Form Example 1 If the syntax is faulty or execution results in division by zero, then the program.
Chapter 2 Logic 2.1 Statements 2.2 The Negation of a Statement 2.3 The Disjunction and Conjunction of Statements 2.4 The Implication 2.5 More on Implications.
Chapter 1: The Foundations: Logic and Proofs
Chapter 1: The Foundations: Logic and Proofs
The Foundations: Logic and Proof, Sets, and Foundations PROPOSITIONS A proposition is a declarative sentence that is either True or False, but not the.
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.
TRUTH TABLES. Introduction The truth value of a statement is the classification as true or false which denoted by T or F. A truth table is a listing of.
 2012 Pearson Education, Inc. Slide Chapter 3 Introduction to Logic.
Section 1.1 Propositions and Logical Operations. Introduction Remember that discrete is –the study of decision making in non-continuous systems. That.
Mathematics for Comter I Lecture 2: Logic (1) Basic definitions Logical operators Translating English sentences.
Symbolic Logic The Following slide were written using materials from the Book: The Following slide were written using materials from the Book: Discrete.
رياضيات متقطعة لعلوم الحاسب MATH 226. Text books: (Discrete Mathematics and its applications) Kenneth H. Rosen, seventh Edition, 2012, McGraw- Hill.
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.
TRUTH TABLES Edited from the original by: Mimi Opkins CECS 100 Fall 2011 Thanks for the ppt.
 2012 Pearson Education, Inc. Slide Chapter 3 Introduction to Logic.
Thinking Mathematically Logic 3.4 Truth Tables for the Conditional and Biconditional.
 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.
Chapter 1. Chapter Summary  Propositional Logic  The Language of Propositions (1.1)  Logical Equivalences (1.3)  Predicate Logic  The Language of.
Chapter 1 Logic and proofs
Chapter 1 Propositional Logic
Logic.
2. The Logic of Compound Statements Summary
The Foundations: Logic and Proofs
DISCRETE MATHEMATICS CHAPTER I.
Discrete Mathematics Logic.
Thinking Mathematically
Truth Tables and Equivalent Statements
(CSC 102) Discrete Structures Lecture 2.
The Foundations: Logic and Proofs
Principles of Computing – UFCFA3-30-1
Propositional Equivalences
Information Technology Department
Chapter 1 The Foundations: Logic and Proof, Sets, and Functions
CS201: Data Structures and Discrete Mathematics I
Propositional Equivalences
Discrete Mathematics and Its Applications Kenneth H
Discrete Mathematics Logic.
CS201: Data Structures and Discrete Mathematics I
The Foundations: Logic and Proofs
Presentation transcript:

Chapter 2: The Logic of Compound Statements 2.1 Logical Forms and Equivalence 12.1 Logical Forms and Equivalences Logic is a science of the necessary laws of thought, without which no employment of the understanding and the reason takes place. – Immanuel Kant, 1724 – 1804 Foundation for the Metaphysics of Morals, 1785

Logic is the study of reasoning; specifically whether reasoning is correct. Note: We use p, q, and r to represent propositions. Logic does: – Assess if an argument is valid/invalid Logic does not directly: – Assess the truth of atomic statements 22.1 Logical Forms and Equivalences

Statement or Proposition – any sentence that is true or false but not both 32.1 Logical Forms and Equivalences

Examples of Statements: 1.George Washington was the first president of the United States. 2.Baltimore is the capital of Maryland. 3.Seventeen is an even number. The above statements are either true (1) or false (2, 3) 2.1 Logical Forms and Equivalences4

These are not statements: 1.Earth is the only planet in the universe that contains life. 2.Buy two tickets to the rock concert for Friday 3.Why should we study logic? None of the above can be determined to be true or false so they are not statements. 2.1 Logical Forms and Equivalences5

It is possible that a sentence is a statement yet we can not determine its truth or falsity because of an ambiguity or lack of qualification. Examples: 1.Yesterday it was cold. 2.He thinks Philadelphia is a wonderful city. 3.Lucille is a brunette. For (1) we need to determine what we mean by the word “cold” For (2) we need to know whose opinion is being considered. For (3) it depends on which Lucille we are discussing. 2.1 Logical Forms and Equivalences6

In speech and writing, we combine propositions using connectives such as and or even or. For example, “It is snowing” and “It is cold” can be combined into a single proposition “it is snowing and it is cold.” 2.1 Logical Forms and Equivalences7

Let: p = “It is snowing.” q = “It is cold.” 2.1 Logical Forms and Equivalences8 ConnectiveSymbolNameExample Not ~ Negation ~q: It is not the case that it is cold. And  Conjunction p  q: It is snowing and it is cold. Or (inclusive)  Disjunction p  q: It is snowing or it is cold. Or (exclusive)  Exclusive Or p  q: It is snowing or it is cold but not both. If…then…  Conditional p  q: If it is snowing, then it is cold. If and only if (iff)  Biconditional p  q: It is snowing iff it is cold.

The word but translates the same as and. “Jim is tall but he is not heavy” translates to “Jim is tall AND he is not heavy” 2.1 Logical Forms and Equivalences9

The words neither-nor translates the same as not. “Neither a borrower nor a lender be” translates to “Do NOT be a borrower and do NOT be a lender” 2.1 Logical Forms and Equivalences10

If sentences are statements then the must have well-defined truth values meaning the sentences must be either true or false. 2.1 Logical Forms and Equivalences11

Definition If p is a statement variable, the negation of p is “not p” or “it is not the case that p” and is denoted  p. It has the opposite truth value from p: if p is true,  p is false if p is false,  p is true 2.1 Logical Forms and Equivalences12

p pp T F 2.1 Logical Forms and Equivalences13 The truth value for negation are summarized in the truth table on the right.

Definition If p and q are statement variables, the conjunction of p and q is “p and q”, denoted p  q. It is true when BOTH p and q are true. If either p or q is false, or both are false, p  q is false. 2.1 Logical Forms and Equivalences14

The truth value for conjunction are summarized in the truth table on the right. 2.1 Logical Forms and Equivalences15 pq p  q TT TF FT FF

Definition – If p and q are statement variables, the disjunction of p and q is “p or q”, denoted p  q. It is true when either p is true, q is true, or both p and q are true. If both p and q is false, p  q is false. Example – You may have cream or sugar with your coffee 2.1 Logical Forms and Equivalences16

The truth value for conjunction are summarized in the truth table on the right. 2.1 Logical Forms and Equivalences17 pq p  q TT TF FT FF

Definition – If p and q are statement variables, the exclusive or of p and q is “p or q”, denoted p  q. It is true when either p is true or when q is true, but not both. If both p and q is false, p  q is false. If both p and q is true, p  q is false. Example – Your meal comes with soup or salad. 2.1 Logical Forms and Equivalences18

The truth value for conjunction are summarized in the truth table on the right. 2.1 Logical Forms and Equivalences19 pq p  q TT TF FT FF

Definition – A statement form is an expression made up of statement variables such as p, q, and r and logical connectives that becomes a statement when actual statements are substituted for the component statement variables. 2.1 Logical Forms and Equivalences20

Construct a truth table for the statement form (p  q)  (  p  q). 2.1 Logical Forms and Equivalences21 pq pp qqp  q pqpq(p  q)  (  p  q) TT TF FT FF

Definition – A tautology is a statement form that is always true regardless of the truth values of the individual statements substituted for its statement variables. 2.1 Logical Forms and Equivalences22

Definition – A contradiction is a statement form that is always false regardless of the truth values of the individual statements substituted for its statement variables. 2.1 Logical Forms and Equivalences23

Definitions – Two statement forms are logically equivalent iff they have identical truth values for each possible substitution of statements for their statement variables. Logical equivalence of statement forms P and Q is denoted by P  Q. 2.1 Logical Forms and Equivalences24

1.Construct a truth table with one column for the truth values of P and another column for the truth values of Q. 2.Check the combination of truth values of the statement variables. a.If in each row the truth value of P is the same as the truth value of Q, then P  Q. b.If in each row the truth value of P is not the same as the truth value of Q, then P  Q. 2.1 Logical Forms and Equivalences25

Are the statement forms  (  p  q) and p  q logically equivalent?   (  p  q)  p  q 2.1 Logical Forms and Equivalences26 pq pp qq pqpq  (  p  q) (p  q) TT TF FT FF

Given any statement variables p, q, and r, a tautology t, and a contradiction c, the following logical equivalences hold. 2.1 Logical Forms and Equivalences27

The negation of an and statement is logically equivalent to the or statement in which each component is negated.  (p  q)   p   q The negation of the or statement is logically equivalent to the and statement in which each component is negated.  (p  q)   p   q 2.1 Logical Forms and Equivalences28

Use De Morgan’s Laws to write negations for the statement. -10 < x < Logical Forms and Equivalences29

Use Theorem to verify the logical equivalences. Supply a reason for each step. p  (  q  p)  p 2.1 Logical Forms and Equivalences30

Continue with logical equivalence. Discuss valid and invalid arguments. 2.1 Logical Forms and Equivalences31