SlideShare a Scribd company logo
1 of 30
Homework Solution The statements  ๏ƒ˜ (P ๏ƒš Q) and ( ๏ƒ˜ P) ๏ƒ™ ( ๏ƒ˜ Q) are  logically equivalent , so we write  ๏ƒ˜ (P ๏ƒš Q) ๏ƒ› ( ๏ƒ˜ P) ๏ƒ™ ( ๏ƒ˜ Q). P Q ๏ƒ˜ (P ๏ƒš Q) ( ๏ƒ˜ P) ๏ƒ™ ( ๏ƒ˜ Q) ๏ƒ˜ (P ๏ƒš Q) ๏‚ซ ( ๏ƒ˜ P) ๏ƒ™ ( ๏ƒ˜ Q) true true false false true true false false false true false true false false true false false true true true
SET THEORY MTK3013 DISCRETE MATHMATICS
Set Theory ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Set Equality Sets A and B are equal if and only if they contain exactly the same elements. Examples: ,[object Object],A = B ,[object Object],[object Object],A = B A ๏‚น B
Examples for Sets ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Examples for Sets ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Examples for Sets We are now able to define the set of rational numbers Q: Q  = {a/b | a ๏ƒŽ Z   ๏ƒ™   b ๏ƒŽ Z + }  or  Q  = {a/b | a ๏ƒŽ Z   ๏ƒ™   b ๏ƒŽ Z  ๏ƒ™   b ๏‚น 0}  And how about the set of real numbers R? R  = {r | r is a real number} That is the best we can do.
Subsets A  ๏ƒ  B   โ€œA is a subset of Bโ€ A  ๏ƒ  B if and only if every element of A is also    an element of B. We can completely formalize this: A  ๏ƒ  B  ๏ƒ›   ๏€ข x (x ๏ƒŽ A  ๏‚ฎ  x ๏ƒŽ B) Examples: A = {3, 9}, B = {5, 9, 1, 3},  A  ๏ƒ  B ? true A = {3, 3, 3, 9}, B = {5, 9, 1, 3},  A  ๏ƒ  B ? false true A = {1, 2, 3}, B = {2, 3, 4},  A  ๏ƒ  B ?
Subsets ,[object Object],[object Object],[object Object],A B C
Subsets ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Cardinality of Sets If a set S contains n distinct elements, n ๏ƒŽ N , we call S a  finite set  with  cardinality n . Examples: A = {Mercedes, BMW, Porsche},  |A| = 3 B = {1, {2, 3}, {4, 5}, 6} |B| = 4 C = ๏ƒ† |C| = 0 D = { x๏ƒŽ N  | x ๏‚ฃ 7000 } |D| = 7001 E = { x๏ƒŽ N  | x ๏‚ณ 7000 } E is infinite!
The Power Set 2 A   or   P(A)  โ€œpower set of Aโ€ 2 A  = {B | B  ๏ƒ  A}  (contains all subsets of A) Examples:   A = {x, y, z} 2 A  = { ๏ƒ† , {x}, {y}, {z}, {x, y}, {x, z}, {y, z}, {x, y, z}} A =  ๏ƒ† 2 A  = { ๏ƒ† } Note: |A| = 0,  |2 A | = 1
The Power Set ,[object Object],[object Object],[object Object],[object Object],[object Object],A 1 2 3 4 5 6 7 8 x x x x x x x x x y y y y y y y y y z z z z z z z z z
Cartesian Product The  ordered n-tuple  (a 1 , a 2 , a 3 , โ€ฆ, a n ) is an  ordered collection  of objects. Two ordered n-tuples (a 1 , a 2 , a 3 , โ€ฆ, a n ) and  (b 1 , b 2 , b 3 , โ€ฆ, b n ) are equal if and only if they contain exactly the same elements  in the same order , i.e. a i  = b i  for 1  ๏‚ฃ  i  ๏‚ฃ  n. The  Cartesian product  of two sets is defined as: A ๏‚ด B = {(a, b) | a ๏ƒŽ A  ๏ƒ™  b ๏ƒŽ B} Example:  A = {x, y}, B = {a, b, c} A ๏‚ด B = {(x, a), (x, b), (x, c), (y, a), (y, b), (y, c)}
Cartesian Product ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Set Operations Union: A ๏ƒˆ B = {x | x ๏ƒŽ A  ๏ƒš  x ๏ƒŽ B} Example:  A = {a, b}, B = {b, c, d} A ๏ƒˆ B = {a, b, c, d}  Intersection: A ๏ƒ‡ B = {x | x ๏ƒŽ A  ๏ƒ™  x ๏ƒŽ B} Example:  A = {a, b}, B = {b, c, d} A ๏ƒ‡ B = {b}
Set Operations Two sets are called  disjoint  if their intersection is empty, that is, they share no elements: A ๏ƒ‡ B =  ๏ƒ† The  difference  between two sets A and B contains exactly those elements of A that are not in B: A-B = {x | x ๏ƒŽ A  ๏ƒ™  x ๏ƒ B} Example:  A = {a, b}, B = {b, c, d}, A-B = {a}
Set Operations The  complement  of a set A contains exactly those elements under consideration that are not in A:  -A = U-A   Example:  U =  N ,  B = {250, 251, 252, โ€ฆ} -B = {0, 1, 2, โ€ฆ, 248, 249}
Set Operations ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Set Operations Method II:  Membership table 1 means โ€œx is an element of this setโ€ 0 means โ€œx is not an element of this setโ€  A  B  C B ๏ƒ‡ C A ๏ƒˆ (B ๏ƒ‡ C) A ๏ƒˆ B A ๏ƒˆ C (A ๏ƒˆ B)  ๏ƒ‡ (A ๏ƒˆ C) 0  0  0 0 0 0 0 0 0  0  1 0 0 0 1 0 0  1  0 0 0 1 0 0 0  1  1 1 1 1 1 1 1  0  0 0 1 1 1 1 1  0  1 0 1 1 1 1 1  1  0 0 1 1 1 1 1  1  1 1 1 1 1 1
Set Operations Take-home message: Every logical expression can be transformed into an equivalent expression in set theory and vice versa.
Exercises Question 1: Given a set A = {x, y, z} and a set B = {1, 2, 3, 4}, what is the value of  | 2 A   ๏‚ด  2 B  | ? Question 2: Is it true for all sets A and B that (A ๏‚ด B) ๏ƒ‡ (B ๏‚ด A) =  ๏ƒ†  ? Or do A and B have to meet certain conditions? Question 3: For any two sets A and B, if A โ€“ B =  ๏ƒ†  and B โ€“ A =  ๏ƒ† , can we conclude that A = B? Why or why not?
FUNCTIONS MTK3013 DISCRETE MATHMATICS
Functions A  function  f from a set A to a set B is an  assignment  of exactly one element of B to each element of A. We write f(a) = b if b is the unique element of B assigned by the function f to the element a of A. If f is a function from A to B, we write f: A ๏‚ฎ B (note:  Here, โ€œ ๏‚ฎ โ€œ has nothing to do with ifโ€ฆ then)
Functions If f:A ๏‚ฎ B, we say that A is the  domain  of f and B is the  codomain  of f.  If f(a) = b, we say that b is the  image  of a and a is the  pre-image  of b. The  range  of f:A ๏‚ฎ B is the set of all images of elements of A. We say that f:A ๏‚ฎ B  maps  A to B.
Functions Let us take a look at the function f:P ๏‚ฎ C with P = {Linda, Max, Kathy, Peter} C = {Boston, New York, Hong Kong, Moscow} f(Linda) = Moscow f(Max) = Boston f(Kathy) = Hong Kong f(Peter) = New York Here, the range of f is C.
Functions Let us re-specify f as follows: f(Linda) = Moscow f(Max) = Boston f(Kathy) = Hong Kong f(Peter) = Boston Is f still a function? {Moscow, Boston, Hong Kong} What is its range?
Functions Other ways to represent f: x f(x) Linda Moscow Max Boston Kathy Hong Kong Peter Boston Linda Max Kathy Peter Boston New York Hong Kong Moscow
Functions If the domain of our function f is large, it is convenient to specify f with a  formula , e.g.: f: R ๏‚ฎ R   f(x) = 2x This leads to: f(1) = 2 f(3) = 6 f(-3) = -6 โ€ฆ
Functions Let f 1  and f 2  be functions from A to  R . Then the  sum  and the  product  of f 1  and f 2  are also functions from A to  R  defined by: (f 1  + f 2 )(x) =  f 1 (x) + f 2 (x) (f 1 f 2 )(x) =  f 1 (x) f 2 (x) Example: f 1 (x) = 3x,  f 2 (x) = x + 5 (f 1  + f 2 )(x) =  f 1 (x) + f 2 (x) = 3x + x + 5 = 4x + 5 (f 1 f 2 )(x) =  f 1 (x) f 2 (x) = 3x (x + 5) = 3x 2  + 15x

