Download presentation

Presentation is loading. Please wait.

Published byDangelo Sparrow Modified over 4 years ago

1
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Sixth Edition, Mc Graw-Hill, 2007 Chapter 1: (Part 2): The Foundations: Logic and Proofs Propositional Equivalence Propositional Equivalence (Section 1.2) (Section 1.2) Predicates & Quantifiers Predicates & Quantifiers (Section 1.3) (Section 1.3)

2
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 1 Propositional Equivalences (1.2) A tautology is a proposition which is always true. A tautology is a proposition which is always true. Classic Example: P V P A contradiction is a proposition which is always false. A contradiction is a proposition which is always false. Classic Example: P P A contingency is a proposition which neither a tautology nor a contradiction. A contingency is a proposition which neither a tautology nor a contradiction. Example: (P V Q) R

3
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 2 Propositional Equivalences (1.2) (cont.) Two propositions P and Q are logically equivalent if Two propositions P and Q are logically equivalent if P Q is a tautology. We write: P Q

4
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 3 Propositional Equivalences (1.2) (cont.) Example: Example: (P Q) (Q P) (P Q) Proof: Proof: The left side and the right side must have the same truth values independent of the truth value of the component propositions. The left side and the right side must have the same truth values independent of the truth value of the component propositions. To show a proposition is not a tautology: use an abbreviated truth table To show a proposition is not a tautology: use an abbreviated truth table try to find a counter example or to disprove the assertion. try to find a counter example or to disprove the assertion. search for a case where the proposition is false search for a case where the proposition is false

5
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 4 Propositional Equivalences (1.2) (cont.) Case 1: Try left side false, right side true Case 1: Try left side false, right side true Left side false: only one of P Q or Q P need be false. 1a. Assume P Q = F. Then P = T, Q = F. But then right side P Q = F. Wrong guess. 1b. Try Q P = F. Then Q = T, P = F. Then P Q = F. Another wrong guess.

6
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 5 Propositional Equivalences (1.2) Case 2. Try left side true, right side false Case 2. Try left side true, right side false If right side is false, P and Q cannot have the same truth value. 2a. Assume P =T, Q = F. Then P Q = F and the conjunction must be false so the left side cannot be true in this case. Another wrong guess. 2b. Assume Q = T, P = F. Again the left side cannot be true. We have exhausted all possibilities and not found a counterexample. The two propositions must be logically equivalent. Note: Because of this equivalence, if and only if or iff is also stated as is a necessary and sufficient condition for.

7
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 6EquivalenceName P T P P V F P Identity Laws P V T T P F F Domination Laws P V P P P P P Idempotent Laws ( P) P Double Negation Law P V Q Q V P P Q Q P Commutative Law

8
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 7EquivalenceName (P V Q) V R P V (Q V R) Associative Law P V (Q R) (P V Q) (P V R) Distributive Law Distributive Law (P Q) P V Q (P V Q) P Q De Morgan ’ s Laws P Q P V Q Implication Equivalence P Q Q P Contrapositive Law Note: equivalent expressions can always be substituted for each other in a more complex expression - useful for simplification.

9
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 8 Propositional Equivalences (1.2) (cont.) Normal or Canonical Forms Normal or Canonical Forms Unique representations of a proposition Unique representations of a proposition Examples: Construct a simple proposition of two variables which is true only when Examples: Construct a simple proposition of two variables which is true only when P is true and Q is false: P Q P is true and Q is false: P Q P is true and Q is true: P Q P is true and Q is true: P Q P is true and Q is false or P is true and Q is true: (P Q) V (P Q) P is true and Q is false or P is true and Q is true: (P Q) V (P Q)

10
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 9 Propositional Equivalences (1.2) (cont.) A disjunction of conjunctions where A disjunction of conjunctions where every variable or its negation is represented once in each conjunction (a minterm) every variable or its negation is represented once in each conjunction (a minterm) each minterms appears only once each minterms appears only once Disjunctive Normal Form (DNF) Important in switching theory, simplification in the design of circuits. Important in switching theory, simplification in the design of circuits.

11
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 10 Propositional Equivalences (1.2) (cont.) Method: To find the minterms of the DNF. Method: To find the minterms of the DNF. Use the rows of the truth table where the proposition is 1 or True Use the rows of the truth table where the proposition is 1 or True If a zero appears under a variable, use the negation of the propositional variable in the minterm If a zero appears under a variable, use the negation of the propositional variable in the minterm If a one appears, use the propositional variable. If a one appears, use the propositional variable.

