SlideShare a Scribd company logo

Mtk3013 chapter 2-3

1 of 30
Download to read offline
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]

Recommended

sets and venn diagrams
sets and venn diagramssets and venn diagrams
sets and venn diagramsShahmir Ali
 
CMSC 56 | Lecture 6: Sets & Set Operations
CMSC 56 | Lecture 6: Sets & Set OperationsCMSC 56 | Lecture 6: Sets & Set Operations
CMSC 56 | Lecture 6: Sets & Set Operationsallyn joy calcaben
 
Set Operations Topic Including Union , Intersection, Disjoint etc De Morgans ...
Set Operations Topic Including Union , Intersection, Disjoint etc De Morgans ...Set Operations Topic Including Union , Intersection, Disjoint etc De Morgans ...
Set Operations Topic Including Union , Intersection, Disjoint etc De Morgans ...Abu Bakar Soomro
 
CMSC 56 | Lecture 12: Recursive Definition & Algorithms, and Program Correctness
CMSC 56 | Lecture 12: Recursive Definition & Algorithms, and Program CorrectnessCMSC 56 | Lecture 12: Recursive Definition & Algorithms, and Program Correctness
CMSC 56 | Lecture 12: Recursive Definition & Algorithms, and Program Correctnessallyn joy calcaben
 

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
 
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
 
Relation function
Relation functionRelation function
Relation functionBiswa Nayak
 
Set
SetSet
SetH K
 
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
 
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

Mathematics JEE quick revision notes pdf
Mathematics JEE quick revision notes pdfMathematics JEE quick revision notes pdf
Mathematics JEE quick revision notes pdfgowhiksankar54
 
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
 
Unit 01 Sets, relations and functions Eng.doc
Unit 01 Sets, relations and functions Eng.docUnit 01 Sets, relations and functions Eng.doc
Unit 01 Sets, relations and functions Eng.docSTUDY INNOVATIONS
 
SET THEORY
SET THEORYSET THEORY
SET THEORYLena
 
Mathematics-1.Unit 01 Sets, relations and functions
Mathematics-1.Unit 01 Sets, relations and functions Mathematics-1.Unit 01 Sets, relations and functions
Mathematics-1.Unit 01 Sets, relations and functions STUDY INNOVATIONS
 
Unit 01 Sets, relations and functions Eng_watermark-1.pdf
Unit 01 Sets, relations and functions Eng_watermark-1.pdfUnit 01 Sets, relations and functions Eng_watermark-1.pdf
Unit 01 Sets, relations and functions Eng_watermark-1.pdfSTUDY INNOVATIONS
 
Basic concepts on set.pdf
Basic concepts on set.pdfBasic concepts on set.pdf
Basic concepts on set.pdfSmita828451
 
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
 
SETS - Vedantu.pdf
SETS - Vedantu.pdfSETS - Vedantu.pdf
SETS - Vedantu.pdfAneeshRenu
 
mathematical sets.pdf
mathematical sets.pdfmathematical sets.pdf
mathematical sets.pdfJihudumie.Com
 

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
 
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
 
Unit 01 Sets, relations and functions Eng.doc
Unit 01 Sets, relations and functions Eng.docUnit 01 Sets, relations and functions Eng.doc
Unit 01 Sets, relations and functions Eng.doc
 
SET THEORY
SET THEORYSET THEORY
SET THEORY
 
Mathematics-1.Unit 01 Sets, relations and functions
Mathematics-1.Unit 01 Sets, relations and functions Mathematics-1.Unit 01 Sets, relations and functions
Mathematics-1.Unit 01 Sets, relations and functions
 
Unit 01 Sets, relations and functions Eng_watermark-1.pdf
Unit 01 Sets, relations and functions Eng_watermark-1.pdfUnit 01 Sets, relations and functions Eng_watermark-1.pdf
Unit 01 Sets, relations and functions Eng_watermark-1.pdf
 
Basic concepts on set.pdf
Basic concepts on set.pdfBasic concepts on set.pdf
Basic concepts on set.pdf
 
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
 
Set Theory - CSE101 CSE GUB BD
Set Theory - CSE101 CSE GUB BDSet Theory - CSE101 CSE GUB BD
Set Theory - CSE101 CSE GUB BD
 
mathematical sets.pdf
mathematical sets.pdfmathematical sets.pdf
mathematical sets.pdf
 

Recently uploaded

