Negating Nested Quantifiers
description
Transcript of Negating Nested Quantifiers
![Page 1: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/1.jpg)
Negating Nested Quantifiers
)1( xyyx
![Page 2: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/2.jpg)
More examples: ``student is enrolled in class ”
1.
2.
![Page 3: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/3.jpg)
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.
I(x)=“x has an internet connection” C(x,y)=“x and y have chatted over the internet”Domain is students in your class.
![Page 4: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/4.jpg)
Section 1.5 – Rules of Inference
• Terms:– Argument
– Premises
– Conclusion
– Valid
![Page 5: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/5.jpg)
Standard Rules of Inference (Each is based on a tautology)
Modus Ponens
Modus Tollens
Hypothetical Syllogismrp
rqqp
pqp
q
qqp
p
![Page 6: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/6.jpg)
Standard Rules of Inference(Continued)
Addition
Simplification
Conjunction
qpqp
pqp
qpp
![Page 7: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/7.jpg)
Standard Rules of Inference (Continued)
Disjunctive Syllogism
Resolution
rqrp
qp
qpqp
![Page 8: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/8.jpg)
Examples
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.
![Page 9: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/9.jpg)
ExampleUse 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.”
![Page 10: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/10.jpg)
Rules of Inference for Quantified Statements
ccPxPx
valuefixedany for )()(
Universal
Instantiation
Universal Generalization )(
uechosen valy arbitrarilan for )(xPx
ccP
![Page 11: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/11.jpg)
Rules of Inference for Quantified Statements (Continued)
ccPxPx
valuesomefor )()(
Existential
Instantiation
Existential Generalization )(
valueparticular somefor )(xPx
ccP
![Page 12: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/12.jpg)
Combining Rules of Inference for Quantified Statements
)( )())()((
cQcP
xQxPx
Universal Modus Ponens
Universal Modus Tollens
)( )(
))()((
cPcQ
xQxPx
![Page 13: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/13.jpg)
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.”
![Page 14: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/14.jpg)
Valid Arguments vs Fallacies• Valid arguments are constructed using…
• A fallacy is a (so-called) argument which is not so constructed.– Affirming the conclusion
– Denying the hypothesis
– Begging the question p
pqqp ))((
qpqp ))((
![Page 15: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/15.jpg)
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.
![Page 16: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/16.jpg)
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.
![Page 17: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/17.jpg)
Section 1.6 – Introduction to Proofs
Formal ProofsDefinitions:
Proof-
Theorem-
Proposition-
Axiom or postulate-
![Page 18: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/18.jpg)
Definitions Continued:
Lemma-
Corollary-
Conjecture-
![Page 19: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/19.jpg)
Quantifiers
• 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
![Page 20: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/20.jpg)
Some basic facts/definitions we’ll need:
• An integer is even if there exists an integer such that .
• An integer is odd if there exists an integer such that .
• An integer is a perfect square if there is an integer such that .
• If a and b are integers with , we say that divides if there is an integer such that .
• The real number is rational if there exist integers and with such that . A real number that is not rational is called irrational.
![Page 21: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/21.jpg)
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.”
Proof:
![Page 22: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/22.jpg)
Example: Prove by a direct argument that ifis a perfect square then is either odd or divisible by 4.
![Page 23: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/23.jpg)
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.”
Proof:
![Page 24: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/24.jpg)
Example: Prove by an indirect argument that if and are integers and is even, then either or must be even.
![Page 25: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/25.jpg)
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.”
Proof:
![Page 26: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/26.jpg)
Proving Multiple Statements Equivalent
![Page 27: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/27.jpg)
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.
![Page 28: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/28.jpg)
![Page 29: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/29.jpg)
Other Types of Proof• Vacuous proof
• Trivial proof
• Proof by contradiction
![Page 30: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/30.jpg)
Prove that the product of a non-zero rational numbers and an irrational number is irrational using proof by contradiction.
![Page 31: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/31.jpg)
Mistakes in Proofs
GivenMultiply both sides by aSubtract from both sidesFactorDivide by Substitute for since Divide both sides by b
![Page 32: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/32.jpg)
Section 1.7 – Proof Methods and Strategy
• Proof by cases
• Exhaustive Proof
![Page 33: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/33.jpg)
Prove that for any two real numbersand , .
![Page 34: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/34.jpg)
![Page 35: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/35.jpg)
Theorems and Quantifiers• Existence proofs (constructive vs. non-
constructive)
Constructive: Show that there is a positive integer that can be written as the sum of cubes of positive integers in two different ways.
![Page 36: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/36.jpg)
Nonconstructive: Prove that there exists two irrational numbers and for which is rational.
![Page 37: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/37.jpg)
Uniqueness quantifier and uniqueness proofs means
Example:
![Page 38: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/38.jpg)
Counter-Examples
• 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.
![Page 39: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/39.jpg)
Open ProblemsThe 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.
![Page 40: Negating Nested Quantifiers](https://reader033.fdocuments.in/reader033/viewer/2022061509/5681666d550346895dda0ad4/html5/thumbnails/40.jpg)
Goldbach’s conjecture: Every positive even integer n 4 can be expressed as the sum of two prime numbers.