12
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 11 Propositional Equivalences (1.2) (cont.) Example: Find the DNF of (P V Q) R Example: Find the DNF of (P V Q) R PQR (P V Q) R 00001111001100110101010111101010

13
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 12 Propositional Equivalences (1.2) (cont.) There are 5 cases where the proposition is true, hence 5 minterms. Rows 1,2,3, 5 and 7 produce the following disjunction of minterms: There are 5 cases where the proposition is true, hence 5 minterms. Rows 1,2,3, 5 and 7 produce the following disjunction of minterms: (P V Q) R ( P Q R) V ( P Q R) V ( P Q R) V (P Q R) V (P Q R) Note that you get a Conjunctive Normal Form (CNF) if you negate a DNF and use DeMorgan ’ s Laws. Note that you get a Conjunctive Normal Form (CNF) if you negate a DNF and use DeMorgan ’ s Laws.

14
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 13 Predicates & Quantifiers (1.3) A generalization of propositions - propositional functions or predicates: propositions which contain variables A generalization of propositions - propositional functions or predicates: propositions which contain variables Predicates become propositions once every variable is bound- by Predicates become propositions once every variable is bound- by assigning it a value from the Universe of Discourse U assigning it a value from the Universe of Discourse U or or quantifying it quantifying it

15
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 14 Predicates & Quantifiers (1.3) (cont.) Examples: Examples: Let U = Z, the integers = {... -2, -1, 0, 1, 2, 3,...} Let U = Z, the integers = {... -2, -1, 0, 1, 2, 3,...} P(x): x > 0 is the predicate. It has no truth value until the variable x is bound. P(x): x > 0 is the predicate. It has no truth value until the variable x is bound. Examples of propositions where x is assigned a value: Examples of propositions where x is assigned a value: P(-3) is false, P(-3) is false, P(0) is false, P(0) is false, P(3) is true. P(3) is true. The collection of integers for which P(x) is true are the positive integers. The collection of integers for which P(x) is true are the positive integers.

16
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 15 Predicates & Quantifiers (1.3) (cont.) P(y) V P(0) is not a proposition. The variable y has not been bound. However, P(3) V P(0) is a proposition which is true. P(y) V P(0) is not a proposition. The variable y has not been bound. However, P(3) V P(0) is a proposition which is true. Let R be the three-variable predicate R(x, y z): x + y = z Let R be the three-variable predicate R(x, y z): x + y = z Find the truth value of Find the truth value of R(2, -1, 5), R(3, 4, 7), R(x, 3, z)

17
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 16 Predicates & Quantifiers (1.3) (cont.) Quantifiers Quantifiers Universal Universal P(x) is true for every x in the universe of discourse. Notation: universal quantifier x P(x) ‘ For all x, P(x) ’, ‘ For every x, P(x) ’ The variable x is bound by the universal quantifier producing a proposition.

18
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 17 Predicates & Quantifiers (1.3) (cont.) Example: U = {1, 2, 3} Example: U = {1, 2, 3} x P(x) P(1) P(2) P(3)

19
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 18 Predicates & Quantifiers (1.3) (cont.) Quantifiers (cont.) Quantifiers (cont.) Existential Existential P(x) is true for some x in the universe of discourse. P(x) is true for some x in the universe of discourse. Notation: existential quantifier x P(x) ‘ There is an x such that P(x), ’ ‘ For some x, P(x) ’, ‘ For at least one x, P(x) ’, ‘ I can find an x such that P(x). ’ Example: U={1,2,3} x P(x) P(1) V P(2) V P(3)

20
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 19 Predicates & Quantifiers (1.3) (cont.) Quantifiers (cont.) Quantifiers (cont.) Unique Existential Unique Existential P(x) is true for one and only one x in the universe of discourse. Notation: unique existential quantifier !x P(x) ‘ There is a unique x such that P(x), ’ ‘ There is one and only one x such that P(x), ’ ‘ One can find only one x such that P(x). ’

21
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 20 Predicates & Quantifiers (1.3) (cont.) Example: U = {1, 2, 3, 4} Example: U = {1, 2, 3, 4} P(1)P(2)P(3) !xP(x) 00001111001100110101010101101000 How many minterms are in the DNF?

22
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 21 Predicates & Quantifiers (1.3) (cont.) REMEMBER! A predicate is not a proposition until all variables have been bound either by quantification or assignment of a value!