Bilingual notes of Pharmacognosy chapter 4Glycosides, Volatile oils,Tannins,R...
Bilingual notes of Pharmacognosy chapter 4Glycosides, Volatile oils,Tannins,R...Bilingual notes of Pharmacognosy chapter 4Glycosides, Volatile oils,Tannins,R...
Bilingual notes of Pharmacognosy chapter 4Glycosides, Volatile oils,Tannins,R...SUMIT TIWARI
 
Practical Research 1, Lesson 5: DESIGNING A RESEARCH PROJECT RELATED TO DAILY...
Practical Research 1, Lesson 5: DESIGNING A RESEARCH PROJECT RELATED TO DAILY...Practical Research 1, Lesson 5: DESIGNING A RESEARCH PROJECT RELATED TO DAILY...
Practical Research 1, Lesson 5: DESIGNING A RESEARCH PROJECT RELATED TO DAILY...Katherine Villaluna
 
SSC Hindu Religion and Moral Education MCQ Solutions 2024.pdf
SSC Hindu Religion and Moral Education MCQ Solutions 2024.pdfSSC Hindu Religion and Moral Education MCQ Solutions 2024.pdf
SSC Hindu Religion and Moral Education MCQ Solutions 2024.pdfMohonDas
 
A Free eBook ~ Mental Exercise ...Puzzles to Analyze.pdf
A Free eBook ~ Mental Exercise ...Puzzles to Analyze.pdfA Free eBook ~ Mental Exercise ...Puzzles to Analyze.pdf
A Free eBook ~ Mental Exercise ...Puzzles to Analyze.pdfOH TEIK BIN
 
EDL 290F Week 2 - Good Company (2024).pdf
EDL 290F Week 2  - Good Company (2024).pdfEDL 290F Week 2  - Good Company (2024).pdf
EDL 290F Week 2 - Good Company (2024).pdfElizabeth Walsh
 
BBA 603 FUNDAMENTAL OF E- COMMERCE UNIT 1.pptx
BBA 603 FUNDAMENTAL OF E- COMMERCE UNIT 1.pptxBBA 603 FUNDAMENTAL OF E- COMMERCE UNIT 1.pptx
BBA 603 FUNDAMENTAL OF E- COMMERCE UNIT 1.pptxProf. Kanchan Kumari
 
spring_bee_bot_creations_erd primary.pdf
spring_bee_bot_creations_erd primary.pdfspring_bee_bot_creations_erd primary.pdf
spring_bee_bot_creations_erd primary.pdfKonstantina Koutsodimou
 
Diploma 2nd yr PHARMACOLOGY chapter 5 part 1.pdf
Diploma 2nd yr PHARMACOLOGY chapter 5 part 1.pdfDiploma 2nd yr PHARMACOLOGY chapter 5 part 1.pdf
Diploma 2nd yr PHARMACOLOGY chapter 5 part 1.pdfSUMIT TIWARI
 
Kartik Nair In Media Res Media Component
Kartik Nair In Media Res Media ComponentKartik Nair In Media Res Media Component
Kartik Nair In Media Res Media ComponentInMediaRes1
 
Nzinga Kika - The story of the queen
Nzinga Kika    -  The story of the queenNzinga Kika    -  The story of the queen
Nzinga Kika - The story of the queenDeanAmory1
 
11 CI SINIF SINAQLARI - 9-2023-Aynura-Hamidova.pdf
11 CI SINIF SINAQLARI - 9-2023-Aynura-Hamidova.pdf11 CI SINIF SINAQLARI - 9-2023-Aynura-Hamidova.pdf
11 CI SINIF SINAQLARI - 9-2023-Aynura-Hamidova.pdfAynouraHamidova
 
11 CI SINIF SINAQLARI - 10-2023-Aynura-Hamidova.pdf
11 CI SINIF SINAQLARI - 10-2023-Aynura-Hamidova.pdf11 CI SINIF SINAQLARI - 10-2023-Aynura-Hamidova.pdf
11 CI SINIF SINAQLARI - 10-2023-Aynura-Hamidova.pdfAynouraHamidova
 
Dr.M.Florence Dayana-Cloud Computing-Unit - 1.pdf
Dr.M.Florence Dayana-Cloud Computing-Unit - 1.pdfDr.M.Florence Dayana-Cloud Computing-Unit - 1.pdf
Dr.M.Florence Dayana-Cloud Computing-Unit - 1.pdfDr.Florence Dayana
 
