Ch. 1 Basic Logic and Sets Flashcards
Law of Commutativity (statements)
A and B ⇔ B and A
A or B ⇔ B or A
Law of Associativity (statements)
A and (B and C) ⇔ (A and B) and C A or (B or C) ⇔ (A o B) or C
Law of Distributivity (statements)
A and (B or C) ⇔ (A and B) or (A and C) A or (B and C) ⇔ (A or B) and (A or C)
De Morgan’s Laws (statements)
Not (A and B) ⇔ (Not A ) or (Not B)
Not (A or B) ⇔ (Not A) and (Not B)
Definition of a set
Sets are unordered collections of elements, where every element is contained only once
What does X ∩ Y mean?
The intersection of 2 sets - the set of all elements contained in both X and Y
What does X ∪ Y mean?
The union of 2 sets - the set of all elements contained in at least one of X and Y
What does X \ Y mean?
The difference of 2 sets - the set of all elements of X which are not in Y
What does Y ⊆ X mean?
Y is a subset of X - all elements of Y are also elements of X
What does X^c mean?
The complement of X - all the elements outside of X
Law of Commutativity (sets)
X ∪ Y = Y ∪ X
X ∩ Y = Y ∩ X
Law of Associativity (sets)
X ∪ (Y ∪ Z) = (X ∪ Y) ∪ Z
X ∩ (Y ∩ Z) = (X ∩ Y) ∩ Z
Law of Distributivity (sets)
X ∪ (Y ∩ Z) = (X ∪ Y) ∩ (X ∪ Z)
X ∩ (Y ∪ Z) = (X ∩ Y) ∪ (X ∩ Z)
De Morgan’s Laws (sets)
Z \ (X ∪ Y) = (Z \ X) ∩ (Z \ Y)
Method for showing 2 sets, X and Y are equal
- Show that if x ∈ X, then x ∈ Y and if x ∈ Y then x ∈ X
- Or show that x ∈ X iff x ∈ Y (or the other way round)
- Or show that X ⊆ Y and Y ⊆ X