copyright © 2014, 2010, 2007 pearson education, inc. section 3.2, slide 1 3 logic the study of...
TRANSCRIPT
![Page 1: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/1.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc.Copyright © 2014, 2010, 2007 Pearson Education, Inc.
Section 3.2, Slide 1
3 Logic
The Study of What’s True or False or Somewhere in Between
3
![Page 2: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/2.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc.Copyright © 2014, 2010, 2007 Pearson Education, Inc.
Section 3.2, Slide 2
Truth Tables3.2
• Learn the truth tables for the five fundamental connectives
• Compute truth tables for compound statements
(continued on next slide)
![Page 3: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/3.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc.Copyright © 2014, 2010, 2007 Pearson Education, Inc.
Section 3.2, Slide 3
Truth Tables3.2
• Determine when statements are logically equivalent
• State and apply DeMorgan’s laws.
![Page 4: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/4.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 4
Truth Tables
• We want to know if a pair of similar statements such as and mean the same thing.
• We use truth tables to determine when compound statements are true and when they are false, and whether a pair of statements have the same meaning.
![Page 5: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/5.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 5
Truth Tables
![Page 6: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/6.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 6
Truth Tables
• If p is true, then ~p is false.
• If p is false, then ~p is true.
(example on next slide)
![Page 7: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/7.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 7
Truth Tables
• Example:
![Page 8: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/8.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 8
Truth Tables
• Example:
![Page 9: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/9.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 9
Truth Tables
• A conjunction is true only when both of its components are true.
(example on next slide)
![Page 10: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/10.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 10
Truth Tables
• Example:
(solution on next slide)
![Page 11: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/11.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 11
Truth Tables
• Example:
(solution on next slide)
![Page 12: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/12.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 12
Truth Tables
• Solution:
![Page 13: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/13.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 13
Truth Tables
• A disjunction is false only when both p and q are false.
(example on next slide)
![Page 14: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/14.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 14
Truth Tables
• Example:
(solution on next slide)
![Page 15: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/15.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 15
Truth Tables
• Solution:
![Page 16: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/16.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 16
Truth Tables
• Because of their similar structures, there are parallels that occur in logic and set theory.
Often if a result is true for set theory, then a similar result also holds for logic (and vice versa).
![Page 17: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/17.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 17
Compound Statements
• We use truth tables to find the logical values of complex statements.
• Example: Compute a truth table for
(solution on next 3 slides)
![Page 18: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/18.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 18
Compound Statements
(solution continued on next slide)
![Page 19: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/19.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 19
Compound Statements
(solution continued on next slide)
![Page 20: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/20.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 20
Compound Statements
If p is false and q is true, line 3 tells us that is false.
![Page 21: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/21.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 21
Compound Statements
• Definition: If the final column of a truth table contains all T’s, then the statement is always true. Such a statement is called a tautology.
• Example: “This contestant will win or will not win.”
![Page 22: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/22.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 22
Compound Statements
How many lines should your truth table have?
![Page 23: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/23.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 23
Logically Equivalent Statements
• Logically equivalent statements express the same meaning.
(example on next slide)
![Page 24: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/24.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 24
Logically Equivalent Statements
• Example:
(solution on next slide)
![Page 25: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/25.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 25
Logically Equivalent Statements
• Solution:
The two statements are logically equivalent.
![Page 26: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/26.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 26
DeMorgan’s Laws
(example on next slide)
![Page 27: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/27.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 27
DeMorgan’s Laws
• Example:
![Page 28: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/28.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 28
DeMorgan’s Laws
• Example:
![Page 29: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/29.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 29
DeMorgan’s Laws
![Page 30: Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 1 3 Logic The Study of What’s True or False or Somewhere in Between 3](https://reader035.vdocuments.mx/reader035/viewer/2022070413/5697bfbf1a28abf838ca350f/html5/thumbnails/30.jpg)
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.2, Slide 30
Truth Tables: Alternative Method