Decision on Curriculum Change Path: Towards Standards-Based Curriculum in Ghana
Decision on Curriculum Change Path: Towards Standards-Based Curriculum in GhanaDecision on Curriculum Change Path: Towards Standards-Based Curriculum in Ghana
Decision on Curriculum Change Path: Towards Standards-Based Curriculum in GhanaPrince Armah, PhD
 
MEC MAJUBA SADDENED BY THE PASSING AWAY OF THREE TEACHERS FOLLOWING A CAR ACC...
MEC MAJUBA SADDENED BY THE PASSING AWAY OF THREE TEACHERS FOLLOWING A CAR ACC...MEC MAJUBA SADDENED BY THE PASSING AWAY OF THREE TEACHERS FOLLOWING A CAR ACC...
MEC MAJUBA SADDENED BY THE PASSING AWAY OF THREE TEACHERS FOLLOWING A CAR ACC...SABC News
 
A LABORATORY MANUAL FOR ORGANIC CHEMISTRY.pdf
A LABORATORY MANUAL FOR ORGANIC CHEMISTRY.pdfA LABORATORY MANUAL FOR ORGANIC CHEMISTRY.pdf
A LABORATORY MANUAL FOR ORGANIC CHEMISTRY.pdfDr.M.Geethavani
 
Managing Choice, Coherence and Specialisation in Upper Secondary Education - ...
Managing Choice, Coherence and Specialisation in Upper Secondary Education - ...Managing Choice, Coherence and Specialisation in Upper Secondary Education - ...
Managing Choice, Coherence and Specialisation in Upper Secondary Education - ...EduSkills OECD
 
Enhancing MRD Testing in Hematologic Malignancies: When Negativity is a Posit...
Enhancing MRD Testing in Hematologic Malignancies: When Negativity is a Posit...Enhancing MRD Testing in Hematologic Malignancies: When Negativity is a Posit...
Enhancing MRD Testing in Hematologic Malignancies: When Negativity is a Posit...i3 Health
 
Successful projects and failed programmes – the cost of not designing the who...
Successful projects and failed programmes – the cost of not designing the who...Successful projects and failed programmes – the cost of not designing the who...
Successful projects and failed programmes – the cost of not designing the who...Association for Project Management
 

Recently uploaded (20)

Bilingual notes of Pharmacognosy chapter 4Glycosides, Volatile oils,Tannins,R...
Bilingual notes of Pharmacognosy chapter 4Glycosides, Volatile oils,Tannins,R...Bilingual notes of Pharmacognosy chapter 4Glycosides, Volatile oils,Tannins,R...
Bilingual notes of Pharmacognosy chapter 4Glycosides, Volatile oils,Tannins,R...
 
Practical Research 1, Lesson 5: DESIGNING A RESEARCH PROJECT RELATED TO DAILY...
Practical Research 1, Lesson 5: DESIGNING A RESEARCH PROJECT RELATED TO DAILY...Practical Research 1, Lesson 5: DESIGNING A RESEARCH PROJECT RELATED TO DAILY...
Practical Research 1, Lesson 5: DESIGNING A RESEARCH PROJECT RELATED TO DAILY...
 
SSC Hindu Religion and Moral Education MCQ Solutions 2024.pdf
SSC Hindu Religion and Moral Education MCQ Solutions 2024.pdfSSC Hindu Religion and Moral Education MCQ Solutions 2024.pdf
SSC Hindu Religion and Moral Education MCQ Solutions 2024.pdf
 
A Free eBook ~ Mental Exercise ...Puzzles to Analyze.pdf
A Free eBook ~ Mental Exercise ...Puzzles to Analyze.pdfA Free eBook ~ Mental Exercise ...Puzzles to Analyze.pdf
A Free eBook ~ Mental Exercise ...Puzzles to Analyze.pdf
 
EDL 290F Week 2 - Good Company (2024).pdf
EDL 290F Week 2  - Good Company (2024).pdfEDL 290F Week 2  - Good Company (2024).pdf
EDL 290F Week 2 - Good Company (2024).pdf
 
BBA 603 FUNDAMENTAL OF E- COMMERCE UNIT 1.pptx
BBA 603 FUNDAMENTAL OF E- COMMERCE UNIT 1.pptxBBA 603 FUNDAMENTAL OF E- COMMERCE UNIT 1.pptx
BBA 603 FUNDAMENTAL OF E- COMMERCE UNIT 1.pptx
 