23
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 22 Predicates & Quantifiers (1.3) (cont.) Equivalences involving the negation operator Equivalences involving the negation operator ( x P(x )) x P(x) ( x P(x)) x P(x) Distributing a negation operator across a quantifier changes a universal to an existential and vice versa. Distributing a negation operator across a quantifier changes a universal to an existential and vice versa. ( x P(x)) (P(x 1 ) P(x 2 ) … P(x n )) P(x 1 ) V P(x 2 ) V … V P(x n ) x P(x) ( x P(x)) (P(x 1 ) P(x 2 ) … P(x n )) P(x 1 ) V P(x 2 ) V … V P(x n ) x P(x)

24
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 23 Predicates & Quantifiers (1.3) (cont.) Multiple Quantifiers: read left to right... Multiple Quantifiers: read left to right... Example: Let U = R, the real numbers, Example: Let U = R, the real numbers, P(x,y): xy= 0 x y P(x, y) x y P(x, y) x y P(x, y) x y P(x, y) The only one that is false is the first one. What ’ s about the case when P(x,y) is the predicate x/y=1?

25
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 24 Predicates & Quantifiers (1.3) (cont.) Multiple Quantifiers: read left to right... Multiple Quantifiers: read left to right... Example: Let U = {1,2,3}. Find an expression equivalent to x y P(x, y) where the variables are bound by substitution instead: Example: Let U = {1,2,3}. Find an expression equivalent to x y P(x, y) where the variables are bound by substitution instead: Expand from inside out or outside in. Outside in: y P(1, y) y P(2, y) y P(3, y) [P(1,1) V P(1,2) V P(1,3)] [P(2,1) V P(2,2) V P(2,3)] [P(3,1) V P(3,2) V P(3,3)]

26
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 25 Predicates & Quantifiers (1.3) (cont.) Converting from English (Can be very difficult!) Converting from English (Can be very difficult!) “ Every student in this class has studied calculus ” transformed into: “ For every student in this class, that student has studied calculus ” calculus ” C(x): “ x has studied calculus ” x C(x) This is one way of converting from English!

27
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 26 Predicates & Quantifiers (1.3) (cont.) Multiple Quantifiers: read left to right... (cont.) Multiple Quantifiers: read left to right... (cont.) Example: Example: F(x): x is a fleegle S(x): x is a snurd T(x): x is a thingamabob U={fleegles, snurds, thingamabobs} (Note: the equivalent form using the existential quantifier is also given)

28
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 27 Predicates & Quantifiers (1.3) (cont.) Everything is a fleegle Everything is a fleegle x F( x) ( x F(x)) Nothing is a snurd. Nothing is a snurd. x S(x) ( x S( x)) All fleegles are snurds. All fleegles are snurds. x [F(x) S(x)] x [ F(x) V S(x)] x [F(x) S(x)] ( x [F(x) V S(x)])

29
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 28 Predicates & Quantifiers (1.3) (cont.) Some fleegles are thingamabobs. Some fleegles are thingamabobs. x [F(x) T(x)] ( x [ F(x) V T(x)]) No snurd is a thingamabob. No snurd is a thingamabob. x [S(x) T(x)] ( x [S(x ) T(x)]) If any fleegle is a snurd then it's also a thingamabob If any fleegle is a snurd then it's also a thingamabob x [(F(x) S(x)) T(x)] ( x [F(x) S(x) T( x)])

30
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 29 Predicates & Quantifiers (1.3) (cont.) Extra Definitions: Extra Definitions: An assertion involving predicates is valid if it is true for every universe of discourse. An assertion involving predicates is valid if it is true for every universe of discourse. An assertion involving predicates is satisfiable if there is a universe and an interpretation for which the assertion is true. Else it is unsatisfiable. An assertion involving predicates is satisfiable if there is a universe and an interpretation for which the assertion is true. Else it is unsatisfiable. The scope of a quantifier is the part of an assertion in which variables are bound by the quantifier The scope of a quantifier is the part of an assertion in which variables are bound by the quantifier

31
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 30 Predicates & Quantifiers (1.3) (cont.) Examples: Examples: Valid: x S(x) [ x S( x)] Not valid but satisfiable: x [F(x) T(x)] Not satisfiable: x [F(x) F(x)] Scope: x [F(x) V S( x)] vs. x [F(x)] V x [S(x)]

32
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 31 Predicates & Quantifiers (1.3) (cont.) Dangerous situations: Dangerous situations: Commutativity of quantifiers Commutativity of quantifiers x y P(x, y) y x P( x, y)? YES! YES! x y P(x, y) y x P(x, y)? NO! NO! DIFFERENT MEANING! Distributivity of quantifiers over operators Distributivity of quantifiers over operators x [P(x) Q(x)] x P( x) x Q( x)? YES! YES! x [P( x) Q( x)] [ x P(x) x Q( x)]? NO! NO!

