CSE 101: Discrete Mathematics

Md. Solaiman Mia

Assistant Professor
Dept. of CSE
Green University of Bangladesh

1
 Course Evaluation

Topic Marks
Attendance 05
Individual Presentations 10
Class Test (3) 15
Mid Term 30
Final 40

2
 Course Materials

Text Book:
•“Discrete Mathematics and Its Application”, Kenneth H. Rosen, 7th Edition,
McGraw-Hill.
•Lecture notes
Reference Materials:
•“Schaum’s Outlines Discrete Mathematics”, Seymore Lipschutz & Marc Lipson,
3rd Edition, McGraw-Hill.
•http://en.wikiversity.org/wiki/Introductory_Discrete_Mathematics_for_Computer_
Science

3
 Course Contents
No Topic Exams/Quiz
Lectures 1-2 Introduction to Discrete Mathematics + Propositional Logic
Lectures 3-4 Propositional Logic and Introduction to Set
Lectures 5-6 Class Test-1 + Set Class Test-1
Lectures 7-8 Function
Lectures 9-10 Class Test-2 + Algorithm Class Test-2

Lectures 11-12 Midterm Exam

Lectures 13-14 Induction to Discrete Probability

Lectures 15-16 Counting
Lectures 17-18 Class Test-3 + Relation Class Test-3
Lectures 19-20 Number Theory
Lectures 21-22 Graph + Tree
Lectures 23-24 Presentations
Final Exam

4
 Discrete mathematics
Discrete mathematics
– study of mathematical structures and objects that are
fundamentally discrete rather than continuous.

• Examples of objects with discrete values are

– integers, graphs, or statements in logic.

• Discrete mathematics and computer science.

– Concepts from discrete mathematics are useful for

describing objects and problems in computer
algorithms and programming languages. These have
applications in cryptography, automated theorem proving,
and software development. 5
 Logic

• Logic defines a formal language for representing

knowledge and for making logical inference
• It helps us to understand how to construct a valid
argument

Logic defines:
• Syntax of statements
• The meaning of statements
• The rules of logical inference (manipulation)

6
 Propositional logic
The simplest logic

• Definition:
– A proposition is a statement that is either true or false.

• Examples:
– Airport is located in the North Part of Dhaka City.
• (T)
– 5 + 2 = 8.
• (F)
– It is raining today.
• (either T or F)

7
 Propositional logic
Examples (cont.):

– How are you?

• a question is not a proposition

–x+5=3
• since x is not specified, neither true nor false

– 2 is a prime number.
• (T)

– She is very talented.

• since she is not specified, neither true nor false

– There are other life forms on other planets in the universe.

• either T or F
8
 Composite Statements
• More complex propositional statements can be built from
elementary statements using logical connectives.

Example:
• Proposition A: It rains outside
• Proposition B: We will see a movie

• A new (combined) proposition:

If it rains outside then we will see a movie

9
 Composite Statements
• More complex propositional statements can be built from
elementary statements using logical connectives.

• Logical connectives:
– Negation
– Conjunction
– Disjunction
– Exclusive or
– Implication
– Biconditional

10
 Logical connectives: Negation
Definition: Let p be a proposition. The statement "It is not
the case that p." is another proposition, called the negation of
p. The negation of p is denoted by ¬ p and read as "not p."

Example:
• Airport is located in the North Part of Dhaka City.

• It is not the case that Airport is located in the North Part of

Dhaka City.

Other examples:
– 5 + 2 ≠ 8.
– 10 is not a prime number.
– It is not the case that buses stop running at 9:00pm. 11
 Logical connectives: Negation
Negate the following propositions:

– It is raining today.
• It is not raining today.

– 2 is a prime number.
• 2 is not a prime number

– There are other life forms on other planets in the universe.

• It is not the case that there are other life forms on other
planets in the universe.

12
 Logical connectives: Negation

A truth table displays the relationships between truth

values (T or F) of different propositions.

P ¬p
T F
F T

Rows: all possible values

of elementary proposition
13
Logical connectives: Conjunction

Definition: Let p and q be propositions. The proposition

“p and q" denoted by p ˄ q, is true when both p and q are
true and is false otherwise. The proposition p ˄ q is called the
conjunction of p and q.

• Examples:
– It is raining today and 2 is a prime number.
– 2 is a prime number and 5 + 2 ≠ 8.
– 13 is a perfect square and 9 is prime.

14
 Logical connectives: Disjunction

