MathCSE 1019 C Discrete Mathematics for Computer Science
- Slides: 49
Math/CSE 1019 C: Discrete Mathematics for Computer Science Fall 2011 Suprakash Datta datta@cse. yorku. ca Office: CSEB 3043 Phone: 416 -736 -2100 ext 77875 Course page: http: //www. cse. yorku. ca/course/1019 1
Last class: quick recap Sections 1. 1 -- 1. 3 • Why logic? Why Propositional logic? • What is a proposition? • Tautology, contradiction • Manipulating propositions –not, and, or, implication, biconditional • Truth tables • Propositional equivalences • Table 6 (page 27) 2
Last class: quick recap – contd. Sections 1. 4 -- 1. 5: Predicate logic • Why Predicate logic? What is a predicate? • Translating English sentences to predicates • Negation of quantifiers 3
Translation into predicates • “All students in this class are from FSE” • “There are digital media majors in this class” • “Every student has a smartphone or has a friend that owns a smartphone” • “There are no students in this class that does not send text messages daily” 4
Scope of Quantifiers • have higher precedence than operators from Propositional Logic; • so x P(x) Q(x) x (P(x) Q(x)) / • Use brackets • E. g. x (P(x) Q(x)) x R(x) Say P(x): x is odd, Q(x): x is divisible by 3, R(x): (x=0) (2 x >x) 5
Negation of Quantifiers • Consider the statement Q: x P(x) where P(x) is a given predicate over a given domain. • What does “Q is false” mean? • Similarly what does “ x P(x) is false” mean? 6
Negation of Quantifiers - contd • x P(x) • E. g. : – “There is no student who can …” – “Not all professors are bad” • “There is no Toronto Raptor that can dunk like Vince …” • Caution: The negation of “Every Canadian loves Hockey” is NOT “No Canadian loves Hockey”! Many, many students make this mistake! 7
• • Nested Quantifiers Allows simultaneous quantification of many variables. E. g. – domain positive integers, x y z x 2 + y 2 = z 2 n>2 x y z xn + yn = zn (Fermat’s Last Theorem) Domain real numbers: x y z (x < z < y) (y < z < x) Is it true? x y z (x=y) (x < z < y) (y < z < x) x y z (x y) (x < z < y) (y < z < x) 8
Nested Quantifiers - 2 x y (x + y = 0) is true over the integers Proof: Assume an arbitrary integer x. • To show that there exists a y that satisfies the requirement of the predicate, choose y = -x. Clearly y is an integer, and thus is in the domain. • So x + y = x + (-x) = x – x = 0. • Since we assumed nothing about x (other than it is an integer), the argument holds for any integer x. • Therefore, the predicate is TRUE. 9
Nested Quantifiers - 3 • Analogy: quantifiers are like loops: An inner quantified variable can depend on the outer quantified variable. E. g. in x y (x + y = 0) we chose y=-x, so for different x we need different y to satisfy the statement. p j Accept (p, j) p, j have different domains does NOT say that there is a j that will accept all p. 10
Nested Quantifiers - 4 • Caution: In general, order matters! Consider the following propositions over the integer domain: x y (x < y) and y x (x < y) • x y (x < y) : “there is no maximum integer” • y x (x < y) : “there is a maximum integer” • Not the same meaning at all!!! 11
Negation of Nested Quantifiers • Use the same rule as before carefully. • Ex 1: x y (x + y = 0) – This is equivalent to x y (x + y 0) • Ex 2: x y (x < y) – This is equivalent to x y (x y) 12
Logical Equivalence of statements Page 45: P Q if and only if they have same truth value no matter which domain is used and no matter which predicates are assigned to predicate variables. 13
How to prove • • Truth tables may not help Domain may be infinite (e. g. integers) Prove each direction separately Use intuitive ideas (example 19 on page 45). 14
Proof and counterexamples 1. To prove a statement of the form x P(x) it is not enough to show that P(a) is true for one or some a’s. 2. To show that a statement of the form x P(x) is FALSE, it is enough to show that P(a) is false for one a (“counterexample”). 3. To prove a statement of the form x P(x) it is enough to show that P(a) is true for one a. 15
Exercises Check that: • x y (x + y = 0) is not true over the positive integers. • x y (x + y = 0) is not true over the integers. • x 0 y (y = 1/x) is true over the real numbers. 16
Readings and problems • Read 1. 4 -1. 5. • Practice: Q 2, 8, 16, 30 (pg 65 -67) • Next: Rules of inference (1. 6). 17
Inference rules • Recall: the reason for studying logic was to formalize derivations and proofs. • How can we infer facts using logic? • Let’s start with Propositional logic. 18
Inference rules - 2 • Simple inference rule (Modus Ponens) : From (a) p q and (b) p is TRUE, we can infer that q is TRUE. Example: (a) if these lecture slides (ppt) are online then you can print them out (b) these lecture slides are online • Similarly, From p q, q r and p is TRUE, we can infer that r is TRUE. 19
Inference rules - 3 • ((p q) p ) q is a TAUTOLOGY. • Modus Tollens, Hypothetical syllogism and disjunctive syllogism can be seen as alternative forms of Modus Ponens • Other rules like “From p is true we can infer p q” are very intuitive 20
Inference rules - 4 Resolution: From (a) p q and (b) p r, we can infer that q r Exercise: check that ((p q) ( p r)) (q r) is a TAUTOLOGY. Very useful in computer generated proofs. 21
Inference rules - 5 • Read rules on page 72. • Understanding the rules is crucial, memorizing is not. • You should be able to see that the rules make sense and correspond to our intuition about formal reasoning. 22
Inference rules for quantified statements • Very intuitive, e. g. Universal instantiation – If x P(x) is true, we infer that P(a) is true for any given a • E. g. : Universal Modus Ponens: x P(x) Q(x) and P(a) imply Q(a) If x is odd then x 2 is odd, a is odd. So a 2 is odd. 23
Inference rules for quantified statements-2 • Read rules on page 76 • Again, understanding is required, memorization is not. 24
Aside: Inference and Planning • The steps in an inference are useful for planning an action. • Example: your professor has assigned reading from an out-of-print book. How do you do it? • Example 2: you are participating in the television show “Amazing race”. How do you play? 25
Aside 2: Inference and Automatic Theorem-Proving • The steps in an inference are useful for proving assertions from axioms and facts. • Why is it important for computers to prove theorems? – Proving program-correctness – Hardware design – Data mining – …. . 26
Aside 2: Inference and Automatic Theorem-Proving – contd. • Sometimes the steps of an inference (proof) are useful. E. g. on Amazon book recommendations are made. • You can ask why they recommended a certain book to you (reasoning). 27
Next • Introduction to Proofs (Sec 1. 7) • What is a (valid) proof? • Why are proofs necessary? 28
Introduction to Proof techniques Why are proofs necessary? What is a (valid) proof? What details do you include/skip? “Obviously”, “clearly”… 29
Assertions • • Axioms Proposition, Lemma, Theorem Corollary Conjecture 30
Logic-based proof • Every step should follow from axioms or previous step(s) using an inference rule. • Problems: – Axiomatization is hard and often long (see Appendix 1) – Proofs are often very long and tedious • Intuitive proofs : 31
Types of Proofs • • • Direct proofs (including Proof by cases) Proof by contraposition Proof by contradiction Proof by construction Proof by Induction Other techniques 32
Direct Proofs • The average of any two primes greater than 2 is an integer. • Every prime number greater than 2 can be written as the difference of two squares, i. e. a 2 – b 2. 33
Proof by cases If n is an integer, then n(n+1)/2 is an integer • Case 1: n is even. or n = 2 a, for some integer a So n(n+1)/2 = 2 a*(n+1)/2 = a*(n+1), which is an integer. • Case 2: n is odd. n+1 is even, or n+1 = 2 a, for an integer a So n(n+1)/2 = n*2 a/2 = n*a, which is an integer. 34
Proof by contraposition If (pq) (p+q)/2, then p q Direct proof left as exercise Contrapositive: If p = q, then (pq) = (p+q)/2 Easy: (pq) = (pp) = (p 2) = p = (p+p)/2 = (p+q)/2. 35
Proof by contraposition- 2 Prove: If x 2 is even, x is even • Proof: if x is not even, x is odd. Therefore x 2 is odd. This is the contrapositive of the original assertion. • Note that the problem is to prove an implication. • Universal generalization 36
Proof by Contradiction 2 is irrational • Suppose 2 is rational. Then 2 = p/q, such that p, q have no common factors. Squaring and transposing, p 2 = 2 q 2 (even number) So, p is even (previous slide) Or p = 2 x for some integer x So 4 x 2 = 2 q 2 or q 2 = 2 x 2 So, q is even (previous slide) So, p, q are both even – they have a common factor of 2. CONTRADICTION. So 2 is NOT rational. Q. E. D. 37
Proof by Contradiction - 2 In general, start with an assumption that statement A is true. Then, using standard inference procedures infer that A is false. This is the contradiction. Recall: for any proposition p, p p must be false 38
Existence Proofs There exists integers x, y, z satisfying x 2+y 2 = z 2 Proof: x = 3, y = 4, z = 5. This is a constructive proof (produce an example). 39
Existence Proofs - 2 There exists irrational b, c, such that bc is rational (page 97) Nonconstructive proof: Consider 2 2. Two cases are possible: • Case 1: 2 2 is rational – DONE (b = c = 2). • Case 2: 2 2 is irrational – Let b = 2 2, c = 2. Then bc = ( 2 2) 2 = ( 2) 2* 2 = ( 2)2 = 2 40
Uniqueness proofs • E. g. the equation ax+b=0, a, b real, a 0 has a unique solution. 41
The Use of Counterexamples All prime numbers are odd Every prime number can be written as the difference of two squares, i. e. a 2 – b 2. 42
Examples • Show that if n is an odd integer, there is a unique integer k such that n is the sum of k-2 and k+3. • Prove that there are no solutions in positive integers x and y to the equation 2 x 2 + 5 y 2 = 14. • If x 3 is irrational then x is irrational • Prove or disprove – if x, y are irrational, x + y is irrational. 43
Alternative problem statements • “show A is true if and only if B is true” • “show that the statements A, B, C are equivalent” 44
Exercises • Q 8, 10, 26, 28 on page 91 45
What can we prove? • The statement must be true • We must construct a valid proof 46
The role of conjectures • 3 x+1 conjecture Game: Start from a given integer n. If n is even, replace n by n/2. If n is odd, replace n with 3 n+1. Keep doing this until you hit 1. e. g. n=5 16 8 4 2 1 Q: Does this game terminate for all n? 47
Elegance in proofs Q: Prove that the only pair of positive integers satisfying a+b=ab is (2, 2). • Many different proofs exist. What is the simplest one you can think of? 48
Next Ch. 2: Introduction to Set Theory • Set operations • Functions • Cardinality 49
- Eecs 1019
- Modeling computation discrete math
- Eecs 1019
- Mathematics for computer science mit
- Die hard
- Mathematics for computer science mit
- Rosen discrete mathematics solutions
- Pigeonhole principle in discrete mathematics
- What are ps and qs
- Hukum kesetaraan logis
- Dfs in discrete mathematics
- Dijkstra algorithm in discrete mathematics
- Discrete mathematics sequences
- Tautological implications
- Discrete mathematics relations
- Application of propositional logic
- Permutation and combination in discrete mathematics
- Set identites
- Boolean functions in discrete mathematics
- Solving recurrence relations
- Discrete mathematics chapter 3 solutions
- Floor and ceiling discrete math
- Site:slidetodoc.com
- Duality in discrete mathematics
- Incidence matrix in discrete mathematics
- Subtraction rule in discrete mathematics
- Travelling salesman problem discrete mathematics
- Discrete mathematics
- Pqqpq
- Discrete math questions
- Discrete numeric function example
- Recursion in discrete mathematics
- Compound statement symbols
- M ary tree in discrete mathematics
- M ary tree in discrete mathematics
- Isomorphism graph
- What is rooted tree in discrete mathematics
- Nested quantifiers exercises
- What does onto mean in discrete math
- Partial order relation definition
- Cse 15
- Probability theory in discrete mathematics
- Binary relation between two sets
- What is discrete math
- Proposition in math
- Inverse relation definition
- Advanced counting techniques
- Induction and recursion discrete mathematics
- Discrete mathematics chapter 1
- Division algorithm in discrete mathematics