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

2.2 Set Operations
2.2 Set Operations2.2 Set Operations
2.2 Set Operations
showslidedump
ย 
Set theory and relation
Set theory and relationSet theory and relation
Set theory and relation
ankush_kumar
ย 
Relation function
Relation functionRelation function
Relation function
Biswa Nayak
ย 
Math task 3
Math task 3Math task 3
Math task 3
blackbox90s
ย 
Problem Set 1
Problem Set 1Problem Set 1
Problem Set 1
David Rogers
ย 

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

SET THEORY
SET THEORYSET THEORY
SET THEORY
Lena
ย 
POWERPOINT (SETS & FUNCTIONS).pdf
POWERPOINT (SETS & FUNCTIONS).pdfPOWERPOINT (SETS & FUNCTIONS).pdf
POWERPOINT (SETS & FUNCTIONS).pdf
MaryAnnBatac1
ย 
SETS - Vedantu.pdf
SETS - Vedantu.pdfSETS - Vedantu.pdf
SETS - Vedantu.pdf
AneeshRenu
ย 
Ch1 sets and_logic(1)
Ch1 sets and_logic(1)Ch1 sets and_logic(1)
Ch1 sets and_logic(1)
Kwonpyo Ko
ย 

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

Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
ZurliaSoop
ย 
80 ฤแป€ THI THแปฌ TUYแป‚N SINH TIแบพNG ANH Vร€O 10 Sแปž GD โ€“ ฤT THร€NH PHแป Hแป’ CHร MINH Nฤ‚...
80 ฤแป€ THI THแปฌ TUYแป‚N SINH TIแบพNG ANH Vร€O 10 Sแปž GD โ€“ ฤT THร€NH PHแป Hแป’ CHร MINH Nฤ‚...80 ฤแป€ THI THแปฌ TUYแป‚N SINH TIแบพNG ANH Vร€O 10 Sแปž GD โ€“ ฤT THร€NH PHแป Hแป’ CHร MINH Nฤ‚...
80 ฤแป€ THI THแปฌ TUYแป‚N SINH TIแบพNG ANH Vร€O 10 Sแปž GD โ€“ ฤT THร€NH PHแป Hแป’ CHร MINH Nฤ‚...
Nguyen Thanh Tu Collection
ย 
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
KarakKing
ย 

Recently uploaded (20)

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
ย 
Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
Jual Obat Aborsi Hongkong ( Asli No.1 ) 085657271886 Obat Penggugur Kandungan...
ย 
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdfUGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
ย 
Understanding Accommodations and Modifications
Understanding  Accommodations and ModificationsUnderstanding  Accommodations and Modifications
Understanding Accommodations and Modifications
ย 
Unit 3 Emotional Intelligence and Spiritual Intelligence.pdf
Unit 3 Emotional Intelligence and Spiritual Intelligence.pdfUnit 3 Emotional Intelligence and Spiritual Intelligence.pdf
Unit 3 Emotional Intelligence and Spiritual Intelligence.pdf
ย 
Graduate Outcomes Presentation Slides - English
Graduate Outcomes Presentation Slides - EnglishGraduate Outcomes Presentation Slides - English
Graduate Outcomes Presentation Slides - English
ย 
80 ฤแป€ THI THแปฌ TUYแป‚N SINH TIแบพNG ANH Vร€O 10 Sแปž GD โ€“ ฤT THร€NH PHแป Hแป’ CHร MINH Nฤ‚...
80 ฤแป€ THI THแปฌ TUYแป‚N SINH TIแบพNG ANH Vร€O 10 Sแปž GD โ€“ ฤT THร€NH PHแป Hแป’ CHร MINH Nฤ‚...80 ฤแป€ THI THแปฌ TUYแป‚N SINH TIแบพNG ANH Vร€O 10 Sแปž GD โ€“ ฤT THร€NH PHแป Hแป’ CHร MINH Nฤ‚...
80 ฤแป€ THI THแปฌ TUYแป‚N SINH TIแบพNG ANH Vร€O 10 Sแปž GD โ€“ ฤT THร€NH PHแป Hแป’ CHร MINH Nฤ‚...
ย 
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
ย 
Exploring_the_Narrative_Style_of_Amitav_Ghoshs_Gun_Island.pptx
Exploring_the_Narrative_Style_of_Amitav_Ghoshs_Gun_Island.pptxExploring_the_Narrative_Style_of_Amitav_Ghoshs_Gun_Island.pptx
Exploring_the_Narrative_Style_of_Amitav_Ghoshs_Gun_Island.pptx
ย 
Single or Multiple melodic lines structure
Single or Multiple melodic lines structureSingle or Multiple melodic lines structure
Single or Multiple melodic lines structure
ย 
FSB Advising Checklist - Orientation 2024
FSB Advising Checklist - Orientation 2024FSB Advising Checklist - Orientation 2024
FSB Advising Checklist - Orientation 2024
ย 
Jamworks pilot and AI at Jisc (20/03/2024)
Jamworks pilot and AI at Jisc (20/03/2024)Jamworks pilot and AI at Jisc (20/03/2024)
Jamworks pilot and AI at Jisc (20/03/2024)
ย 
Wellbeing inclusion and digital dystopias.pptx
Wellbeing inclusion and digital dystopias.pptxWellbeing inclusion and digital dystopias.pptx
Wellbeing inclusion and digital dystopias.pptx
ย 
NO1 Top Black Magic Specialist In Lahore Black magic In Pakistan Kala Ilam Ex...
NO1 Top Black Magic Specialist In Lahore Black magic In Pakistan Kala Ilam Ex...NO1 Top Black Magic Specialist In Lahore Black magic In Pakistan Kala Ilam Ex...
NO1 Top Black Magic Specialist In Lahore Black magic In Pakistan Kala Ilam Ex...
ย 
How to Add New Custom Addons Path in Odoo 17
How to Add New Custom Addons Path in Odoo 17How to Add New Custom Addons Path in Odoo 17
How to Add New Custom Addons Path in Odoo 17
ย 
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
ย 
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptxBasic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
ย 
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptxHMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
HMCS Vancouver Pre-Deployment Brief - May 2024 (Web Version).pptx
ย 
Fostering Friendships - Enhancing Social Bonds in the Classroom
Fostering Friendships - Enhancing Social Bonds  in the ClassroomFostering Friendships - Enhancing Social Bonds  in the Classroom
Fostering Friendships - Enhancing Social Bonds in the Classroom
ย 
SOC 101 Demonstration of Learning Presentation
SOC 101 Demonstration of Learning PresentationSOC 101 Demonstration of Learning Presentation
SOC 101 Demonstration of Learning Presentation
ย 

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