Definition: Let p and q be propositions. The proposition

“p or q" denoted by p ˅ q, is false when both p and q are
false and is true otherwise. The proposition p ˅ q is called the
disjunction of p or q.

• Examples:
– It is raining today or 2 is a prime number.
– 2 is a prime number or 5 + 2 ≠ 8.
– 13 is a perfect square or 9 is a prime.

15
 Truth Tables

• Conjunction and disjunction

• Four different combinations of values for p and q

p q p˄q p˅q
F F
F T
T F
T T

Rows: all possible combinations of values for

elementary propositions: 2n values
16
 Truth Tables

• Conjunction and disjunction

• Four different combinations of values for p and q

p q p˄q p˅q
F F F
F T F
T F F
T T T

17
 Truth Tables

• Conjunction and disjunction

• Four different combinations of values for p and q

p q p˄q p˅q
F F F F
F T F T
T F F T
T T T T

NB: p ˅ q (the or is used inclusively, i.e., p ˅ q

is true when either p or q or both are true).
18
 Exclusive or

Definition: Let p and q be propositions. The proposition

"p exclusive or q" denoted by p q, is true when exactly one
of p and q is true and it is false otherwise.

p q p q
F F F
F T T
T F T
T T F

19
 Implications

Definition: Let p and q be propositions. The proposition

"p implies q" denoted by p → q is called implication. It is
false when p is true and q is false and is true otherwise.

In p → q, p is called the hypothesis and q is called the

conclusion.

p q p → q
F F T
F T T
T F F
T T T

20
 Implications

p → q is read in a variety of equivalent ways:

• if p then q
• p only if q
• p is sufficient for q
• q whenever p

Examples:
– if Germany won 2010 world cup then 2 is a prime.
• If F then T ? T

− if today is Monday then 2 * 3 = 8.

• T → F? F 21
 Implications

The converse of p → q is q → p.
• The contrapositive of p → q is ¬q → ¬p
• The inverse of p → q is ¬p → ¬q

Examples:
• If it jams, the traffic moves slowly.

• p: it jams
• q: traffic moves slowly.

•p→q
22
 Implications

The converse:
If the traffic moves slowly then it jams.
•q→ p

The contrapositive:
• If the traffic does not move slowly then it does not jams.
• ¬q → ¬p

The inverse:
• If it does not jams the traffic moves quickly.
• ¬p → ¬q

23
 Biconditional

Definition: Let p and q be propositions. The biconditional p ↔

q (read p if and only if q), is true when p and q have the same
truth values and is false otherwise.

p q p ↔ q
F F T
F T F
T F F
T T T

Note: two truth values always agree.

24
 Constructing the truth table

Example: Construct a truth table for (p → q) ˄ (¬p ↔ q)

• Simpler if we decompose the sentence to elementary and
intermediate propositions

p q ¬p p→q ¬p ↔ q (p → q) ˄ (¬p
↔ q)
F F
F T
T F
T T

25
 Constructing the truth table

Example: Construct a truth table for (p → q) ˄ (¬p ↔ q)

• Simpler if we decompose the sentence to elementary and
intermediate propositions

p q ¬p p→q ¬p ↔ q (p → q) ˄ (¬p
↔ q)
F F T
F T T
T F F
T T F

26
 Constructing the truth table

Example: Construct a truth table for (p → q) ˄ (¬p ↔ q)

• Simpler if we decompose the sentence to elementary and
intermediate propositions

p q ¬p p→q ¬p ↔ q (p → q) ˄ (¬p
↔ q)
F F T T
F T T T
T F F F
T T F T

27
 Constructing the truth table

Example: Construct a truth table for (p → q) ˄ (¬p ↔ q)

• Simpler if we decompose the sentence to elementary and
intermediate propositions

p q ¬p p→q ¬p ↔ q (p → q) ˄ (¬p
↔ q)
F F T T F
F T T T T
T F F F T
T T F T F

28
 Constructing the truth table

Example: Construct a truth table for (p → q) ˄ (¬p ↔ q)

• Simpler if we decompose the sentence to elementary and
intermediate propositions

p q ¬p p→q ¬p ↔ q (p → q) ˄ (¬p ↔
q)
F F T T F F
F T T T T T
T F F F T F
T T F T F F

29
Computer Representation of True and False

We need to encode two values True and False:

• Computers represents data and programs using 0s and 1s
• Logical truth values – True and False

• A bit is sufficient to represent two possible values:

– 0 (False) or 1(True)