More Related Content

What's hot

CMSC 56 | Lecture 9: Functions Representations
CMSC 56 | Lecture 9: Functions RepresentationsCMSC 56 | Lecture 9: Functions Representations
CMSC 56 | Lecture 9: Functions Representationsallyn joy calcaben
ย 
Mkk1013 chapter 2.1
Mkk1013 chapter 2.1Mkk1013 chapter 2.1
Mkk1013 chapter 2.1ramlahmailok
ย 
2.2 Set Operations
2.2 Set Operations2.2 Set Operations
2.2 Set Operationsshowslidedump
ย 
How to Prove and Apply De Morgan's Laws
How to Prove and Apply De Morgan's LawsHow to Prove and Apply De Morgan's Laws
How to Prove and Apply De Morgan's LawsDon Sevcik
ย 
Discrete Mathematics and Its Applications 7th Edition Rose Solutions Manual
Discrete Mathematics and Its Applications 7th Edition Rose Solutions ManualDiscrete Mathematics and Its Applications 7th Edition Rose Solutions Manual
Discrete Mathematics and Its Applications 7th Edition Rose Solutions ManualTallulahTallulah
ย 
Set theory and relation
Set theory and relationSet theory and relation
Set theory and relationankush_kumar
ย 
Blackbox task 2
Blackbox task 2Blackbox task 2
Blackbox task 2blackbox90s
ย 
Relation function
Relation functionRelation function
Relation functionBiswa Nayak
ย 
Set
SetSet
SetH K
ย 
Math task 3
Math task 3Math task 3
Math task 3blackbox90s
ย 
Discrete Math Chapter 2: Basic Structures: Sets, Functions, Sequences, Sums, ...
Discrete Math Chapter 2: Basic Structures: Sets, Functions, Sequences, Sums, ...Discrete Math Chapter 2: Basic Structures: Sets, Functions, Sequences, Sums, ...
Discrete Math Chapter 2: Basic Structures: Sets, Functions, Sequences, Sums, ...Amr Rashed
ย 
Relation and function_xii
Relation and function_xiiRelation and function_xii
Relation and function_xiiBarnali Banerjee
ย 
Problem Set 1
Problem Set 1Problem Set 1
Problem Set 1David Rogers
ย 
Introduction to Set Theory
Introduction to Set TheoryIntroduction to Set Theory
Introduction to Set TheoryUsama ahmad
ย 

