Download as pdf or txt
Download as pdf or txt
You are on page 1of 1

HANDOUT FOR DISCRETE STRUCTURES Let us have A = {1,2,3} and B = {1,2,3,4,5} since

elements 1, 2, and 3 of set A are also present in set B


we can therefore say that “A is a subset of B” or A  B.
A set is a mathematical representation of a
collection of distinct objects (elements) that are
grouped in a particular manner. A superset is a set that contains all the elements of
another set with additional elements.
An element refers to the individual object that
Let A = { 1, 2, 3} and B = {1, 2, 3, 4, 5} from these values
composes a set.
we can say that “B is a superset of A” or B  A since
Z = {10, 20, 30, 40, 50} is read as “Z containing the set B has all the elements of set A.
elements 10, 20, 30, 40, and 50”.
10, 30, 40 ∈ Z is a notation that uses the Greek letter The power set is the collection of all possible
epsilon (∈) can be read as “10, 30, and 40 are element subsets of a given set including the empty set (∅) and
of Z”. the set itself.
m ∉ B is a notation that can be read as “m is not an
element of B”.
The Cartesian Product refers to the set of all
possible ordered pairs where the first element of the
The cardinality of a set is a measure of a set's size, pair is from set A and the second element is from set
meaning the number of elements in the set. B.
For instance, the set A = {10, 20, 30} has a cardinality of
3, |A| = 3, for there are three elements that are in it. MATHEMATICAL STATEMENTS

SPECIAL SETS A statement is any declarative sentence which is


▪ Empty Set (∅) either true or false.
Is a set that contains no elements at all. It is Atomic Statement refers to a statement that is too
denoted by the symbol ∅ to represent the absence elementary that it cannot be divided into smaller
of elements. statements,
▪ Set of Natural Numbers (ℕ) Molecular Statement are statements that are
Is a that set that includes all positive whole composed of two or more statements that are joined
numbers, starting from 1 and continuing infinitely. by logical connectives.
▪ Set of Integers (ℤ)
Is a set that encompasses all whole numbers, LOGICAL CONNECTIVES
including positive, negative, and zero. ▪ P  Q is read “P AND Q” and called a Conjunction
• P  Q is read “P OR Q” and called a Disjunction.
▪ Set of Rational Numbers (ℚ)
▪ P → Q is read “if P then Q” and called an
Is a set that comprises all numbers that can be
Implication.
expressed as a fraction where the numerator and
denominator are integers (excluding zero in the • P  Q is read “P if and only if Q” and called a
denominator). Biconditional.
•  P is read “NOT P” and called a Negation.
▪ Set of Real Numbers (ℝ)
Is set incorporates all numbers with decimal TRUTH VALUES FOR LOGICAL CONNECTIVES
points. ▪ P  Q is TRUE when both P and Q are TRUE
• P  Q is TRUE when either P or Q is TRUE or both
OPERATIONS ON SETS ▪ P → Q is TRUE when:
▪ Union of Sets (∪) • P is FALSE
Is an operation that combines all the elements of • Q is TRUE
both sets, removing its duplicates. • P is FALSE and Q is TRUE
▪ Intersection of Sets (∪) • P  Q is TRUE when:
Is an operation that lists down all the elements • P and Q are both TRUE
that are present in both sets. • P and Q are both false.
•  P is TRUE when P is FALSE
▪ Difference of Sets (–)
Is an operation that list down all the elements that
The inverse of an implication P → Q is the implication
are present in the one set but not in the other set.
 P →  Q.
▪ Complement of Sets (C)
Is an operation that determine elements that are The converse of an implication P → Q is the
not in the given set but belong to the universal set implication Q → P.

SUBSETS AND POWERSETS The contrapositive of an implication P → Q is the


implication  Q→  P.
A set can be considered as a subset if and only if all
its elements are elements of another set.

You might also like