Lesson 1
Lesson 1
WHAT IS LOGIC?
The term "logic" came from the Greek word logos, which is sometimes translated as
"sentence", "discourse", "reason", "rule", and "ratio".
Define logic as the study of the principles of correct reasoning. This is a rough
definition, because how logic should be properly defined is actually quite a controversial
matter. In logic, we study the rules and techniques that allow us to distinguish good,
correct reasoning from bad, incorrect reasoning. A logic is just a set of rules and
techniques for distinguishing good reasoning from bad. A logic must formulate precise
standards for evaluating reasoning and develop methods for applying those standards
to particular instances.
Georg Cantor, in full Georg Ferdinand Ludwig Philipp Cantor, (born March 3, 1845, St.
Petersburg, Russia—died January 6, 1918, Halle, Germany), German mathematician
who founded set theory and introduced the mathematically
meaningful concept of transfinite numbers, indefinitely large but distinct from one
another. He had defined a set as a collection of definite and distinguishable objects
selected by the means of certain rules or description.
A set is defined as a collection of distinct objects of the same type or class of objects.
The purposes of a set are called elements or members of the set. An object can be
numbers, alphabets, names, etc.
a. A set of vowels.
b. A set of all positive integers
c. A set of all the planets in the solar system
d. A set of all the states in India
e. A set of all the lowercase letters of the alphabet
We broadly denote a set by the capital letter A, B, C, etc. while the fundamentals of the
set by small letter a, b, x, y, etc.
Sets Representation
a) Roster or tabular form: In this form of representation we list all the elements of the
set within braces { } and separate them by commas.
Example: If A= set of all odd numbers less then 10 then in the roster from it can be
expressed as A={ 1,3,5,7,9}.
b) Set Builder form: In this form of representation we list the properties fulfilled by all
the elements of the set. We note as {x: x satisfies properties P}. and read as 'the set of
those entire x such that each x has properties P.'
Example: If B= {2, 4, 8, 16, 32}, then the set builder representation will be: B={x:
x=2n, where n ∈ N and 1≤ n ≥5}
Standard Notations:
∅ Empty Set.
U Universal Set.
Other Notations
{} set
A∪B A union B
A∩B A intersection B
A⊆B A is subset of B
A⊇B superset
Ø empty set
Ac Complement of A
a∈B a element of B
CARDINALITY OF A SETS:
The total number of unique elements in the set is called the cardinality of the set. The
cardinality of the countably infinite set is countably infinite.
Examples:
1. Let P = {k, l, m, n}
The cardinality of the set P is 4.
TYPES OF SETS
Sets can be classified into many categories. Some of which are finite, infinite, subset,
universal, proper, power, singleton set, etc.
1. Finite Sets: A set is said to be finite if it contains exactly n distinct element where n
is a non-negative integer. Here, n is said to be "cardinality of sets." The cardinality of
sets is denoted by|A|, # A, card (A) or n (A).
Example:
a) Cardinality of empty set θ is 0 and is denoted by |θ| = 0
b) Sets of even positive integer is not a finite set.
A set is called a finite set if there is one to one correspondence between the elements in
the set and the element in some set n, where n is a natural number and n is the
cardinality of the set. Finite Sets are also called numerable sets. n is termed as the
cardinality of sets or a cardinal number of sets.
Properties of Subsets:
Example:
A is a proper subset of B.
Example
(i) A = {2, 3, 4}, B = {2, 3, 4}
A is an improper subset of B.
6. Universal Set: If all the sets under investigations are subsets of a fixed set U, then
the set U is called Universal Set.
Example: In the human population studies the universal set consists of all the people
in the world.
7. Null Set or Empty Set: A set having no elements is called a Null set or void set. It
is denoted by∅.
9. Equal Sets: Two sets A and B are said to be equal and written as A = B if both have
the same elements. Therefore, every element which belongs to A is also an element of
the set B and every element which belongs to the set B is also an element of the set A.
A = B ⟺ {x ϵ A ⟺ x ϵ B}.
If there is some element in set A that does not belong to set B or vice versa then A ≠ B,
i.e., A is not equal to B.
10. Equivalent Sets: If the cardinalities of two sets are equal, they are called
equivalent sets.
Example: If A= {1, 2, 6} and B= {16, 17, 22}, they are equivalent as cardinality of A
is equal to the cardinality of B. i.e. |A|=|B|=3
11. Disjoint Sets: Two sets A and B are said to be disjoint if no element of A is in B
and no element of B is in A.
Example:
R = {a, b, c}
S = {k, p, m}
12. Power Sets: The power of any given set A is the set of all subsets of A and is
denoted by P (A). If A has n elements, then P (A) has 2n elements.
Example: A = {1, 2, 3}
P (A) = {∅, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}.
Partitions of a Set:
Let S be a nonempty set. A partition of S is a subdivision of S into nonoverlapping,
nonempty subsets. Specifically, a partition of S is a collection {Ai} of nonempty subsets
of S such that:
Fig: Venn diagram of a partition of the rectangular set S of points into five cells,
A1,A2,A3,A4,A5
Venn Diagrams:
Venn diagram is a pictorial representation of sets in which an enclosed area in the plane
represents sets.
Examples:
Operations on Sets
1. Union of Sets: Union of Sets A and B is defined to be the set of all those elements
which belong to A or B or both and is denoted by A∪B.
A∪B = {x: x ∈ A or x ∈ B}
Example: Let A = {1, 2, 3}, B= {3, 4, 5, 6}
A∪B = {1, 2, 3, 4, 5, 6}
2. Intersection of Sets: Intersection of two sets A and B is the set of all those
elements which belong to both A and B and is denoted by A ∩ B.
A ∩ B = {x: x ∈ A and x ∈ B}
3. Difference of Sets: The difference of two sets A and B is a set of all those elements
which belongs to A but do not belong to B and is denoted by A - B.
A - B = {x: x ∈ A and x ∉ B}
Example:
5. Symmetric Difference of Sets: The symmetric difference of two sets A and B is the
set containing all the elements that are in A or B but not in both and is denoted by A ⨁
B i.e.
A ⨁ B = (A ∪ B) - (A ∩ B)
The Cartesian Product of two sets p and q in that order is the set of all ordered pairs
whose first member belongs to the set p and second member belong to set q and is
denoted by p x q, i.e.,
Multisets
Example:
A = {l, l, m, m, n, n, n, n}
B = {a, a, a, a, a, c}
OPERATIONS ON MULTISETS
1. Union of Multisets: The Union of two multisets A and B is a multiset such that the
multiplicity of an element is equal to the maximum of the multiplicity of an element in A
and B and is denoted by A ∪ B.
Example:
Let A = {l, l, m, m, n, n, n, n}
B = {l, m, m, m, n},
A ∪ B = {l, l, m, m, m, n, n, n, n}
Example:
Let A = {l, l, m, n, p, q, q, r}
B = {l, m, m, p, q, r, r, r, r}
A ∩ B = {l, m, p, q, r}.
Example:
Let A = {l, m, m, m, n, n, n, p, p, p}
B = {l, m, m, m, n, r, r, r}
A - B = {n, n, p, p, p}
4. Sum of Multisets: The sum of two multisets A and B, is a multiset such that the
multiplicity of an element is equal to the sum of the multiplicity of an element in A and
B
Example:
Let A = {l, m, n, p, r}
B = {l, l, m, n, n, n, p, r, r}
A + B = {l, l, l, m, m, n, n, n, n, p, p, r, r, r}
Example:
A = {l, l, m, m, n, n, n, p, p, p, p, q, q, q}
Ordered Set
Example:
Roll no {3, 6, 7, 8, 9}
Week Days {S, M, T, W, W, TH, F, S, S}
Domain of Relation: The Domain of relation R is the set of elements in P which are
related to some elements in Q, or it is the set of all first entries of the ordered pairs in
R. It is denoted by DOM (R).
Range of Relation: The range of relation R is the set of elements in Q which are
related to some element in P, or it is the set of all second entries of the ordered pairs in
R. It is denoted by RAN (R).
Example:
Let A = {1, 2, 3, 4}
B = {a, b, c, d}
R = {(1, a), (1, b), (1, c), (2, b), (2, c), (2, d)}.
Solution:
Example:
Solution:
X x Y = {(1, 8), (2, 8), (3, 8), (1, 9), (2, 9), (3, 9)}
Representation of Relations
Mij = 0 if (ai,bj) ∉ R
1 if (ai,bj )∈ R
Example
Example
A = {1, 2, 3, 4}
R = {(1, 2) (2, 2) (2, 4) (3, 2) (3, 4) (4, 1) (4, 3)}
3. Relation as an Arrow Diagram: If P and Q are finite sets and R is a relation from P
to Q. Relation R can be represented as an arrow diagram as follows.
Draw two ellipses for the sets P and Q. Write down the elements of P and elements of Q
column-wise in three ellipses. Then draw an arrow from the first ellipse to the second
ellipse if a is related to b and a ∈ P and b ∈ Q.
Example
Let P = {1, 2, 3, 4}
Q = {a, b, c, d}
R = {(1, a), (2, a), (3, a), (1, b), (4, b), (4, c), (4, d)
Example
Let P = {1, 2, 3, 4}
Q = {x, y, z, k}
R = {(1, x), (1, y), (2, z), (3, z), (4, k)}.
Types of Relations
Example: If A = {1, 2, 3, 4} then R = {(1, 1) (2, 2), (1, 3), (2, 4), (3, 3), (3, 4), (4,
4)}. Is a relation reflexive?
Solution: The relation is reflexive as for every a ∈ A. (a, a) ∈ R, i.e. (1, 1), (2, 2), (3,
3), (4, 4) ∈ R.
Example: Let A = {1, 2, 3} and R = {(1, 2), (2, 2), (3, 1), (1, 3)}. Is the relation R
reflexive or irreflexive?
Solution: The relation R is not reflexive as for every a ∈ A, (a, a) ∉ R, i.e., (1, 1) and
(3, 3) ∉ R. The relation R is not irreflexive as (a, a) ∉ R, for some a ∈ A, i.e., (2, 2) ∈ R.
Example: Let A = {1, 2, 3} and R = {(1, 1), (2, 2), (1, 2), (2, 1), (2, 3), (3, 2)}. Is a
relation R symmetric or not?
Solution: The relation is symmetric as for every (a, b) ∈ R, we have (b, a) ∈ R, i.e., (1,
2), (2, 1), (2, 3), (3, 2) ∈ R but not reflexive because (3, 3) ∉ R.
Example1: Let A = {1, 2, 3} and R = {(1, 1), (2, 2)}. Is the relation R antisymmetric?
Solution: The relation R is antisymmetric as a = b when (a, b) and (b, a) both belong
to R.
Example2: Let A = {4, 5, 6} and R = {(4, 4), (4, 5), (5, 4), (5, 6), (4, 6)}. Is the
relation R antisymmetric?
Solution: The relation R is not antisymmetric as 4 ≠ 5 but (4, 5) and (5, 4) both
belong to R.
Example1: Let A = {1, 2, 3} and R = {(1, 2), (2, 1), (1, 1), (2, 2)}. Is the relation
transitive?
Solution: The relation R is transitive as for every (a, b) (b, c) belong to R, we have (a,
c) ∈ R i.e, (1, 2) (2, 1) ∈ R ⇒ (1, 1) ∈ R.