• A variable that takes on values 0 or 1 is called a Boolean

variable.

• Definition:A bit string is a sequence of zero or more bits.

The length of this string is the number of bits in the string.
30
 Bitwise operation

• T and F replaced with 1 and 0

p q p˄q p˅q
0 0 0 0
0 1 0 1
1 0 0 1
1 1 1 1

p ¬p
0 1
1 0
31
 Bitwise operation

• T and F replaced with 1 and 0

1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1
˅0 1 0 0 1 0 0 1 ˄0 1 0 0 1 0 0 1  0 1 0 0 1 0 0 1
1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 0

32
Applications of propositional logic

• Translation of English sentences

• Inference and reasoning:

– new true propositions are inferred from existing ones
– Used in Artificial Intelligence:
• Builds programs that act intelligently
• Programs often rely on symbolic manipulations

• Design of logic circuit

33
 Translation
Assume a sentence:
If you are older than 13 or you are with your parents then you
can attend a PG-13 movie.

Parse:
• If ( you are older than 13 or you are with your parents ) then
( you can attend a PG-13 movie)

Atomic (elementary) propositions:

– A= you are older than 13
– B= you are with your parents
– C=you can attend a PG-13 movie

• Translation: A ˅ B → C 34
 Application of Inference
Assume we know the following sentences are true:
If you are older than 13 or you are with your parents then you can attend a
PG-13 movie. You are older than 13.

Translation:
• If ( you are older than 13 or you are with your parents ) then (you can
attend a PG-13 movie) . (You are older than 13).
– A= you are older than 13
– B= you are with your parents
– C=you can attend a PG-13 movie
• (A ˅ B → C), A
• (A ˅ B → C) ˄ A is true
• With the help of the logic we can infer the following statement
(proposition):
– You can attend a PG-13 movie or C is True

35
 Tautology and Contradiction
Some propositions are interesting since their values in the truth
table are always the same

Definitions:
• A compound proposition that is always true for all possible truth values of
the propositions is called a tautology.
• A compound proposition that is always false is called a contradiction.
• A proposition that is neither a tautology nor contradiction is
called a contingency.

Example: p ˅ ¬p is a tautology.
p ˄ ¬p is a contradiction.

p ¬p p ˅ ¬p p ˄ ¬p
1 0 1 0
0 1 1 0 36
 Equivalence
How do we determine that two propositions are equivalent?

Their truth values in the truth table are the same.

• Example: p → q is equivalent to ¬q → ¬p (contrapositive)

p q p→q ¬q →¬p
F F T T
F T T T
T F F F
T T T T

Equivalent statements are important for logical reasoning since

they can be substituted and can help us to make a logical
argument.
37
 Logical Equivalence
Definition: The propositions p and q are called logically
equivalent if p ↔ q is a tautology (alternately, if they have the
same truth table). The notation p <=> q denotes p and q are
logically equivalent.

p q p→q ¬q →¬p (p → q) <=> (¬q →¬p)

F F T T T
F T T T T
T F F F T
T T T T T

38
 Important Logical Equivalence
• Double negation
– ¬(¬p) <=> p

• Commutative
– p ˅ q <=> q ˅ p
– p ˄ q <=> q ˄ p

• Associative
– (p ˅ q) ˅ r <=> p ˅ (q ˅ r)
– (p ˄ q) ˄ r <=> p ˄ (q ˄ r)

39
 Important Logical Equivalence
• Distributive
– p ˅ (q ˄ r) <=> (p ˅ q) ˄ (p ˅ r)
– p ˄ (q ˅ r) <=> (p ˄ q) ˅ (p ˄ r)

• De Morgan
– ¬( p ˅ q ) <=> ¬p ˄ ¬q
– ¬( p ˄ q ) <=> ¬p ˅ ¬q

• Other useful equivalences

– p ˅ ¬p <=> T
– p ˄ ¬p <=> F
– p → q <=> (¬p ˅ q)

40
 Showing Logical Equivalence
Show (p ˄ q)→ p is a tautology

In other words ((p ˄ q) → p <=> T)

(p ˄ q) → p <=> ¬(p ˄ q) ˅ p Useful

<=> [¬p ˅ ¬q] ˅ p DeMorgan
<=> [¬q ˅ ¬p] ˅ p Commutative
<=> ¬q ˅ [ ¬p ˅ p ] Associative
<=> ¬q ˅ [ T ] Useful
<=> T Domination

You can also use truth table to show this

41
Thank You

42