What's hot (18)

CMSC 56 | Lecture 9: Functions Representations
CMSC 56 | Lecture 9: Functions RepresentationsCMSC 56 | Lecture 9: Functions Representations
CMSC 56 | Lecture 9: Functions Representations
ย 
Mkk1013 chapter 2.1
Mkk1013 chapter 2.1Mkk1013 chapter 2.1
Mkk1013 chapter 2.1
ย 
Set operations
Set operationsSet operations
Set operations
ย 
2.2 Set Operations
2.2 Set Operations2.2 Set Operations
2.2 Set Operations
ย 
How to Prove and Apply De Morgan's Laws
How to Prove and Apply De Morgan's LawsHow to Prove and Apply De Morgan's Laws
How to Prove and Apply De Morgan's Laws
ย 
Sets
SetsSets
Sets
ย 
Discrete Mathematics and Its Applications 7th Edition Rose Solutions Manual
Discrete Mathematics and Its Applications 7th Edition Rose Solutions ManualDiscrete Mathematics and Its Applications 7th Edition Rose Solutions Manual
Discrete Mathematics and Its Applications 7th Edition Rose Solutions Manual
ย 
Set Theory 1
Set Theory 1Set Theory 1
Set Theory 1
ย 
Set theory and relation
Set theory and relationSet theory and relation
Set theory and relation
ย 
Blackbox task 2
Blackbox task 2Blackbox task 2
Blackbox task 2
ย 
Relation function
Relation functionRelation function
Relation function
ย 
Set Theory 2
Set Theory 2Set Theory 2
Set Theory 2
ย 
Set
SetSet
Set
ย 
Math task 3
Math task 3Math task 3
Math task 3
ย 
Discrete Math Chapter 2: Basic Structures: Sets, Functions, Sequences, Sums, ...
Discrete Math Chapter 2: Basic Structures: Sets, Functions, Sequences, Sums, ...Discrete Math Chapter 2: Basic Structures: Sets, Functions, Sequences, Sums, ...
Discrete Math Chapter 2: Basic Structures: Sets, Functions, Sequences, Sums, ...
ย 
Relation and function_xii
Relation and function_xiiRelation and function_xii
Relation and function_xii
ย 
Problem Set 1
Problem Set 1Problem Set 1
Problem Set 1
ย 
Introduction to Set Theory
Introduction to Set TheoryIntroduction to Set Theory
Introduction to Set Theory
ย 

