Statements, Connectives, and Quantifiers

Slides:



Advertisements
Similar presentations
TWO STEP EQUATIONS 1. SOLVE FOR X 2. DO THE ADDITION STEP FIRST
Advertisements

Solving Equations with Variables on Both Sides
Nested Quantifiers Section 1.4.
Applications Computational LogicLecture 11 Michael Genesereth Spring 2004.
Bellwork If you roll a die, what is the probability that you roll a 2 or an odd number? P(2 or odd) 2. Is this an example of mutually exclusive, overlapping,
1 Copyright © 2010, Elsevier Inc. All rights Reserved Fig 2.1 Chapter 2.
By D. Fisher Geometric Transformations. Reflection, Rotation, or Translation 1.
Business Transaction Management Software for Application Coordination 1 Business Processes and Coordination.
Combining Like Terms. Only combine terms that are exactly the same!! Whats the same mean? –If numbers have a variable, then you can combine only ones.
Jeopardy Q 1 Q 6 Q 11 Q 16 Q 21 Q 2 Q 7 Q 12 Q 17 Q 22 Q 3 Q 8 Q 13
Jeopardy Q 1 Q 6 Q 11 Q 16 Q 21 Q 2 Q 7 Q 12 Q 17 Q 22 Q 3 Q 8 Q 13
Title Subtitle.
Geometry Logic.
0 - 0.
Compound Inequalities
ALGEBRAIC EXPRESSIONS
DIVIDING INTEGERS 1. IF THE SIGNS ARE THE SAME THE ANSWER IS POSITIVE 2. IF THE SIGNS ARE DIFFERENT THE ANSWER IS NEGATIVE.
MULTIPLYING MONOMIALS TIMES POLYNOMIALS (DISTRIBUTIVE PROPERTY)
ADDING INTEGERS 1. POS. + POS. = POS. 2. NEG. + NEG. = NEG. 3. POS. + NEG. OR NEG. + POS. SUBTRACT TAKE SIGN OF BIGGER ABSOLUTE VALUE.
SUBTRACTING INTEGERS 1. CHANGE THE SUBTRACTION SIGN TO ADDITION
MULT. INTEGERS 1. IF THE SIGNS ARE THE SAME THE ANSWER IS POSITIVE 2. IF THE SIGNS ARE DIFFERENT THE ANSWER IS NEGATIVE.
Addition Facts
ALGEBRAIC EXPRESSIONS
ZMQS ZMQS
Con Law Card Answers.
3 Logic The Study of What’s True or False or Somewhere in Between.
© S Haughton more than 3?
Chapter 2 Section 3.
Linking Verb? Action Verb or. Question 1 Define the term: action verb.
Introduction Situations in the real world often determine the types of values we would expect as answers to equations and inequalities. When an inequality.
This, that, these, those Number your paper from 1-10.
Chapter 5 Test Review Sections 5-1 through 5-4.
8-3 Factoring x2 + bx + c Warm Up Lesson Presentation Lesson Quiz
Addition 1’s to 20.
25 seconds left…...
Test B, 100 Subtraction Facts
Solve inequalities by using the Addition or Subtraction Properties of Inequality. Main Idea/Vocabulary.
Week 1.
We will resume in: 25 Minutes.
1 Unit 1 Kinematics Chapter 1 Day
9.2 Absolute Value Equations and Inequalities
1 Section 1.5 Rules of Inference. 2 Definitions Theorem: a statement that can be shown to be true Proof: demonstration of truth of theorem –consists of.
Chapter 3 section 1.  A statement Is a declarative sentence that is either true or false. (using lower case letters p, q, r …) 2 Types of statement 
Adapted from Discrete Math
Lecture 8 Introduction to Logic CSCI – 1900 Mathematics for Computer Science Fall 2014 Bill Pine.
Chapter 2 Section 5 - Slide 1 Copyright © 2009 Pearson Education, Inc. AND.
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.
2.2 Statements, Connectives, and Quantifiers
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.
Conjunction A conjunction is a compound statement formed by combining two simple sentences using the word “AND”. A conjunction is only true when both.
Logic. Statements, Connectives, and Quantifiers In symbolic logic, we only care whether statements are true or false – not their content. In logic, a.
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.1, Slide Logic The Study of What’s True or False or Somewhere in Between.
Copyright © 2014, 2010, 2007 Pearson Education, Inc. Section 3.1, Slide Logic The Study of What’s True or False or Somewhere in Between.
Chapter 3 Section 1 - Slide 1 Copyright © 2009 Pearson Education, Inc. AND.
© 2010 Pearson Prentice Hall. All rights reserved. CHAPTER 3 Logic.
9.2 Compound Sentences Standard 5.0, 24.0 Standard 5.0, 24.0 Two Key Terms Two Key Terms.
Section 1.4. Propositional Functions Propositional functions become propositions (and have truth values) when their variables are each replaced by a value.
INTRODUCTION TO LOGIC. PURPOSE: – To distinguish good arguments from poor ones Arguments consist of STATEMENTS – A statement is a sentence that can be.
Simple Logic.
Chapter 3: Introduction to Logic
Chapter 3 Introduction to Logic 2012 Pearson Education, Inc.
Chapter 3 Introduction to Logic © 2008 Pearson Addison-Wesley.
Section 3.1 Statements and Logical Connectives
(1.4) An Introduction to Logic
Chapter 3 Introduction to Logic © 2008 Pearson Addison-Wesley.
CHAPTER 3 Logic.
Section 3.2 Truth Tables for Negation, Conjunction, and Disjunction
Statements and Logical Connectives
Presentation transcript:

