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
 
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
 
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
 
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
 

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

Class 11th Physics NEET formula sheet pdf
Class 11th Physics NEET formula sheet pdfClass 11th Physics NEET formula sheet pdf
Class 11th Physics NEET formula sheet pdfAyushMahapatra5
 
Beyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global ImpactBeyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global ImpactPECB
 
PROCESS RECORDING FORMAT.docx
PROCESS      RECORDING        FORMAT.docxPROCESS      RECORDING        FORMAT.docx
PROCESS RECORDING FORMAT.docxPoojaSen20
 
On National Teacher Day, meet the 2024-25 Kenan Fellows
On National Teacher Day, meet the 2024-25 Kenan FellowsOn National Teacher Day, meet the 2024-25 Kenan Fellows
On National Teacher Day, meet the 2024-25 Kenan FellowsMebane Rash
 
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
 
psychiatric nursing HISTORY COLLECTION .docx
psychiatric  nursing HISTORY  COLLECTION  .docxpsychiatric  nursing HISTORY  COLLECTION  .docx
psychiatric nursing HISTORY COLLECTION .docxPoojaSen20
 
Making and Justifying Mathematical Decisions.pdf
Making and Justifying Mathematical Decisions.pdfMaking and Justifying Mathematical Decisions.pdf
Making and Justifying Mathematical Decisions.pdfChris Hunter
 
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
 
Advanced Views - Calendar View in Odoo 17
Advanced Views - Calendar View in Odoo 17Advanced Views - Calendar View in Odoo 17
Advanced Views - Calendar View in Odoo 17Celine George
 
The basics of sentences session 3pptx.pptx
The basics of sentences session 3pptx.pptxThe basics of sentences session 3pptx.pptx
The basics of sentences session 3pptx.pptxheathfieldcps1
 
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...christianmathematics
 
Nutritional Needs Presentation - HLTH 104
Nutritional Needs Presentation - HLTH 104Nutritional Needs Presentation - HLTH 104
Nutritional Needs Presentation - HLTH 104misteraugie
 
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...EduSkills OECD
 
Food Chain and Food Web (Ecosystem) EVS, B. Pharmacy 1st Year, Sem-II
Food Chain and Food Web (Ecosystem) EVS, B. Pharmacy 1st Year, Sem-IIFood Chain and Food Web (Ecosystem) EVS, B. Pharmacy 1st Year, Sem-II
Food Chain and Food Web (Ecosystem) EVS, B. Pharmacy 1st Year, Sem-IIShubhangi Sonawane
 
ComPTIA Overview | Comptia Security+ Book SY0-701
ComPTIA Overview | Comptia Security+ Book SY0-701ComPTIA Overview | Comptia Security+ Book SY0-701
ComPTIA Overview | Comptia Security+ Book SY0-701bronxfugly43
 
Role Of Transgenic Animal In Target Validation-1.pptx
Role Of Transgenic Animal In Target Validation-1.pptxRole Of Transgenic Animal In Target Validation-1.pptx
Role Of Transgenic Animal In Target Validation-1.pptxNikitaBankoti2
 
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
 
Unit-IV- Pharma. Marketing Channels.pptx
Unit-IV- Pharma. Marketing Channels.pptxUnit-IV- Pharma. Marketing Channels.pptx
Unit-IV- Pharma. Marketing Channels.pptxVishalSingh1417
 

Recently uploaded (20)

Class 11th Physics NEET formula sheet pdf
Class 11th Physics NEET formula sheet pdfClass 11th Physics NEET formula sheet pdf
Class 11th Physics NEET formula sheet pdf
 
Beyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global ImpactBeyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global Impact
 
PROCESS RECORDING FORMAT.docx
PROCESS      RECORDING        FORMAT.docxPROCESS      RECORDING        FORMAT.docx
PROCESS RECORDING FORMAT.docx
 
On National Teacher Day, meet the 2024-25 Kenan Fellows
On National Teacher Day, meet the 2024-25 Kenan FellowsOn National Teacher Day, meet the 2024-25 Kenan Fellows
On National Teacher Day, meet the 2024-25 Kenan Fellows
 
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
 
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.
 
psychiatric nursing HISTORY COLLECTION .docx
psychiatric  nursing HISTORY  COLLECTION  .docxpsychiatric  nursing HISTORY  COLLECTION  .docx
psychiatric nursing HISTORY COLLECTION .docx
 
Making and Justifying Mathematical Decisions.pdf
Making and Justifying Mathematical Decisions.pdfMaking and Justifying Mathematical Decisions.pdf
Making and Justifying Mathematical Decisions.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.
 
Advanced Views - Calendar View in Odoo 17
Advanced Views - Calendar View in Odoo 17Advanced Views - Calendar View in Odoo 17
Advanced Views - Calendar View in Odoo 17
 
Asian American Pacific Islander Month DDSD 2024.pptx
Asian American Pacific Islander Month DDSD 2024.pptxAsian American Pacific Islander Month DDSD 2024.pptx
Asian American Pacific Islander Month DDSD 2024.pptx
 
The basics of sentences session 3pptx.pptx
The basics of sentences session 3pptx.pptxThe basics of sentences session 3pptx.pptx
The basics of sentences session 3pptx.pptx
 
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
 
Nutritional Needs Presentation - HLTH 104
Nutritional Needs Presentation - HLTH 104Nutritional Needs Presentation - HLTH 104
Nutritional Needs Presentation - HLTH 104
 
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
 
Food Chain and Food Web (Ecosystem) EVS, B. Pharmacy 1st Year, Sem-II
Food Chain and Food Web (Ecosystem) EVS, B. Pharmacy 1st Year, Sem-IIFood Chain and Food Web (Ecosystem) EVS, B. Pharmacy 1st Year, Sem-II
Food Chain and Food Web (Ecosystem) EVS, B. Pharmacy 1st Year, Sem-II
 
ComPTIA Overview | Comptia Security+ Book SY0-701
ComPTIA Overview | Comptia Security+ Book SY0-701ComPTIA Overview | Comptia Security+ Book SY0-701
ComPTIA Overview | Comptia Security+ Book SY0-701
 
Role Of Transgenic Animal In Target Validation-1.pptx
Role Of Transgenic Animal In Target Validation-1.pptxRole Of Transgenic Animal In Target Validation-1.pptx
Role Of Transgenic Animal In Target Validation-1.pptx
 
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
 
Unit-IV- Pharma. Marketing Channels.pptx
Unit-IV- Pharma. Marketing Channels.pptxUnit-IV- Pharma. Marketing Channels.pptx
Unit-IV- Pharma. Marketing Channels.pptx
 

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