Similar to Mtk3013 chapter 2-3

Ch01-2.ppt
Ch01-2.pptCh01-2.ppt
Ch01-2.pptEddyMakoyo1
ย 
Mathematics JEE quick revision notes pdf
Mathematics JEE quick revision notes pdfMathematics JEE quick revision notes pdf
Mathematics JEE quick revision notes pdfgowhiksankar54
ย 
sets and their introduction and their exercises.pptx
sets and their introduction and their exercises.pptxsets and their introduction and their exercises.pptx
sets and their introduction and their exercises.pptxZenLooper
ย 
Set and Set operations, UITM KPPIM DUNGUN
Set and Set operations, UITM KPPIM DUNGUNSet and Set operations, UITM KPPIM DUNGUN
Set and Set operations, UITM KPPIM DUNGUNbaberexha
ย 
Set theory-ppt
Set theory-pptSet theory-ppt
Set theory-pptvipulAtri
ย 
Answers Of Discrete Mathematics
Answers Of Discrete MathematicsAnswers Of Discrete Mathematics
Answers Of Discrete MathematicsSabrina Green
ย 
SET THEORY
SET THEORYSET THEORY
SET THEORYLena
ย 
POWERPOINT (SETS & FUNCTIONS).pdf
POWERPOINT (SETS & FUNCTIONS).pdfPOWERPOINT (SETS & FUNCTIONS).pdf
POWERPOINT (SETS & FUNCTIONS).pdfMaryAnnBatac1
ย 
2 ใ€‹set operation.pdf
2 ใ€‹set operation.pdf2 ใ€‹set operation.pdf
2 ใ€‹set operation.pdfHamayonHelali
ย 
Sets functions-sequences-exercises
Sets functions-sequences-exercisesSets functions-sequences-exercises
Sets functions-sequences-exercisesRoshayu Mohamad
ย 
discrete maths notes.ppt
discrete maths notes.pptdiscrete maths notes.ppt
discrete maths notes.pptNamuwayaPhionah1
ย 
SETS - Vedantu.pdf
SETS - Vedantu.pdfSETS - Vedantu.pdf
SETS - Vedantu.pdfAneeshRenu
ย 
mathematical sets.pdf
mathematical sets.pdfmathematical sets.pdf
mathematical sets.pdfJihudumie.Com
ย 
Ch1 sets and_logic(1)
Ch1 sets and_logic(1)Ch1 sets and_logic(1)
Ch1 sets and_logic(1)Kwonpyo Ko
ย 
SETS-AND-SUBSETS.pptx
SETS-AND-SUBSETS.pptxSETS-AND-SUBSETS.pptx
SETS-AND-SUBSETS.pptxJuanMiguelTangkeko
ย 

Similar to Mtk3013 chapter 2-3 (20)

