3.1 Statements, Negations, and Quantified Statements

Slides:



Advertisements
Similar presentations
Intro to Logic Theory Statement -.
Advertisements

Chapter 3: The Logic of Quantified Statements 3.2 Predicates and Quantified Statements II 1 TOUCHSTONE: Stand you both forth now: stroke your chins, and.
Adapted from Discrete Math
Chapter 2 Reasoning and Proof. AIM: Introduction to Logic What types of statements are considered mathematical ? Statements in which truth value (either.
Thinking Mathematically Logic 3.1 Statements, Negations, and Quantified Statements.
Chapter 1 Section 1.2 Symbolic Logic. Sentences vs Statements A truth value is one of two words either true (T) or false (F). A statement is a particular.
Logic Geometry Unit 11, Lesson 5 Mrs. Reed. Definition Statement – a sentence that is either true or false. Example: There are 30 desks in the room.
2.2 Statements, Connectives, and Quantifiers
© 2010 Pearson Prentice Hall. All rights reserved. CHAPTER 3 Logic.
Copyright 2013, 2010, 2007, Pearson, Education, Inc. Objectives 1. Statements, quantifiers, and compound statements 2. Statements involving the words not,
Logic Disjunction A disjunction is a compound statement formed by combining two simple sentences using the word “OR”. A disjunction is true when at.
Thinking Mathematically Logic 3.6 Negations of Conditional Statements and De Morgan’s Laws.
Logic. Statements, Connectives, and Quantifiers In symbolic logic, we only care whether statements are true or false – not their content. In logic, a.
Conditional. Conditional Statements Vocabulary Conditional: A compound sentence formed by using the words if….then. Given the simple sentences p and q,
MATH 110 Sec 3-1 Lecture on Statements and Connectives STATEMENT: A declarative sentence that is either TRUE or FALSE (but not both at once).
Algebra Equations Lesson 1-7 Pages Equations An Equation is a sentence that contains an equals = sign. The equals = sign tells you that the expression.
Related Conditional Statements 2-1B What are the three related conditional statements? How are the three related conditional statements made?
P. 270 #47-49.
Logic. Statements, Connectives, and Quantifiers In symbolic logic, we only care whether statements are true or false – not their content. In logic, a.
Venn Diagrams Truth Sets & Valid Arguments Truth Sets & Valid Arguments Truth Tables Implications Truth Tables Implications Truth Tables Converse, Inverse,
Chapter 1: The Foundations: Logic and Proofs
Lecture 7 – Jan 28, Chapter 2 The Logic of Quantified Statements.
Discrete Structures – CNS 2300
Thinking Mathematically Statements, Negations, and Quantified Statements.
Copyright © Cengage Learning. All rights reserved. Line and Angle Relationships 1 1 Chapter.
Discrete Mathematics Lecture # 1. Course Objectives  Express statements with the precision of formal logic.  Analyze arguments to test their validity.
Section 1.4. Propositional Functions Propositional functions become propositions (and have truth values) when their variables are each replaced by a value.
 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.
DISCRETE MATHEMATICS CHAPTER I.
CHAPTER 3 Logic.
CHAPTER 3 Logic.
2-3 Conditional Statements
Chapter 3: Introduction to Logic
Geometry Pre-AP BOMLA LacyMath 10/6.
Comparing & Ordering Fractions.
Splash Screen.
Chapter 3 Introduction to Logic 2012 Pearson Education, Inc.
Logic – Bell Ringer.
Chapter 8 Logic Topics
Chapter 3 Introduction to Logic © 2008 Pearson Addison-Wesley.
CHAPTER 1: LOGICS AND PROOF
Journal #5: “Vincent and the Doctor” Review
Chapter 3 Introduction to Logic © 2008 Pearson Addison-Wesley.
Chapter 3 Introduction to Logic 2012 Pearson Education, Inc.
Copyright © Cengage Learning. All rights reserved.
TRUTH TABLES.
TRUTH TABLES continued.
(1.4) An Introduction to Logic
Logic Math Studies IB Propositions, truth tables, logic symbols, negation, conjunction, disjunction.
Discrete Mathematics and Its Applications Kenneth H
Compare and Order Numbers
Discrete Mathematics CMP-200 Propositional Equivalences, Predicates & Quantifiers, Negating Quantified Statements Abdul Hameed
Inductive Reasoning and Conjecture, and Logic
Chapter 3 Introduction to Logic © 2008 Pearson Addison-Wesley.
CHAPTER 3 Logic.
Thinking Mathematically
CHAPTER 3 Logic.
And represent them using Venn Diagrams.
Statements and Logical Connectives
1.3 Propositional Equivalences
© T Madas.
Types, Truth, and Expressions
Logic Ch. 2.2.
8A, 8B Propositions Unit 7: Logic and Sets 8A, 8B 6/1/ :59 AM.
Comparing & Ordering Fractions
Math 0332 Quantified Statements Name ________________________
Math 0332 Negations of Quantified Statements Name ______________
CHAPTER 3 Logic.
Logical equivalence.
boolean Expressions Relational, Equality, and Logical Operators
Presentation transcript:

3.1 Statements, Negations, and Quantified Statements Chapeter 3 Logic 3.1 Statements, Negations, and Quantified Statements

Statements Examples of statements: London is the capital of England. William Shakespeare wrote the last episode of The Sopranos. The area of a triangle is (1/2)(height)(base)

Not Statements Examples: Commands, questions, and opinions, are not statements because they are neither true or false. Examples: Titanic is the greatest movie of all time. (opinion) Read pages 23 – 57.(command) If I start losing my memory, how will I know? (question)

Using Symbols to Represent Statements In symbolic logic, we use lowercase letters such as p, q, r, and s to represent statements. Example: p: London is the capital of England. q: William Shakespeare wrote the last episode of The Sopranos.

Negation of a Statement The negation of a statement has a meaning that is opposite that of the original meaning. The negation of a true statement is a false statement and The negation of a false statement is a true statement

Negation of a Statement Examples: Statement: Hawaii’s population is smaller than that of California. Negation: Hawaii’s population is not smaller than that of California. Statement: Today’s weather is not very good. Negation: Today’s weather is very good.

Your Turn What is the negation of the following statements? Lenovo is an American brand computer. Lenovo is not an American brand computer. Honda is an American brand car. Honda is not an American brand car. Maui is not the largest island in the state of Hawaii. Maui is the largest island in the state of Hawaii.

Using Symbols to Represent Statements Let p and q represent the following statements: p: Shakespeare wrote the last episode of The Sopranos. q: Today is not Monday. Express each of the following statements symbolically: ~p: Shakespeare did not write the last episode of The Sopranos. ~q: Today is Monday.

Quantified Statements Quantifiers: The words all, some, and no (or none). Statements containing a quantifier: All poets are writers. Some people are bigots. No math books have pictures. Some students do not work hard.

Equivalent Ways of Expressing Quantified Statements

Negation of Quantified Statements The statements diagonally opposite each other are negations. Using Venn diagrams.

Negating a Quantified Statement The mechanic told me, “All piston rings were replaced.” I later learned that the mechanic never tells the truth. What can I conclude? Begin with the mechanic’s statement: All piston rings were replaced. Because the mechanic never tells the truth, I can conclude that the truth is the negation of what I was told.

Negating a Quantified Statement The mechanic told me, “All piston rings were replaced.” I later learned that the mechanic never tells the truth. What can I conclude? The negation of “All A are B” is “Some A are not B”. Thus, I can conclude that Some piston rings were not replaced. I can also correctly conclude that: At least one piston ring was not replaced.