33
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 32 Sets (1.6) A set is a collection or group of objects or elements or members. (Cantor 1895) A set is a collection or group of objects or elements or members. (Cantor 1895) A set is said to contain its elements. A set is said to contain its elements. There must be an underlying universal set U, either specifically stated or understood. There must be an underlying universal set U, either specifically stated or understood.

34
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 33 Sets (1.6) (cont.) Notation: Notation: list the elements between braces: list the elements between braces: S = {a, b, c, d}={b, c, a, d, d} (Note: listing an object more than once does not change the set. Ordering means nothing.) specification by predicates: specification by predicates: S= {x| P(x)}, S contains all the elements from U which make the predicate P true. brace notation with ellipses: brace notation with ellipses: S = {..., -3, -2, -1}, the negative integers.

35
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 34 Sets (1.6) (cont.) Common Universal Sets Common Universal Sets R = reals R = reals N = natural numbers = {0,1, 2, 3,... }, the counting numbers N = natural numbers = {0,1, 2, 3,... }, the counting numbers Z = all integers = {.., -3, -2, -1, 0, 1, 2, 3, 4,..} Z = all integers = {.., -3, -2, -1, 0, 1, 2, 3, 4,..} Z + is the set of positive integers Z + is the set of positive integers Notation: Notation: x is a member of S or x is an element of S: x S. x is not an element of S: x S.

36
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 35 Sets (1.6) (cont.) Subsets Subsets Definition: The set A is a subset of the set B, denoted A B, iff Definition: The set A is a subset of the set B, denoted A B, iff x [x A x B] Definition: The void set, the null set, the empty set, denoted , is the set with no members. Definition: The void set, the null set, the empty set, denoted , is the set with no members. Note: the assertion x is always false. Hence x [x x B] is always true(vacuously). Therefore, is a subset of every set. Note: A set B is always a subset of itself.

37
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 36 Sets (1.6) (cont.) Definition: If A B but A B the we say A is a proper subset of B, denoted A B (in some texts). Definition: If A B but A B the we say A is a proper subset of B, denoted A B (in some texts). Definition: The set of all subset of a set A, denoted P(A), is called the power set of A. Definition: The set of all subset of a set A, denoted P(A), is called the power set of A. Example: If A = {a, b} then Example: If A = {a, b} then P(A) = { , {a}, {b}, {a,b}}

38
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 37 Sets (1.6) (cont.) Definition: The number of (distinct) elements in A, denoted |A|, is called the cardinality of A. Definition: The number of (distinct) elements in A, denoted |A|, is called the cardinality of A. If the cardinality is a natural number (in N), then the set is called finite, else infinite. Example: A = {a, b}, Example: A = {a, b}, |{a, b}| = 2, |P({a, b})| = 4. A is finite and so is P(A). Useful Fact: |A|=n implies |P(A)| = 2 n

39
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 38 Sets (1.6) (cont.) N is infinite since |N| is not a natural number. It is called a transfinite cardinal number. N is infinite since |N| is not a natural number. It is called a transfinite cardinal number. Note: Sets can be both members and subsets of other sets. Note: Sets can be both members and subsets of other sets. Example: Example: A = { ,{ }}. A has two elements and hence four subsets: , { }, {{ }}. { ,{ }} Note that is both a member of A and a subset of A! Russell's paradox: Let S be the set of all sets which are not members of themselves. Is S a member of itself? Russell's paradox: Let S be the set of all sets which are not members of themselves. Is S a member of itself? Another paradox: Henry is a barber who shaves all people who do not shave themselves. Does Henry shave himself? Another paradox: Henry is a barber who shaves all people who do not shave themselves. Does Henry shave himself?

40
CS 210, Ch.1 (part 2): The foundations: Logic & Proof, Sets, and Functions 39 Sets (1.6) (cont.) Definition: The Cartesian product of A with B, denoted Definition: The Cartesian product of A with B, denoted A x B, is the set of ordered pairs { | a A b B} Notation: Note: The Cartesian product of anything with is . (why?) Example: Example: A = {a,b}, B = {1, 2, 3} AxB = {,,,,, } What is BxA? AxBxA? If |A| = m and |B| = n, what is |AxB|? If |A| = m and |B| = n, what is |AxB|?

Similar presentations

© 2019 SlidePlayer.com Inc.

All rights reserved.

To make this website work, we log user data and share it with processors. To use this website, you must agree to our Privacy Policy, including cookie policy.

Ads by Google