Ch01-2.ppt
Ch01-2.pptCh01-2.ppt
Ch01-2.ppt
ย 
Sets (1).ppt
Sets (1).pptSets (1).ppt
Sets (1).ppt
ย 
Mathematics JEE quick revision notes pdf
Mathematics JEE quick revision notes pdfMathematics JEE quick revision notes pdf
Mathematics JEE quick revision notes pdf
ย 
sets and their introduction and their exercises.pptx
sets and their introduction and their exercises.pptxsets and their introduction and their exercises.pptx
sets and their introduction and their exercises.pptx
ย 
01_Sets.pdf
01_Sets.pdf01_Sets.pdf
01_Sets.pdf
ย 
2.1 Sets
2.1 Sets2.1 Sets
2.1 Sets
ย 
Set Theory DM
Set Theory DMSet Theory DM
Set Theory DM
ย 
Set and Set operations, UITM KPPIM DUNGUN
Set and Set operations, UITM KPPIM DUNGUNSet and Set operations, UITM KPPIM DUNGUN
Set and Set operations, UITM KPPIM DUNGUN
ย 
Set theory-ppt
Set theory-pptSet theory-ppt
Set theory-ppt
ย 
Answers Of Discrete Mathematics
Answers Of Discrete MathematicsAnswers Of Discrete Mathematics
Answers Of Discrete Mathematics
ย 
SET THEORY
SET THEORYSET THEORY
SET THEORY
ย 
POWERPOINT (SETS & FUNCTIONS).pdf
POWERPOINT (SETS & FUNCTIONS).pdfPOWERPOINT (SETS & FUNCTIONS).pdf
POWERPOINT (SETS & FUNCTIONS).pdf
ย 
2 ใ€‹set operation.pdf
2 ใ€‹set operation.pdf2 ใ€‹set operation.pdf
2 ใ€‹set operation.pdf
ย 
Sets functions-sequences-exercises
Sets functions-sequences-exercisesSets functions-sequences-exercises
Sets functions-sequences-exercises
ย 
discrete maths notes.ppt
discrete maths notes.pptdiscrete maths notes.ppt
discrete maths notes.ppt
ย 
SETS - Vedantu.pdf
SETS - Vedantu.pdfSETS - Vedantu.pdf
SETS - Vedantu.pdf
ย 
mathematical sets.pdf
mathematical sets.pdfmathematical sets.pdf
mathematical sets.pdf
ย 
4898850.ppt
4898850.ppt4898850.ppt
4898850.ppt
ย 
Ch1 sets and_logic(1)
Ch1 sets and_logic(1)Ch1 sets and_logic(1)
Ch1 sets and_logic(1)
ย 
SETS-AND-SUBSETS.pptx
SETS-AND-SUBSETS.pptxSETS-AND-SUBSETS.pptx
SETS-AND-SUBSETS.pptx
ย 

Recently uploaded

SOC 101 Demonstration of Learning Presentation
SOC 101 Demonstration of Learning PresentationSOC 101 Demonstration of Learning Presentation
SOC 101 Demonstration of Learning Presentationcamerronhm
ย 
Kodo Millet PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
Kodo Millet  PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...Kodo Millet  PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
Kodo Millet PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...pradhanghanshyam7136
ย 
Micro-Scholarship, What it is, How can it help me.pdf
Micro-Scholarship, What it is, How can it help me.pdfMicro-Scholarship, What it is, How can it help me.pdf
Micro-Scholarship, What it is, How can it help me.pdfPoh-Sun Goh
ย 
This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.christianmathematics
ย 
ICT role in 21st century education and it's challenges.
ICT role in 21st century education and it's challenges.ICT role in 21st century education and it's challenges.
ICT role in 21st century education and it's challenges.MaryamAhmad92
ย 
How to setup Pycharm environment for Odoo 17.pptx
How to setup Pycharm environment for Odoo 17.pptxHow to setup Pycharm environment for Odoo 17.pptx
How to setup Pycharm environment for Odoo 17.pptxCeline George
ย 
COMMUNICATING NEGATIVE NEWS - APPROACHES .pptx
COMMUNICATING NEGATIVE NEWS - APPROACHES .pptxCOMMUNICATING NEGATIVE NEWS - APPROACHES .pptx
COMMUNICATING NEGATIVE NEWS - APPROACHES .pptxannathomasp01
ย 
Graduate Outcomes Presentation Slides - English
Graduate Outcomes Presentation Slides - EnglishGraduate Outcomes Presentation Slides - English
Graduate Outcomes Presentation Slides - Englishneillewis46
ย 
Key note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdfKey note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdfAdmir Softic
ย 
Python Notes for mca i year students osmania university.docx
Python Notes for mca i year students osmania university.docxPython Notes for mca i year students osmania university.docx
Python Notes for mca i year students osmania university.docxRamakrishna Reddy Bijjam
ย 
ICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxAreebaZafar22
ย 
On_Translating_a_Tamil_Poem_by_A_K_Ramanujan.pptx
On_Translating_a_Tamil_Poem_by_A_K_Ramanujan.pptxOn_Translating_a_Tamil_Poem_by_A_K_Ramanujan.pptx
On_Translating_a_Tamil_Poem_by_A_K_Ramanujan.pptxPooja Bhuva
ย 
Wellbeing inclusion and digital dystopias.pptx
Wellbeing inclusion and digital dystopias.pptxWellbeing inclusion and digital dystopias.pptx
Wellbeing inclusion and digital dystopias.pptxJisc
ย 
General Principles of Intellectual Property: Concepts of Intellectual Proper...
General Principles of Intellectual Property: Concepts of Intellectual  Proper...General Principles of Intellectual Property: Concepts of Intellectual  Proper...
General Principles of Intellectual Property: Concepts of Intellectual Proper...Poonam Aher Patil
ย 
Salient Features of India constitution especially power and functions
Salient Features of India constitution especially power and functionsSalient Features of India constitution especially power and functions
Salient Features of India constitution especially power and functionsKarakKing
ย 
Plant propagation: Sexual and Asexual propapagation.pptx
Plant propagation: Sexual and Asexual propapagation.pptxPlant propagation: Sexual and Asexual propapagation.pptx
Plant propagation: Sexual and Asexual propapagation.pptxUmeshTimilsina1
ย 
Sociology 101 Demonstration of Learning Exhibit
Sociology 101 Demonstration of Learning ExhibitSociology 101 Demonstration of Learning Exhibit
Sociology 101 Demonstration of Learning Exhibitjbellavia9
ย 
How to Create and Manage Wizard in Odoo 17
How to Create and Manage Wizard in Odoo 17How to Create and Manage Wizard in Odoo 17
How to Create and Manage Wizard in Odoo 17Celine George
ย 
Understanding Accommodations and Modifications
Understanding  Accommodations and ModificationsUnderstanding  Accommodations and Modifications
Understanding Accommodations and ModificationsMJDuyan
ย 

