Professional Documents
Culture Documents
Discrete Structures - Lecture 1
Discrete Structures - Lecture 1
LECTURE 1
Introduction
Lecture Slides
2
Discrete Structures
3
Why This Course?
Automata
Theory
Theory of
Computation
Compiler
Construction
Artificial
Intelligence
Algorithms
5
Discrete vs Continuous
6
Discrete vs Continuous
7
Discrete Mathematics
Discrete Mathematics concerns processes that consist of
a sequence of individual steps
8
Logic
9
Statement / Proposition
EXAMPLES:
a. 2+2 = 4,
b. It is Sunday today
10
Truth Values
EXAMPLES:
Propositions
1) Grass is green.
2) 4 + 2 = 6
3) 4 + 2 = 7
4) There are four fingers in a hand.
11
Invalid Propositions
Not Propositions
1) Close the door.
2) x is greater than 2.
3) He is very rich
Either they don’t have any truth value or they are not
declarative.
12
Rule:
If the sentence is preceded by other sentences that make the
pronoun or variable reference
clear, then the sentence is a statement.
Example:
x=1
x>2
“x > 2” is a statement with truth-value FALSE.
Example
Bill Gates is an American
He is very rich
“He is very rich” is a statement with truth-value TRUE.
13
Examples
5) -1 > 0 A statement
6) x + y = 12 Not a statement
14
Compound Statements
LOGICAL CONNECTIVES
EXAMPLES:
1. “3 + 2 = 5” and “Lahore is a city in Pakistan”
2. “The grass is green” or “ It is hot today”
3. “Discrete Mathematics is not difficult to me”
15
Notation of Statement
EXAMPLES:
p = “Islamabad is the capital of Pakistan”
q = “17 is divisible by 3”
16
Common Connectives
17
Common Connectives
EXAMPLES
q = “17 is divisible by 3”
18
TRANSLATION
19
TRANSLATION
20
TRANSLATION
21
Truth Table
22
Negation
NEGATION (~):
If p is a statement variable, then negation of p, “not
p”, is denoted as “~p”
23
Truth Table for Negation
24
Conjunction
CONJUNCTION (∧):
If p and q are statements, then the conjunction of p
and q is “p and q”, denoted as
“p ∧ q”.
Remarks
p ∧ q is true only when both p and q are true.
If either p or q is false, or both are false, then p ∧ q is
false.
25
Truth Table for Conjunction
26
Disjunction
Remarks:
p ∨ q is true when at least one of p or q is true.
p ∨ q is false only when both p and q are false.
27
Truth Table for Disjunction
28
Truth Table for Disjunction
29
Remark
30
Summary
1. What is a statement?
31
Reading Assignment
Chapter 1
Page 1 to 5
32
Handwritten Assignment
33
Handwritten Assignment
34
Thanks
End of Lecture
Q/A
35