Statements, Connectives, and Quantifiers Section 2.2 Statements, Connectives, and Quantifiers

Objectives Identify English sentences that are statements. Express statements using symbols. Form the negation of a statement. Express negations using symbols. Translate a negation represented by symbols into English. Express quantified statements in two ways. Write negations of quantified statements.

Key Terms: Statement: a sentence that is either true/false, but not both; symbolized by lowercase letters such as: p, q, r, and s. Simple Statement: contains a single idea. Compound Statement: contains several ideas combined together. Connectives: the words used to join the ideas of a compound statement. Connectives: not, and, or, if…then, if and only if Negation: a statement that has a meaning that is opposite its original meaning, symbolized by ~p. ~p: read as “not p”

Example 1: Determine if the sentence is a statement. As a young and struggling artist, Pablo Picasso kept warm by burning his own paintings.

Example 2: Determine if the sentence is a statement. Don’t try to study on a Friday night.

Example 3: Determine if the sentence is a statement. Is the unexamined life worth living?

Example 4: Identify each statement as a simple or compound. If compound, then identify the connective used. Laura is satisfied with her performance in the musical.

Example 5: Identify each statement as a simple or compound. If compound, then identify the connective used. If Hillary supports environmental issues, she will succeed in politics.

Example 6: Identify each statement as a simple or compound. If compound, then identify the connective used. I will sell my old computer and buy a new computer.

Example 7: Form the negation. It is raining.

Example 8: Form the negation. The Dallas Cowboys are not the team with the most Super Bowl wins.

Example 9: Let p, q, r, and s represent the following statements: p: One works hard. q: One succeeds. r: The temperature outside is not freezing. s: It is not true that the heater is working. Express the following statement symbolically. One does not work hard.

Example 10: Let p, q, r, and s represent the following statements: p: One works hard. q: One succeeds. r: The temperature outside is not freezing. s: It is not true that the heater is working. Express the following statement symbolically. The temperature outside is freezing.

Example 11: Let p, q, r, and s represent the following statements: p: Listening to classical music makes infants smarter. q: Subliminal advertising makes you buy things. r: Sigmund Freud’s father was not 20 years older than his mother. Represent each symbolic statement in words. ~p

Example 12: Let p, q, r, and s represent the following statements: p: Listening to classical music makes infants smarter. q: Subliminal advertising makes you buy things. r: Sigmund Freud’s father was not 20 years older than his mother. Represent each symbolic statement in words. ~r

Section 2.2 Assignments TB pg. 85/1 – 20 All Must write problems and show ALL work to receive credit for the assignment.

Key Terms Quantified Statements – statements containing the words “all”, “some”, and “no (or none)”. Universal Quantifiers – words such as all and every that state that all objects of a certain type satisfy a given property, symbolized by . Existential Quantifiers – words such as some, there exists, and there is at least one that state that there are one or more objects that satisfy a given property, symbolized by .

Negating Statements w/ Quantifiers The phrase Not all are has the same meaning as Some are not. The phrase Not some are has the same meaning as All are not.

Example 13: Quantifiers Rewrite the quantified statement in an alternative way and then negate it. All citizens over age eighteen have the right to vote.

Example 14: Quantifiers Rewrite the quantified statement in an alternative way and then negate it. Some computers have a two-year warranty

Key Terms Conjunction – expresses the idea of and, symbolized by . Disjunction – conveys the notion of or, symbolized by . Conditional – expresses the notion of if…then, symbolized by . Biconditional – represents the idea of if and only if, symbolized by . notion

Key Terms Dominance of Connectives – symbolic connectives are categorized from least dominant to most dominant. Least dominant – Negation Conjunction/Disjunction Conditional Most dominant – Biconditional

Using the Dominance of Connectives Statement Most Dominant Connective Highlighted in Red Statement’s Meaning Clarified with Grouping Symbols Type of Statement p q ~r p q ~r p (q ~r) Conditional p q  ~r (p q)  ~r p  q  r p  (q  r) Biconditional p q  r (p q)  r p q r ** and have the same level of dominance The meaning is ambiguous ? **Grouping symbols must be given with this statement to determine if it is a disjunction or a conjunction.

Example 15: Let r, t, and s represent the following statements: r: The Republicans will control Congress. s: Social programs will be increased. t: Taxes will be cut. The Republicans will control Congress or social programs will not be increased.

Example 16: Let r, t, and s represent the following statements: r: The Republicans will control Congress. s: Social programs will be increased. t: Taxes will be cut. If the Republicans do not control Congress and taxes are cut, then social programs will not be increased.

Example 17: Let r, t, and s represent the following statements: r: The Republicans will control Congress. s: Social programs will be increased. t: Taxes will be cut. Social programs will not be increased if and only if taxes are cut.

Example 18: Let s, t, and w represent the following statements: t (~s) s: The sunroof is extra. t: The radial tires are included. w: Power windows are optional. t (~s)

Example 19: Let s, t, and w represent the following statements: ~(s t) s: The sunroof is extra. t: The radial tires are included. w: Power windows are optional. ~(s t)

Example 20: Let s, t, and w represent the following statements: s: The sunroof is extra. t: The radial tires are included. w: Power windows are optional. t  (s ~w)

Section 2.2 Assignment II Classwork: TB pg. 86/21 – 32 All Remember you must write the problems and show ALL work to receive credit for this assignment.