Recently uploaded (20)

SOC 101 Demonstration of Learning Presentation
SOC 101 Demonstration of Learning PresentationSOC 101 Demonstration of Learning Presentation
SOC 101 Demonstration of Learning Presentation
ย 
Kodo Millet PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
Kodo Millet  PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...Kodo Millet  PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
Kodo Millet PPT made by Ghanshyam bairwa college of Agriculture kumher bhara...
ย 
Micro-Scholarship, What it is, How can it help me.pdf
Micro-Scholarship, What it is, How can it help me.pdfMicro-Scholarship, What it is, How can it help me.pdf
Micro-Scholarship, What it is, How can it help me.pdf
ย 
This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.
ย 
ICT role in 21st century education and it's challenges.
ICT role in 21st century education and it's challenges.ICT role in 21st century education and it's challenges.
ICT role in 21st century education and it's challenges.
ย 
Mehran University Newsletter Vol-X, Issue-I, 2024
Mehran University Newsletter Vol-X, Issue-I, 2024Mehran University Newsletter Vol-X, Issue-I, 2024
Mehran University Newsletter Vol-X, Issue-I, 2024
ย 
How to setup Pycharm environment for Odoo 17.pptx
How to setup Pycharm environment for Odoo 17.pptxHow to setup Pycharm environment for Odoo 17.pptx
How to setup Pycharm environment for Odoo 17.pptx
ย 
COMMUNICATING NEGATIVE NEWS - APPROACHES .pptx
COMMUNICATING NEGATIVE NEWS - APPROACHES .pptxCOMMUNICATING NEGATIVE NEWS - APPROACHES .pptx
COMMUNICATING NEGATIVE NEWS - APPROACHES .pptx
ย 
Graduate Outcomes Presentation Slides - English
Graduate Outcomes Presentation Slides - EnglishGraduate Outcomes Presentation Slides - English
Graduate Outcomes Presentation Slides - English
ย 
Key note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdfKey note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdf
ย 
Python Notes for mca i year students osmania university.docx
Python Notes for mca i year students osmania university.docxPython Notes for mca i year students osmania university.docx
Python Notes for mca i year students osmania university.docx
ย 
ICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptx
ย 
On_Translating_a_Tamil_Poem_by_A_K_Ramanujan.pptx
On_Translating_a_Tamil_Poem_by_A_K_Ramanujan.pptxOn_Translating_a_Tamil_Poem_by_A_K_Ramanujan.pptx
On_Translating_a_Tamil_Poem_by_A_K_Ramanujan.pptx
ย 
Wellbeing inclusion and digital dystopias.pptx
Wellbeing inclusion and digital dystopias.pptxWellbeing inclusion and digital dystopias.pptx
Wellbeing inclusion and digital dystopias.pptx
ย 
General Principles of Intellectual Property: Concepts of Intellectual Proper...
General Principles of Intellectual Property: Concepts of Intellectual  Proper...General Principles of Intellectual Property: Concepts of Intellectual  Proper...
General Principles of Intellectual Property: Concepts of Intellectual Proper...
ย 
Salient Features of India constitution especially power and functions
Salient Features of India constitution especially power and functionsSalient Features of India constitution especially power and functions
Salient Features of India constitution especially power and functions
ย 
Plant propagation: Sexual and Asexual propapagation.pptx
Plant propagation: Sexual and Asexual propapagation.pptxPlant propagation: Sexual and Asexual propapagation.pptx
Plant propagation: Sexual and Asexual propapagation.pptx
ย 
Sociology 101 Demonstration of Learning Exhibit
Sociology 101 Demonstration of Learning ExhibitSociology 101 Demonstration of Learning Exhibit
Sociology 101 Demonstration of Learning Exhibit
ย 
How to Create and Manage Wizard in Odoo 17
How to Create and Manage Wizard in Odoo 17How to Create and Manage Wizard in Odoo 17
How to Create and Manage Wizard in Odoo 17
ย 
Understanding Accommodations and Modifications
Understanding  Accommodations and ModificationsUnderstanding  Accommodations and Modifications
Understanding Accommodations and Modifications
ย 

