Negating Nested Quantifiers

Download Report

Transcript Negating Nested Quantifiers

Negating Nested Quantifiers
๏ƒ˜(๏€ขx๏€คy xy ๏€ฝ 1)
More examples:
๐ถ ๐‘ฅ, ๐‘ฆ =``student ๐‘ฅ is enrolled in class ๐‘ฆโ€
1. ¬(โˆƒ๐‘ฅ โˆ€๐‘ฆ ๐ถ ๐‘ฅ, ๐‘ฆ )
2. โˆƒ๐‘ฅ โˆƒ๐‘ฆ โˆ€๐‘ง ( ๐‘ฅ โ‰  ๐‘ฆ โˆง ๐ถ ๐‘ฅ, ๐‘ง โ†’ ๐ถ ๐‘ฆ, ๐‘ง )
I(x)=โ€œx has an internet connectionโ€
Domain is students in your class.
C(x,y)=โ€œx and y have chatted over the
1. Someone in your class has an Internet connection but has not
chatted with anyone else in the class.
2. There are two students in the class who between them have
chatted with everyone else in the class.
Section 1.5 โ€“ Rules of Inference
โ€ข Terms:
โ€“ Argument
โ€“ Premises
โ€“ Conclusion
โ€“ Valid
Standard Rules of Inference
(Each is based on a tautology)
Modus Ponens
Modus Tollens
๏œ ๏ƒ˜p
Hypothetical Syllogism
Standard Rules of Inference
Standard Rules of Inference (Continued)
Disjunctive Syllogism
๏ƒ˜p ๏ƒš r
๏œq ๏ƒš r
Alice is a mathematics major. Therefore, Alice is either a
mathematics major or a computer science major.
If it snows today, the university will close. The university is not
closed today. Therefore, it did not snow today.
If I go swimming, then I will stay in the sun too long. If I stay in
the sun too long, then I will sunburn. Therefore, if I go
swimming, then I will sunburn.
Use rules of inference to show that the hypotheses โ€œRandy works hard,โ€ โ€œIf
Randy works hard, then he is a dull boyโ€ and โ€œIf Randy is a dull boy, then
he will not get the jobโ€ imply the conclusion โ€œRandy will not get the job.โ€
Rules of Inference for Quantified
๏€ขx P( x)
๏œ P(c) for any fixed value c
P(c) for an arbitrarily chosen value c
๏œ ๏€ขx P( x)
Rules of Inference for Quantified
Statements (Continued)
๏€คx P( x)
๏œ P(c) for some valuec
P(c) for some particularvalue c
๏œ ๏€คx P( x)
Combining Rules of Inference for
Quantified Statements
Universal Modus
Universal Modus
๏€ขx ( P( x) ๏‚ฎ Q( x))
P (c )
๏œ Q (c )
๏€ขx ( P( x) ๏‚ฎ Q( x))
๏œ ๏ƒ˜P(c)
Examples: Drawing Conclusions
โ€œEvery computer science major has a personal computer.โ€ โ€œRalph
does not have a personal computer.โ€ โ€œAnn has a personal
computer.โ€ โ€œJoe is a computer science major.โ€
Valid Arguments vs Fallacies
โ€ข Valid arguments are constructed usingโ€ฆ
โ€ข A fallacy is a (so-called) argument which is not so
โ€“ Affirming the conclusion
โ€“ Denying the hypothesis
โ€“ Begging the question
(( p ๏‚ฎ q) ๏ƒ™ q) ๏‚ฎ p
(( p ๏‚ฎ q) ๏ƒ™ ๏ƒ˜p) ๏‚ฎ ๏ƒ˜q
Examples: Valid Argument or Fallacy?
1. All students in this class understand logic. Xavier is a student
in this class. Therefore, Xavier understands logic.
2. Every computer science major takes discrete mathematics.
Natasha is taking discrete mathematics. Therefore, Natasha
is a computer science major.
3. All parrots like fruit. My pet bird is not a parrot. Therefore, my
pet bird does not like fruit.
4. Everyone who eats granola every day is healthy. Linda is not
healthy. Therefore, Linda does not eat granola every day.
Section 1.6 โ€“ Introduction to Proofs
Formal Proofs
PropositionAxiom or postulate-
Definitions Continued:
โ€ข Remember that when no quantifier is given, a
universal quantification is assumed.
If xy > 0, then either x and y are both positive or x and y
are both negative
Some basic facts/definitions weโ€™ll need:
โ€ข An integer ๐‘› is even if there exists an integer ๐‘˜ such that ๐‘› = 2๐‘˜.
โ€ข An integer ๐‘› is odd if there exists an integer ๐‘˜ such that ๐‘› = 2๐‘˜ +
โ€ข An integer ๐‘Ž is a perfect square if there is an integer ๐‘ such that
๐‘Ž = ๐‘2 .
โ€ข If a and b are integers with ๐‘Ž โ‰  0, we say that ๐‘Ž divides ๐‘ if there
is an integer ๐‘ such that ๐‘ = ๐‘Ž๐‘.
โ€ข The real number ๐‘Ÿ is rational if there exist integers ๐‘ and ๐‘ž with
๐‘ž โ‰  0 such that ๐‘Ÿ = ๐‘/๐‘ž. A real number that is not rational is
called irrational.
Methods of Proving ๐‘ โ†’ ๐‘ž
(Given arbitrarily complicated compound propositions p and q)
Direct proof: Assume p is true. Show by a direct argument
that q is true.
Task: Prove the statement: โ€œIf a person
likes math then he/she is cool.โ€
Example: Prove by a direct argument that if ๐‘› is a perfect square
then ๐‘› is either odd or divisible by 4.
Methods of Proving ๐‘ โ†’ ๐‘ž
(Given arbitrily complicated compound propositions p and q)
Indirect proof: Assume q is false. Show by a direct
argument that p is false.
Task: Prove the statement: โ€œIf a person
likes math then he/she is cool.โ€
Example: Prove by an indirect argument that if ๐‘š and ๐‘› are
integers and ๐‘š๐‘› is even, then either ๐‘š or ๐‘› must be even.
Proving ๐‘ โ†” ๐‘ž
1. Show that pโ†’q
2. Show that qโ†’p
Task: Prove the statement: โ€œA person likes
math if and only if he/she is cool.โ€
Proving Multiple Statements Equivalent
Prove these statements are equivalent, where a and b are real numbers: (i) a is less
than b, (ii) the average of a and b is greater than a, and (iii) the average of a and b is
less than b.
Other Types of Proof
โ€ข Vacuous proof
โ€ข Trivial proof
โ€ข Proof by contradiction
Prove that the product of a non-zero rational numbers and an
irrational number is irrational using proof by contradiction.
Mistakes in Proofs
๐‘Ž2 = ๐‘Ž๐‘
๐‘Ž2 โˆ’ ๐‘ 2 = ๐‘Ž๐‘ โˆ’ ๐‘ 2
๐‘Žโˆ’๐‘ ๐‘Ž+๐‘ =๐‘ ๐‘Žโˆ’๐‘
๐‘Ž+๐‘ =๐‘
2๐‘ = ๐‘
Multiply both sides by a
Subtract ๐‘ 2 from both sides
Divide by ๐‘Ž โˆ’ ๐‘
Substitute ๐‘Ž for ๐‘ since ๐‘Ž = ๐‘
Divide both sides by b
Section 1.7 โ€“ Proof Methods and Strategy
โ€ข Proof by cases
โ€ข Exhaustive Proof
Prove that for any two real numbers ๐‘ฅ and ๐‘ฆ, ๐‘ฅ + ๐‘ฆ โ‰ค ๐‘ฅ + ๐‘ฆ .
Theorems and Quantifiers
โ€ข Existence proofs (constructive vs. nonconstructive)
Constructive: Show that there is a positive
integer that can be written as the sum of cubes
of positive integers in two different ways.
Nonconstructive: Prove that there exists two irrational numbers ๐‘ฅ
and ๐‘ฆ for which ๐‘ฅ ๐‘ฆ is rational.
Uniqueness quantifier and uniqueness proofs
โˆƒ! ๐‘ฅ ๐‘ƒ ๐‘ฅ means
Example: โˆ€๐‘ฆ, ๐‘ฆ โ‰  0 โ†’ โˆƒ! ๐‘ฅ (๐‘ฅ๐‘ฆ = 1).
โ€ข To show it is false that โˆ€๐‘ฅ ๐‘ƒ ๐‘ฅ simply exhibit one
value of ๐‘ฅ for which ๐‘ƒ(๐‘ฅ) is false.
โ€ข Example: Conjecture- Every positive integer is the
sum of three squares.
Open Problems
The 3๐‘ฅ + 1 conjecture: Starting with any positive integer and
repeatedly applying the transformation whereby an even integer
gets divided by 2 and an odd integer gets multiplied by 3 and
incremented by 1, we will ultimately generate the integer 1.
Goldbachโ€™s conjecture: Every positive even integer n ๏‚ณ 4 can be
expressed as the sum of two prime numbers.