spring_bee_bot_creations_erd primary.pdf
spring_bee_bot_creations_erd primary.pdfspring_bee_bot_creations_erd primary.pdf
spring_bee_bot_creations_erd primary.pdf
 
Diploma 2nd yr PHARMACOLOGY chapter 5 part 1.pdf
Diploma 2nd yr PHARMACOLOGY chapter 5 part 1.pdfDiploma 2nd yr PHARMACOLOGY chapter 5 part 1.pdf
Diploma 2nd yr PHARMACOLOGY chapter 5 part 1.pdf
 
Kartik Nair In Media Res Media Component
Kartik Nair In Media Res Media ComponentKartik Nair In Media Res Media Component
Kartik Nair In Media Res Media Component
 
Nzinga Kika - The story of the queen
Nzinga Kika    -  The story of the queenNzinga Kika    -  The story of the queen
Nzinga Kika - The story of the queen
 
11 CI SINIF SINAQLARI - 9-2023-Aynura-Hamidova.pdf
11 CI SINIF SINAQLARI - 9-2023-Aynura-Hamidova.pdf11 CI SINIF SINAQLARI - 9-2023-Aynura-Hamidova.pdf
11 CI SINIF SINAQLARI - 9-2023-Aynura-Hamidova.pdf
 
11 CI SINIF SINAQLARI - 10-2023-Aynura-Hamidova.pdf
11 CI SINIF SINAQLARI - 10-2023-Aynura-Hamidova.pdf11 CI SINIF SINAQLARI - 10-2023-Aynura-Hamidova.pdf
11 CI SINIF SINAQLARI - 10-2023-Aynura-Hamidova.pdf
 
Dr.M.Florence Dayana-Cloud Computing-Unit - 1.pdf
Dr.M.Florence Dayana-Cloud Computing-Unit - 1.pdfDr.M.Florence Dayana-Cloud Computing-Unit - 1.pdf
Dr.M.Florence Dayana-Cloud Computing-Unit - 1.pdf
 
Decision on Curriculum Change Path: Towards Standards-Based Curriculum in Ghana
Decision on Curriculum Change Path: Towards Standards-Based Curriculum in GhanaDecision on Curriculum Change Path: Towards Standards-Based Curriculum in Ghana
Decision on Curriculum Change Path: Towards Standards-Based Curriculum in Ghana
 
MEC MAJUBA SADDENED BY THE PASSING AWAY OF THREE TEACHERS FOLLOWING A CAR ACC...
MEC MAJUBA SADDENED BY THE PASSING AWAY OF THREE TEACHERS FOLLOWING A CAR ACC...MEC MAJUBA SADDENED BY THE PASSING AWAY OF THREE TEACHERS FOLLOWING A CAR ACC...
MEC MAJUBA SADDENED BY THE PASSING AWAY OF THREE TEACHERS FOLLOWING A CAR ACC...
 
Lipids as Biopolymer
Lipids as Biopolymer Lipids as Biopolymer
Lipids as Biopolymer
 
A LABORATORY MANUAL FOR ORGANIC CHEMISTRY.pdf
A LABORATORY MANUAL FOR ORGANIC CHEMISTRY.pdfA LABORATORY MANUAL FOR ORGANIC CHEMISTRY.pdf
A LABORATORY MANUAL FOR ORGANIC CHEMISTRY.pdf
 
Managing Choice, Coherence and Specialisation in Upper Secondary Education - ...
Managing Choice, Coherence and Specialisation in Upper Secondary Education - ...Managing Choice, Coherence and Specialisation in Upper Secondary Education - ...
Managing Choice, Coherence and Specialisation in Upper Secondary Education - ...
 
Enhancing MRD Testing in Hematologic Malignancies: When Negativity is a Posit...
Enhancing MRD Testing in Hematologic Malignancies: When Negativity is a Posit...Enhancing MRD Testing in Hematologic Malignancies: When Negativity is a Posit...
Enhancing MRD Testing in Hematologic Malignancies: When Negativity is a Posit...
 
Successful projects and failed programmes – the cost of not designing the who...
Successful projects and failed programmes – the cost of not designing the who...Successful projects and failed programmes – the cost of not designing the who...
Successful projects and failed programmes – the cost of not designing the who...
 

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