ppt

advertisement
Statements, Connectives, &
Quantifiers
MATH 102
Contemporary Math
S. Rook
Overview
• Section 3.1 in the textbook:
– Statements
– Connectives
– Quantifiers
Statements
Statements
• A statement (logic-wise) is a declarative sentence
(i.e. one that is either true or false)
– Represented symbolically by using lowercase letters
– Concerned only if it is possible for the sentence to
evaluates to EITHER true OR false
• Statements CANNOT be exclamations or
questions
– See sentences e) – g) on pg 83 of the textbook
• What are examples of statements? There are
hardly any wrong answers!
Simple & Compound Statements
• A simple statement contains ONE idea
• Negating a statement, denoted as ~, means to write
the opposite of the original statement
– e.g. Negate one of the statements we discussed previously
• A compound statement contains more than one idea
by joining simple statements together using
connectives (bridges)
• Four categories of connectives – we will discuss each in
greater detail in a few slides:
– Conjunction & Disjunction
– Conditional & Biconditional
Negation of Statements
Ex 1: Write the negation of the statement
symbolically:
a) I forgot to feed the cat today.
b) He does not cheat at cards.
Connectives
Conjunction & Disjunction
• A conjunction, symbolized by  , is a compound
statement that uses the word and to connect
statements
– Why is a conjunction a compound statement?
– e.g. Take two additional statements from the “pool”
and form a conjunction
• A disjunction, symbolized by  , is a compound
statement that uses the word or to connect
statements
– e.g. Take two additional statements from the “pool”
and form a disjunction
Conjunction & Disjunction (Example)
Ex 2: Consider the following statements.
p: He can juggle.
q: I know how to speak German.
a) Express symbolically: He can not juggle
and I know how to speak German.
b) Write in English: ~p v ~q
Conditional & Biconditional
• A conditional, symbolized by  , is a compound
statement that connects two statements in an
if …, then structure
– e.g. Take two additional statements from the “pool”
and form a conditional
• A biconditional, symbolized by  , is a
compound statement that connects two
statements in an if and only if structure
– e.g. Take two additional statements from the “pool”
and form a biconditional
Conditional & Biconditional (Example)
Ex 3: Consider the following statements.
p: The defendant is convicted of perjury.
q: He will spend at least 30 years in jail.
a) Express symbolically: If the defendant is
convicted of perjury, then he will spend less
than 30 years in jail.
b) Write in English: ~ p  ~ q
Quantifiers
Quantifiers
• Quantifiers are words or phrases in a statement that
answer the question “how many?”
• Two common classes of quantifiers:
– Universal: a phrase that indicates EVERY object
satisfies a given property
• e.g. All, every
• e.g. Take a statement from the “pool” and modify it to use a
universal quantifier
– Existential: a phrase that indicates ONE OR MORE
objects satisfy a given property
• e.g. Some, there exists, there is at least one
• e.g. Take a statement from the “pool” and modify it to use
an existential quantifier
Negating a Universal Quantifier
• Consider negating the following statement:
Every student in this room will get a ‘C.’
– What does it mean for this statement to be false?
– How would we negate the statement?
• The negation of a universal quantifier is an
existential quantifier
Negating an Existential Quantifier
• Consider negating the following statement:
Some students use a calculator.
– What does it mean for this statement to be false?
– How would we negate the statement?
– What is another, more concise, way to write this?
• The negation of an existential quantifier is a
universal quantifier
Negating Quantifiers (Example)
Ex 4: Write the negation of each statement in
English:
a) All exams in this class require studying.
b) Some professional wrestling matches are not
scripted.
c) At least one item on the McDonald’s menu is a
healthy choice.
Summary
• After studying these slides, you should know how to do
the following:
– Identify statements and differentiate between simple and
compound statements
– Negate a statement
– Write simple and compound statements symbolically
– Understand the meaning of quantifiers
– Negate statements that contain quantifiers
• Additional Practice:
– See the list of suggested problems for 3.1
• Next Lesson:
– Truth Tables (Section 3.2)
Download