Mtk3013 chapter 2-3

  • 1. Homework Solution The statements ๏ƒ˜ (P ๏ƒš Q) and ( ๏ƒ˜ P) ๏ƒ™ ( ๏ƒ˜ Q) are logically equivalent , so we write ๏ƒ˜ (P ๏ƒš Q) ๏ƒ› ( ๏ƒ˜ P) ๏ƒ™ ( ๏ƒ˜ Q). P Q ๏ƒ˜ (P ๏ƒš Q) ( ๏ƒ˜ P) ๏ƒ™ ( ๏ƒ˜ Q) ๏ƒ˜ (P ๏ƒš Q) ๏‚ซ ( ๏ƒ˜ P) ๏ƒ™ ( ๏ƒ˜ Q) true true false false true true false false false true false true false false true false false true true true
  • 2. SET THEORY MTK3013 DISCRETE MATHMATICS
  • 3.
  • 4.
  • 5.
  • 6.
  • 7. Examples for Sets We are now able to define the set of rational numbers Q: Q = {a/b | a ๏ƒŽ Z ๏ƒ™ b ๏ƒŽ Z + } or Q = {a/b | a ๏ƒŽ Z ๏ƒ™ b ๏ƒŽ Z ๏ƒ™ b ๏‚น 0} And how about the set of real numbers R? R = {r | r is a real number} That is the best we can do.
  • 8. Subsets A ๏ƒ B โ€œA is a subset of Bโ€ A ๏ƒ B if and only if every element of A is also an element of B. We can completely formalize this: A ๏ƒ B ๏ƒ› ๏€ข x (x ๏ƒŽ A ๏‚ฎ x ๏ƒŽ B) Examples: A = {3, 9}, B = {5, 9, 1, 3}, A ๏ƒ B ? true A = {3, 3, 3, 9}, B = {5, 9, 1, 3}, A ๏ƒ B ? false true A = {1, 2, 3}, B = {2, 3, 4}, A ๏ƒ B ?
  • 9.
  • 10.
  • 11. Cardinality of Sets If a set S contains n distinct elements, n ๏ƒŽ N , we call S a finite set with cardinality n . Examples: A = {Mercedes, BMW, Porsche}, |A| = 3 B = {1, {2, 3}, {4, 5}, 6} |B| = 4 C = ๏ƒ† |C| = 0 D = { x๏ƒŽ N | x ๏‚ฃ 7000 } |D| = 7001 E = { x๏ƒŽ N | x ๏‚ณ 7000 } E is infinite!
  • 12. The Power Set 2 A or P(A) โ€œpower set of Aโ€ 2 A = {B | B ๏ƒ A} (contains all subsets of A) Examples: A = {x, y, z} 2 A = { ๏ƒ† , {x}, {y}, {z}, {x, y}, {x, z}, {y, z}, {x, y, z}} A = ๏ƒ† 2 A = { ๏ƒ† } Note: |A| = 0, |2 A | = 1
  • 13.
  • 14. Cartesian Product The ordered n-tuple (a 1 , a 2 , a 3 , โ€ฆ, a n ) is an ordered collection of objects. Two ordered n-tuples (a 1 , a 2 , a 3 , โ€ฆ, a n ) and (b 1 , b 2 , b 3 , โ€ฆ, b n ) are equal if and only if they contain exactly the same elements in the same order , i.e. a i = b i for 1 ๏‚ฃ i ๏‚ฃ n. The Cartesian product of two sets is defined as: A ๏‚ด B = {(a, b) | a ๏ƒŽ A ๏ƒ™ b ๏ƒŽ B} Example: A = {x, y}, B = {a, b, c} A ๏‚ด B = {(x, a), (x, b), (x, c), (y, a), (y, b), (y, c)}
  • 15.
  • 16. Set Operations Union: A ๏ƒˆ B = {x | x ๏ƒŽ A ๏ƒš x ๏ƒŽ B} Example: A = {a, b}, B = {b, c, d} A ๏ƒˆ B = {a, b, c, d} Intersection: A ๏ƒ‡ B = {x | x ๏ƒŽ A ๏ƒ™ x ๏ƒŽ B} Example: A = {a, b}, B = {b, c, d} A ๏ƒ‡ B = {b}
  • 17. Set Operations Two sets are called disjoint if their intersection is empty, that is, they share no elements: A ๏ƒ‡ B = ๏ƒ† The difference between two sets A and B contains exactly those elements of A that are not in B: A-B = {x | x ๏ƒŽ A ๏ƒ™ x ๏ƒ B} Example: A = {a, b}, B = {b, c, d}, A-B = {a}
  • 18. Set Operations The complement of a set A contains exactly those elements under consideration that are not in A: -A = U-A Example: U = N , B = {250, 251, 252, โ€ฆ} -B = {0, 1, 2, โ€ฆ, 248, 249}
  • 19.
  • 20. Set Operations Method II: Membership table 1 means โ€œx is an element of this setโ€ 0 means โ€œx is not an element of this setโ€ A B C B ๏ƒ‡ C A ๏ƒˆ (B ๏ƒ‡ C) A ๏ƒˆ B A ๏ƒˆ C (A ๏ƒˆ B) ๏ƒ‡ (A ๏ƒˆ C) 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1
  • 21. Set Operations Take-home message: Every logical expression can be transformed into an equivalent expression in set theory and vice versa.
  • 22. Exercises Question 1: Given a set A = {x, y, z} and a set B = {1, 2, 3, 4}, what is the value of | 2 A ๏‚ด 2 B | ? Question 2: Is it true for all sets A and B that (A ๏‚ด B) ๏ƒ‡ (B ๏‚ด A) = ๏ƒ† ? Or do A and B have to meet certain conditions? Question 3: For any two sets A and B, if A โ€“ B = ๏ƒ† and B โ€“ A = ๏ƒ† , can we conclude that A = B? Why or why not?
  • 24. Functions A function f from a set A to a set B is an assignment of exactly one element of B to each element of A. We write f(a) = b if b is the unique element of B assigned by the function f to the element a of A. If f is a function from A to B, we write f: A ๏‚ฎ B (note: Here, โ€œ ๏‚ฎ โ€œ has nothing to do with ifโ€ฆ then)
  • 25. Functions If f:A ๏‚ฎ B, we say that A is the domain of f and B is the codomain of f. If f(a) = b, we say that b is the image of a and a is the pre-image of b. The range of f:A ๏‚ฎ B is the set of all images of elements of A. We say that f:A ๏‚ฎ B maps A to B.
  • 26. Functions Let us take a look at the function f:P ๏‚ฎ C with P = {Linda, Max, Kathy, Peter} C = {Boston, New York, Hong Kong, Moscow} f(Linda) = Moscow f(Max) = Boston f(Kathy) = Hong Kong f(Peter) = New York Here, the range of f is C.
  • 27. Functions Let us re-specify f as follows: f(Linda) = Moscow f(Max) = Boston f(Kathy) = Hong Kong f(Peter) = Boston Is f still a function? {Moscow, Boston, Hong Kong} What is its range?
  • 28. Functions Other ways to represent f: x f(x) Linda Moscow Max Boston Kathy Hong Kong Peter Boston Linda Max Kathy Peter Boston New York Hong Kong Moscow
  • 29. Functions If the domain of our function f is large, it is convenient to specify f with a formula , e.g.: f: R ๏‚ฎ R f(x) = 2x This leads to: f(1) = 2 f(3) = 6 f(-3) = -6 โ€ฆ
  • 30. Functions Let f 1 and f 2 be functions from A to R . Then the sum and the product of f 1 and f 2 are also functions from A to R defined by: (f 1 + f 2 )(x) = f 1 (x) + f 2 (x) (f 1 f 2 )(x) = f 1 (x) f 2 (x) Example: f 1 (x) = 3x, f 2 (x) = x + 5 (f 1 + f 2 )(x) = f 1 (x) + f 2 (x) = 3x + x + 5 = 4x + 5 (f 1 f 2 )(x) = f 1 (x) f 2 (x) = 3x (x + 5) = 3x 2 + 15x